论文信息 - Partial Strictness in Two-Phase Locking

Partial Strictness in Two-Phase Locking

Two-phase locking is a standard method for managing concurrent transactions in database systems. In order to guarantee good recovery properties, two-phase locking should be strict, meaning that locks can be released only after the transaction's commit or abort. In this paper we show that even exclusive locks can be released immediately after the commit request has arrived, without sacrificing any important recovery properties. This optimization is especially useful if the commit operation takes much time compared with the other actions, as for main-memory databases, or if the commits are performed in batches.

Eljas Soisalon-Soininen | Tatu Ylönen | E. Soisalon-Soininen | Tatu Ylönen

[1] Mihalis Yannakakis,et al. A Theory of Safe Locking Policies in Database Systems , 1982, JACM.

[2] Hamid Pirahesh,et al. ARIES: a transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging , 1998 .

[3] Yoav Raz. Principle of commitment ordering , 1991 .

[4] Christos H. Papadimitriou,et al. The Theory of Database Concurrency Control , 1986 .

[5] Yoav Raz. The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Mangers Using Atomic Commitment , 1992, VLDB.

[6] Andreas Reuter,et al. Transaction Processing: Concepts and Techniques , 1992 .

[7] Irving L. Traiger,et al. The notions of consistency and predicate locks in a database system , 1976, CACM.

[8] Ouri Wolfson. An Algorithm for Early Unlocking of Entities in Database Transactions , 1986, J. Algorithms.

[9] Toshimi Minoura,et al. Effect of update merging on reliable storage performance , 1986, 1986 IEEE Second International Conference on Data Engineering.

[10] Michael Stonebraker,et al. Implementation techniques for main memory database systems , 1984, SIGMOD '84.

[11] Margaret H. Eich. A classification and comparison of main memory database recovery techniques , 1987, 1987 IEEE Third International Conference on Data Engineering.

[12] Eljas Soisalon-Soininen,et al. On the Power of Safe Locking , 1990, J. Comput. Syst. Sci..