Implementation of commit timestamps in Avalon
暂无分享,去创建一个
[1] Philip A. Bernstein,et al. Two Part Proof Schema for Database Concurrency Control , 1981, Berkeley Workshop.
[2] Maurice Herlihy,et al. Hybrid Concurrency Control for Abstract Data Types , 1991, J. Comput. Syst. Sci..
[3] Bjarne Stroustrup,et al. The C++ Programming Language, First Edition , 1986 .
[4] David P. Reed,et al. Implementing atomic actions on decentralized data , 1983, TOCS.
[5] Maurice Herlihy. Comparing how atomicity mechanisms support replication , 1986, OPSR.
[6] William E. Weihl,et al. Implementation of resilient, atomic data types , 1985, TOPL.
[7] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[8] Alfred Z. Spector,et al. The Camelot project , 1986 .
[9] Alfred Z. Spector,et al. Synchronizing shared abstract types , 1984, TOCS.
[10] William E. Weihl,et al. SPECIFICATION AND IMPLEMENTATION OF ATOMIC DATA TYPES , 1984 .
[11] Maurice Herlihy,et al. Reasoning about Atomic Objects , 1988, FTRTFT.
[12] Barbara Liskov,et al. Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.
[13] Henry F. Korth,et al. Locking Primitives in a Database System , 1983, JACM.
[14] Jeannette M. Wing,et al. Inheritance of synchronization and recovery properties in Avalon/C++ , 1988 .
[15] Jeannette M. Wing. The Avalon C++ programming language (version 0) , 1988 .