Context-specific synchronization for atomic data types in object-based databases

Hon Wong Man Hon Wong, Divyakant Agrawal

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

Highly concurrent and reliable atomic data types are crucial for object-based databases. Deferred update (DU) and update-in-place (UIP) are two common recovery strategies for implementing atomic data types. These two strategies place incomparable constraints on the conflict relations between concurrent operations resulting in incomparable synchronization protocols. Also, the conflict relations used are usually static in the sense that they depend only on the operation types, and the algorithms do not use the context-specific information that may be available in the system. In this paper, a new synchronization mechanism that employs a hybrid scheme by using both DU and UIP is proposed. Furthermore, the protocol is dynamic in the sense that context-specific information is also used to determine conflict relations among concurrent operations. Another extension is the use of ordered shared relationships between locks to execute conflicting operations concurrently. The execution of operations is never delayed in the proposed protocol, however, the commitment of the transactions invoking these operations may be delayed due to the restriction imposed by the ordered shared relationships between locks. It is demonstrated that the sets of histories accepted by the two phase locking protocols using DU or UIP are proper subsets of the set of histories accepted by the proposed protocol.

Original languageEnglish
Pages (from-to)179-199
Number of pages21
JournalTheoretical Computer Science
Volume149
Issue number1
Publication statusPublished - 18 Sep 1995
Externally publishedYes

Fingerprint

Synchronization
Update
Concurrent
Recovery
Proper subset
Phase Locking
Transactions
Object
Context
Restriction
Conflict
Relationships
History
Strategy

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)
  • Computational Theory and Mathematics

Cite this

Context-specific synchronization for atomic data types in object-based databases. / Man Hon Wong, Hon Wong; Agrawal, Divyakant.

In: Theoretical Computer Science, Vol. 149, No. 1, 18.09.1995, p. 179-199.

Research output: Contribution to journalArticle

Man Hon Wong, Hon Wong ; Agrawal, Divyakant. / Context-specific synchronization for atomic data types in object-based databases. In: Theoretical Computer Science. 1995 ; Vol. 149, No. 1. pp. 179-199.
@article{4c612dfa94924e9797e77f9274bf7091,
title = "Context-specific synchronization for atomic data types in object-based databases",
abstract = "Highly concurrent and reliable atomic data types are crucial for object-based databases. Deferred update (DU) and update-in-place (UIP) are two common recovery strategies for implementing atomic data types. These two strategies place incomparable constraints on the conflict relations between concurrent operations resulting in incomparable synchronization protocols. Also, the conflict relations used are usually static in the sense that they depend only on the operation types, and the algorithms do not use the context-specific information that may be available in the system. In this paper, a new synchronization mechanism that employs a hybrid scheme by using both DU and UIP is proposed. Furthermore, the protocol is dynamic in the sense that context-specific information is also used to determine conflict relations among concurrent operations. Another extension is the use of ordered shared relationships between locks to execute conflicting operations concurrently. The execution of operations is never delayed in the proposed protocol, however, the commitment of the transactions invoking these operations may be delayed due to the restriction imposed by the ordered shared relationships between locks. It is demonstrated that the sets of histories accepted by the two phase locking protocols using DU or UIP are proper subsets of the set of histories accepted by the proposed protocol.",
author = "{Man Hon Wong}, {Hon Wong} and Divyakant Agrawal",
year = "1995",
month = "9",
day = "18",
language = "English",
volume = "149",
pages = "179--199",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "1",

}

TY - JOUR

T1 - Context-specific synchronization for atomic data types in object-based databases

AU - Man Hon Wong, Hon Wong

AU - Agrawal, Divyakant

PY - 1995/9/18

Y1 - 1995/9/18

N2 - Highly concurrent and reliable atomic data types are crucial for object-based databases. Deferred update (DU) and update-in-place (UIP) are two common recovery strategies for implementing atomic data types. These two strategies place incomparable constraints on the conflict relations between concurrent operations resulting in incomparable synchronization protocols. Also, the conflict relations used are usually static in the sense that they depend only on the operation types, and the algorithms do not use the context-specific information that may be available in the system. In this paper, a new synchronization mechanism that employs a hybrid scheme by using both DU and UIP is proposed. Furthermore, the protocol is dynamic in the sense that context-specific information is also used to determine conflict relations among concurrent operations. Another extension is the use of ordered shared relationships between locks to execute conflicting operations concurrently. The execution of operations is never delayed in the proposed protocol, however, the commitment of the transactions invoking these operations may be delayed due to the restriction imposed by the ordered shared relationships between locks. It is demonstrated that the sets of histories accepted by the two phase locking protocols using DU or UIP are proper subsets of the set of histories accepted by the proposed protocol.

AB - Highly concurrent and reliable atomic data types are crucial for object-based databases. Deferred update (DU) and update-in-place (UIP) are two common recovery strategies for implementing atomic data types. These two strategies place incomparable constraints on the conflict relations between concurrent operations resulting in incomparable synchronization protocols. Also, the conflict relations used are usually static in the sense that they depend only on the operation types, and the algorithms do not use the context-specific information that may be available in the system. In this paper, a new synchronization mechanism that employs a hybrid scheme by using both DU and UIP is proposed. Furthermore, the protocol is dynamic in the sense that context-specific information is also used to determine conflict relations among concurrent operations. Another extension is the use of ordered shared relationships between locks to execute conflicting operations concurrently. The execution of operations is never delayed in the proposed protocol, however, the commitment of the transactions invoking these operations may be delayed due to the restriction imposed by the ordered shared relationships between locks. It is demonstrated that the sets of histories accepted by the two phase locking protocols using DU or UIP are proper subsets of the set of histories accepted by the proposed protocol.

UR - http://www.scopus.com/inward/record.url?scp=0029373472&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029373472&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0029373472

VL - 149

SP - 179

EP - 199

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 1

ER -