Model for concurrency in nested transactions systems

被引:0
|
作者
机构
[1] Beeri, Catriel
[2] Bernstein, Philip A.
[3] Goodman, Nathan
来源
Beeri, Catriel | 1600年 / 36期
关键词
Computer Programming--Algorithms - Mathematical Techniques--Graph Theory;
D O I
暂无
中图分类号
学科分类号
摘要
A model for database concurrency control permits nested transactions. In this model, transactions may execute subtransactions, giving rise to tree-structured computations. A serializability theory is developed for this model, which can be used to prove the correctness of concurrency control algorithms for nested transactions and for multilevel database systems. The theory is based on an abstract model of computation that allows arbitrary operations and parallel and even nondeterministic programs. Axioms are presented that express the basic properties that programs that manage or access data need to satisfy and are used to derive proof techniques. The proof techniques are illustrated by applying them to several well-known concurrency control problems.
引用
收藏
相关论文
共 50 条
  • [41] Survey on Concurrency Control Protocols of In-Memory Transactions
    Jiang, Tianyang
    Zhang, Guangyan
    Li, Zhiyue
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2022, 59 (04): : 721 - 736
  • [42] A system supporting nested transactions in DRTDBSs
    Abdouli, M
    Sadeg, B
    Amanton, L
    Alimi, A
    HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, PROCEEDINGS, 2005, 3726 : 888 - 897
  • [43] Improving the Concurrency Performance of Persistent Memory Transactions on Multicores
    Wang, Qing
    Lu, Youyou
    Wu, Zhongjie
    Yang, Fan
    Shu, Jiwu
    PROCEEDINGS OF THE 2020 57TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2020,
  • [44] NESTED TRANSACTIONS - REVIEWING THE COHERENCE CONTRACT
    GUERRAOUI, R
    INFORMATION SCIENCES, 1995, 84 (1-2) : 161 - 172
  • [45] Adaptive locks: Combining transactions and locks for efficient concurrency
    Usui, Takayuki
    Behrends, Reimer
    Evans, Jacob
    Smaragdakis, Yannis
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2010, 70 (10) : 1009 - 1023
  • [46] Adaptive Locks: Combining Transactions and Locks for Efficient Concurrency
    Usui, Takayuki
    Behrends, Reimer
    Evans, Jacob
    Smaragdakis, Yannis
    18TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, 2009, : 3 - +
  • [47] Compositional nested long running transactions
    Bocchi, L
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 2984 : 194 - 208
  • [48] HIERARCHICAL DEADLOCK DETECTION FOR NESTED TRANSACTIONS
    RUKOZ, M
    DISTRIBUTED COMPUTING, 1991, 4 (03) : 123 - 129
  • [49] Checkpoints and Continuations Instead of Nested Transactions
    Koskinen, Eric
    Herlihy, Maurice
    SPAA'08: PROCEEDINGS OF THE TWENTIETH ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, 2008, : 160 - 168
  • [50] A Hybrid Approach for Improving Concurrency of Frequently Disconnecting Transactions
    Cesarano, Carmine
    Chianese, Angelo
    Moscato, Vincenzo
    Picariello, Antonio
    d'Acierno, Antonio
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2007, 7 (01): : 205 - 215