Tentative Reading List for Spring 2008


D. M. Ritchie and K. Thompson, The UNIX time-sharing system, Comm. of the ACM, 17:7 (July 1974), 365-375.

M. K. McKusick, W. N. Joy, S. J. Leffler and R. S. Fabry, A Fast file system for UNIX, ACM Trans. on Computer Systems, 2:3 (1984), 181-197.

J. S. Quarterman, A. Silberschatz, and J. L. Peterson, 4.2 BSD and 4.3 BSD as examples of the UNIX system, ACM Computing Surveys, 17:4 (1985), 379-418.

O. Babaoglu and W. Joy, Converting a swap-based system to do paging in an architecture lacking page-reference bits, Proc. 8th ACM Symp. on Operating Systems Principles, 1981, pp. 78-86.

The contents of these four papers are summarized and actualized in An Overview of Unix. (PowerPoint)

Memory Management

R. Rashid, A. Tevanian, M. Young, D. Golub, R. Baron, D. Black, W. Bolosky and J. Chew, Machine-independent virtual memory management for paged uniprocessor and multiprocessor architectures, IEEE Trans. on Computers, 37:8 (1988), 896-905. (Summary, PowerPoint)

M. Taluri, M. D. Hill and Y. A. Kalidi, A new page table for 64-bit address spaces, Proc. 15th ACM Symp. on Operating Systems Principles, 1995, pp.184-199. (Summary, PowerPoint)

J. B. Carter and W. Zwaenepoel, Techniques for reducing consistency-related communication in distributed shared-memory systems, ACM Trans. on Computer Systems, 13:3 (Aug. 1995), 205-243. (Summary, PowerPoint)


N. Megiddo and D. S. Modha. ARC: A Self-tuning, Low Overhead Replacement Cache. Proc. 2nd USENIX Conf. on File and Storage Technologies. 2003. (Short summary, PowerPoint)

A simpler presentation of the ARC cache can be found in:

N. Megiddo and D. S. Modha. One up on LRU, ;login: - The Magazine of the USENIX Association, 28:4 (Aug.2003), .7-11.

Kernel Structures

B. Bershad, S. Savage, P. Pardyak, E. G. Sirer, D. Becker, M. Fiuczynski, C. Chambers and S. Eggers, Extensibility, safety and performance in the SPIN operating system, Proc. 15th Symp. on Operating System Principles, Oct. 1995, pp. 267-284. (PowerPoint)

George C. Necula and Peter Lee, Safe Kernel Extensions Without Run-Time Checking, Proc. Second USENIX Symp. on Operating Systems Design and Implementation, October 1996. (No PowerPoint so far)

M. M. Swift, B. N. Bershad, H. M. Levy, Improving the reliability of commodity operating systems, ACM Trans. on Computer Systems, 23(5), Feb. 2005. (Short summary, PowerPoint)

Distributed Systems Issues

L. Lamport, Time, clocks and the ordering of events in a distributed system, Comm.of the ACM, 21:7 (Jul. 1978), 558-565. (Summary, PowerPoint)

C. A. R. Hoare, Communicating sequential processes, Comm. of the ACM, 21:8 (Aug. 1978), 666-677.(Summary, PowerPoint)

L. E. Moser, P. M. Melliar-Smith, D. A. Agarwal, R. K. Budhia, and C. A. Lingley-Papadopoulos, Totem: a fault-tolerant multicast group communication system, Comm. of the ACM, 39:4 (April 1996), 54-63. (Summary, PowerPoint )


B. W. Lampson, A note on the confinement problem, Comm. of the ACM, 16:10 (Oct. 1973), 613-615.

J. G. Steiner, C. Neuman and J. I. Schiller, Kerberos: An authentication service for open network systems, Proc. 1988 Winter USENIX Conf., 1988, pp. 205-211. (Summary, PowerPoint)

File Systems

D. A. Patterson, G. A. Gibson, and R. H. Katz. A case for redundant arrays of inexpensive disks (RAID), Proc. SIGMOD 1988 International Conf. on Data Management, pp. 109-116. (PowerPoint)

M. Rosenblum and J. K. Ousterhout, The design and implementation of a log-structured file system, ACM Trans. on Computer Systems, 10:1 (Feb. 1992), 26-52. (PowerPoint)

Supplemented by:

M. Seltzer, K. Bostic, M. K. McKusick, C. Staelin, A log-structured file system for UNIX, Proc. 1993 Winter Usenix Conf., 1993, pp. 307-326. (PowerPoint)

M. I. Seltzer, G. R. Ganger, M. K. McKusick, K. A. Smith, C. A. N. Soules, and C. A. Stein, Journaling versus soft updates: Asynchronous meta-data protection in file systems, Proc. 2000 USENIX Annual Technical Conf., June 2000, pp. 71-84. (PowerPoint)

Distributed File Systems

R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh and B. Lyon, Design and implementation of the Sun network filesystem, Proc. Summer 1985 USENIX Conf., pp. 119-130. (PowerPoint)

D. Hitz and A. Watson, The Evolution of NFS, Network Appliance, Inc. (PowerPoint)

M. Satyanarayanan, J. J. Kistler, P. Kumar, M. E. Okasaki, E. H. Siegel, D.C. Steere, Coda: A highly available file system for a distributed workstation environment, IEEE Trans. on Computers, Vol. 39, No. 4, April 1990, pp. 447-459. (PowerPoint)

E. B. Nightingale and J. Flinn. Energy-efficiency and storage flexibility in the Blue file system.  Proc. 6th USENIX Symp. on Operating Systems Design and Implementation (OSDI ĺ06), pp. 363-378, Dec. 2004. (PowerPoint)

S. A. Weil, S. A. Brandt, E. L. Miller, D. D. E. Long, and C. Maltzahn, Ceph: A scalable, high-performance, distributed object-based storage system, Proc. 7th USENIX Symp. on Operating Systems Design and Implementation, Nov. 2006,. (PowerPoint)

A. Adya, W. J. Bolosky, M. Castro, G. Cermak, R. Chaiken, J. R. Douceur, J. Howell, J. R. Lorch, M. Theimer and R.P. Wattenhofer,  FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment, Proc. 5th Symp. on Operating Systems Design and Implementation. (PowerPoint)

Being Considered

One paper TBA from the 21st Symposium on Operating System Principles, Oct. 2007


This reading list was updated on Tuesday, January 15, 2008.