zerodds-corba-cos-transactions-1.0 — Open Items
Aggregate of zerodds-corba-cos-transactions-1.0.en.md, generated by website/_tools/gen_open_items.py.
No new content: every entry appears there as an item with its evidence.
A.2 Durability — transaction log + RecoveryCoordinator (§10.3.7)
Status: partial — force-writing the decision, recovery and presumed-abort are built and checked against InMemoryLog; a log that survives a process crash is missing (A.2.1).
A.2.1 Persistent transaction and heuristic log
Status: open — TransactionLog has only the implementation InMemoryLog (crates/corba-cos-transactions/src/recovery.rs); after a crash the log is empty.
Non-goal — nested transactions
Status: open — PropagationContext.parents is encoded and decoded (crates/corba-cos-transactions/src/propagation.rs); sub-coordinator, sub-transaction commit and rollback are missing.
Non-goal — coordinator/terminator call over GIOP
Status: open — the *_ior fields are carried and are nil for a flat transaction; a remote participant cannot call coordinator and terminator over GIOP.
zerodds-corba-cos-transactions-1.0 — offene Punkte
Aggregat aus zerodds-corba-cos-transactions-1.0.md, erzeugt von website/_tools/gen_open_items.py.
Kein eigener Inhalt: jedes Item steht dort mit seinem Beleg.
A.2 Durability — Transaction-Log + RecoveryCoordinator (§10.3.7)
Status: partial — Force-Write der Entscheidung, Recovery und presumed-abort sind gebaut und gegen InMemoryLog geprüft; ein Log, das einen Prozessabsturz übersteht, fehlt (A.2.1).
A.2.1 Persistentes Transaktions- und Heuristik-Log
Status: open — TransactionLog hat nur die Implementierung InMemoryLog (crates/corba-cos-transactions/src/recovery.rs); nach einem Absturz ist das Log leer.
Nicht-Ziel — verschachtelte Transaktionen
Status: open — PropagationContext.parents wird kodiert und dekodiert (crates/corba-cos-transactions/src/propagation.rs); Sub-Coordinator, Sub-Transaktions-Commit und -Rollback fehlen.
Nicht-Ziel — Coordinator/Terminator-Aufruf über GIOP
Status: open — die *_ior-Felder werden übertragen und sind bei einer flachen Transaktion nil; ein entfernter Teilnehmer kann Coordinator und Terminator nicht über GIOP aufrufen.