INTEGRATED COMMITMENT PROTOCOL FOR PARALLEL TRANSACTION PROCESSING IN REAL-TIME SYSTEMS

Abstract

To ensure the correctness of a parallel transaction processing system, we should guarantee the transaction atomicity despite of failures such as transaction abort or processor crash. When a real-time system employs parallel processing, it must achieve failure atomicity with timeliness because its major goal is to meet various timing requirements. A variety of protocols for ensuring correctness in real-time processing have been proposed. However, these protocols did not consider both timeliness and correctness together for the parallel processing. They considered only one of two; timeliness or correctness. Because real-time transactions must guarantee the timeliness and the correct completion in the presence of failures, the parallel transaction processing in real-time systems must consider both timeliness and correctness. This paper proposes a new commit protocol, which is called Integrated Commitment Protocol (ICP). This protocol is composed of two parts: the one is language constructs to reflect real-time requirements and the other is the commit procedures to guarantee the failure atomicity.