A NONBLOCKING TIMED ATOMIC COMMIT PROTOCOL FOR DISTRIBUTED REAL-TIME DATABASE-SYSTEMS

Timed atomic commitment requires the processes to be functionally cons istent, but allows the outcome to include an exceptional state, indica ting that timing constraints have been violated. A global outcome of t imed atomic commitment is allowed, the outcome being a function of the local outcomes of the participant processes. A fault-tolerant, consen sus-based protocol for two-phase time atomic commitment that uses an e fficient communication scheme is presented. The correctness proof of t he protocol and its application to a distributed system using shared l ocks are provided. Implementation of the protocol and the study of dif ferent performance criteria are also outlined.