A nonblocking timed atomic commit protocol for distributed real-time database systems

Timed atomic commitment requires the processes to be functionally consistent, but allows the outcome to include an exceptional state, indicating that timing constraints have been violated. A global outcome of timed atomic commitment is allowed, the outcome being a function of the local outcomes of the participant processes. A fault-tolerant, consensus-based protocol for two-phase time atomic commitment that uses an efficient communication scheme is presented. The correctness proof of the protocol and its application to a distributed system using shared locks are provided. Implementation of the protocol and the study of different performance criteria are also outlined.