The 2PC agent method and its correctness

Jari Veijalainen, Antoni Wolski

Research output: Book/ReportReportProfessional

Abstract

A method for integrated concurrency control and recovery, applicable to heterogeneous multidatabase systems is proposed. The responsibility for two-phase local commitment and recovery of the prepared state at Participants is taken over by an entity called 2PC Agent. The main importance of the method is in preserving global serialisability in the presence of certain classes of Participant-related failures. The corresponding recovery methods, including a novel failure-time optimistic concurrency control method, are presented. The correctness of the 2PC Agent method is extensively studied. Rigorousness of the local histories is assumed throughout the proofs. Conflict serialisability is shown to hold for arbitrary histories consisting of local and global transactions, unless a unilateral abort happens to a global subtransaction that was in the prepared state. View serialisability is shown to hold for arbitrary histories where failures might happen at any time if the local transactions do not update the data accessed by the global transactions being in the prepared state. It is shown that the execution of any transaction is finite even if arbitrary Coordinator or site failures occur. Assuming additionally that any unilaterally aborted local subtransaction succeeds after a fixed number of resubmissions and that the Coordinator does not crash, it is shown that all transactions committed by the Coordinator eventually terminate. For globally aborted transactions it is shown that they terminate in a finite time if the local systems are not fully reliable.
Original languageEnglish
Place of PublicationEspoo
Publication statusPublished - 1990
MoE publication typeNot Eligible

Publication series

NameTiedotteita / Valtion teknillinen tutkimuskeskus
No.1192
ISSN (Print)0358-5085

Fingerprint

Concurrency control
Recovery

Keywords

  • database management systems
  • file organization
  • integrated databases

Cite this

Veijalainen, J., & Wolski, A. (1990). The 2PC agent method and its correctness. Espoo. Valtion teknillinen tutkimuskeskus. Tiedotteita, No. 1192
Veijalainen, Jari ; Wolski, Antoni. / The 2PC agent method and its correctness. Espoo, 1990. (Valtion teknillinen tutkimuskeskus. Tiedotteita; No. 1192).
@book{f7305899c2b04c32ae47d69c76169e89,
title = "The 2PC agent method and its correctness",
abstract = "A method for integrated concurrency control and recovery, applicable to heterogeneous multidatabase systems is proposed. The responsibility for two-phase local commitment and recovery of the prepared state at Participants is taken over by an entity called 2PC Agent. The main importance of the method is in preserving global serialisability in the presence of certain classes of Participant-related failures. The corresponding recovery methods, including a novel failure-time optimistic concurrency control method, are presented. The correctness of the 2PC Agent method is extensively studied. Rigorousness of the local histories is assumed throughout the proofs. Conflict serialisability is shown to hold for arbitrary histories consisting of local and global transactions, unless a unilateral abort happens to a global subtransaction that was in the prepared state. View serialisability is shown to hold for arbitrary histories where failures might happen at any time if the local transactions do not update the data accessed by the global transactions being in the prepared state. It is shown that the execution of any transaction is finite even if arbitrary Coordinator or site failures occur. Assuming additionally that any unilaterally aborted local subtransaction succeeds after a fixed number of resubmissions and that the Coordinator does not crash, it is shown that all transactions committed by the Coordinator eventually terminate. For globally aborted transactions it is shown that they terminate in a finite time if the local systems are not fully reliable.",
keywords = "database management systems, file organization, integrated databases",
author = "Jari Veijalainen and Antoni Wolski",
year = "1990",
language = "English",
isbn = "951-38-3914-1",
series = "Tiedotteita / Valtion teknillinen tutkimuskeskus",
number = "1192",

}

Veijalainen, J & Wolski, A 1990, The 2PC agent method and its correctness. Valtion teknillinen tutkimuskeskus. Tiedotteita, no. 1192, Espoo.

The 2PC agent method and its correctness. / Veijalainen, Jari; Wolski, Antoni.

Espoo, 1990. (Valtion teknillinen tutkimuskeskus. Tiedotteita; No. 1192).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - The 2PC agent method and its correctness

AU - Veijalainen, Jari

AU - Wolski, Antoni

PY - 1990

Y1 - 1990

N2 - A method for integrated concurrency control and recovery, applicable to heterogeneous multidatabase systems is proposed. The responsibility for two-phase local commitment and recovery of the prepared state at Participants is taken over by an entity called 2PC Agent. The main importance of the method is in preserving global serialisability in the presence of certain classes of Participant-related failures. The corresponding recovery methods, including a novel failure-time optimistic concurrency control method, are presented. The correctness of the 2PC Agent method is extensively studied. Rigorousness of the local histories is assumed throughout the proofs. Conflict serialisability is shown to hold for arbitrary histories consisting of local and global transactions, unless a unilateral abort happens to a global subtransaction that was in the prepared state. View serialisability is shown to hold for arbitrary histories where failures might happen at any time if the local transactions do not update the data accessed by the global transactions being in the prepared state. It is shown that the execution of any transaction is finite even if arbitrary Coordinator or site failures occur. Assuming additionally that any unilaterally aborted local subtransaction succeeds after a fixed number of resubmissions and that the Coordinator does not crash, it is shown that all transactions committed by the Coordinator eventually terminate. For globally aborted transactions it is shown that they terminate in a finite time if the local systems are not fully reliable.

AB - A method for integrated concurrency control and recovery, applicable to heterogeneous multidatabase systems is proposed. The responsibility for two-phase local commitment and recovery of the prepared state at Participants is taken over by an entity called 2PC Agent. The main importance of the method is in preserving global serialisability in the presence of certain classes of Participant-related failures. The corresponding recovery methods, including a novel failure-time optimistic concurrency control method, are presented. The correctness of the 2PC Agent method is extensively studied. Rigorousness of the local histories is assumed throughout the proofs. Conflict serialisability is shown to hold for arbitrary histories consisting of local and global transactions, unless a unilateral abort happens to a global subtransaction that was in the prepared state. View serialisability is shown to hold for arbitrary histories where failures might happen at any time if the local transactions do not update the data accessed by the global transactions being in the prepared state. It is shown that the execution of any transaction is finite even if arbitrary Coordinator or site failures occur. Assuming additionally that any unilaterally aborted local subtransaction succeeds after a fixed number of resubmissions and that the Coordinator does not crash, it is shown that all transactions committed by the Coordinator eventually terminate. For globally aborted transactions it is shown that they terminate in a finite time if the local systems are not fully reliable.

KW - database management systems

KW - file organization

KW - integrated databases

M3 - Report

SN - 951-38-3914-1

T3 - Tiedotteita / Valtion teknillinen tutkimuskeskus

BT - The 2PC agent method and its correctness

CY - Espoo

ER -

Veijalainen J, Wolski A. The 2PC agent method and its correctness. Espoo, 1990. (Valtion teknillinen tutkimuskeskus. Tiedotteita; No. 1192).