Distributed transactions for reliable systems . Alfred Z. Spector, Dean Daniels, Daniel Duchamp, Jeffrey L. Eppinger, and Randy Pausch. Distributed transactions for reliable systems . ACM, December 1985. Swift Library Swift Library Application .
Synchronization is inherent in the dispatch mechanism of the executor.
Since each instruction corresponds to a single I O, failure atomicity is provided in that the operation either fails or succeeds. All instructions can be restarted on failure any number of times. Distributed transactions for reliable systems . Transactions for Reliability Transactions are used to simplify the construction of reliable distributed programs, ones which do not lose or corrupt data. A transaction has three essential properties, each of which must be guaranteed even in the presence of processor and communication failures.