References

[lrpc] Brian N. Bershad, Thomas E. Anderson, Edward D. Lazowska, and Henry M. Levy. Lightweight Remote Procedure Call. ACM TOCS, 8(1):37--55, February 1990.

[spinSosp] Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc Fiuczynski, David Becker, Susan Eggers, and Craig Chambers. Extensibility, Safety and Performance in the SPIN Operating System. In ACM SOSP-15, Copper Mountain, CO, December 1995.

[oo7] Michael J. Carey, David J. DeWitt, and Jeffrey F. Naughton. The OO7 Benchmark. In SIGMOD Conference Proceedings, pages 12--21, Washington D.C., June 1993. ACM.

[cpr] Albert Chang and Mark F. Mergen. 801 Storage: Architecture and Programming. ACM TOCS, 6(1):28--50, January 1988.

[rpvm] Khien-Mien Chew and Avi Silberschatz. Toward Operating System Support for Recoverable-persistent Main Memory Database Systems. Technical Report CS-TR-92-05, University of Texas at Austin, September 1992.

[effelsberg84] Wolfgang Effelsberg and Theo Haerder. Principles of Database Buffer Management. ACM Transactions on Database Systems, 9(4):560--595, December 1984.

[camelot] Jeffrey Eppinger, Lily B. Mummert, and Alfred Z. Spector, editors. Camelot and Avalon . Morgan Kaufmann, San Francisco, CA, 1991.

[gray] Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco, CA, 1993.

[herlihy] Maurice Herlihy and J. Eliot B. Moss. Transactional Memory: Architectural Support for Lock-Free Data Structures. In ICSA. ACM, 1993.

[odi] Object Design Inc. home page.

[liedtkeSOSP95] Jochen Liedtke. On Micro-Kernel Construction. In ACM SOSP-15, Copper Mountain, CO, December 1995.

[vista] David E. Lowell and Peter M. Chen. Free Transactions with Rio Vista. In ACM SOSP-16, 1997. See also here.

[mcnamee] Dylan McNamee. Virtual Memory Alternatives for Transaction Buffer Management in a Single-Level Store. PhD thesis, University of Washington, November 1996.

[modula-3] Greg Nelson, editor. Systems Programming in Modula-3. Prentice Hall, 1991.

[pilot] David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C. Purcell. Pilot: An Operating System for a Personal Computer. CACM, 23(2):81--92, February 1980.

[unixemul] Yasushi Saito and Brian Bershad. System Call Support in an Extensible System. See also here, September 1997.

[rvm] M. Satyanarayanan, Henry Mashburn, Puneet Kumar, David Steere, and James Kistler. Lightweight Recoverable Virtual Memory. ACM TOCS, 12(1):33--57, February 1994.

[schmuck] Frank Schmuck and Jim Wyllie. Experience with Transactions in QuickSilver. In SOSP-13, pages 239--253, October 1991.

[cricket] Eugene Shekita and Michael Zwillling. Cricket : A Mapped, Persistent Object Store. Technical Report TR-956, University of Wisconsin, 1990.

[texas] Vivek Singhal, Sheetal Kakkad, and Paul Wilson. Texas: An Efficient, Portable Persistent Store. In Proc. Fifth International Workshop on Persistent Object Systems, pages 11--33, September 1992.

[thekkath] Chandramohan A. Thekkath and Henry M. Levy. Hardware and Software Support for Efficient Exception Handling. In ASPLOS 6. ACM, October 1994.

[white] Seth J. White. Pointer Swizzling Techniques for Object-Oriented Database Systems. PhD thesis, University of Wisconsin, September 1994.

[machDuality] M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger, J. Chew, W. Bolosky, D. Black, and R. Baron. The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System. In ACM SOSP-11, pages 63--76, Austin, TX, November 1987.