Reading List for Summer 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. (PowerPoint)

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 )


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)

Supplemented by:

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 2006), pp. 363-378, Dec. 2004. (PowerPoint)

A, Muthitacharoen, B. Chen, and D. Mazieres, A Low-bandwidth network file system. Proc. 18th Symp. on Operating Systems Principles, pp. 174-187, 2001. (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)

Byzantine Agreement

R. Kotla, L. Alvisi, M. Dahlin, A. Clement and E. Wong, Zyzzyva: Speculative Byzantine fault tolerance, Proc. 21st ACM Symposium on Operating System Principles (SOSP 2007), Oct. 2007.  (PowerPoint)

Web Services

S. Chong, J. Liu, A. C. Myers, X. Qi, K. Vikram, L. Zheng, and X. Zheng, Secure Web Applications via Automatic Partitioning, Proc. 21st ACM Symposium on Operating System Principles (SOSP 2007), Oct. 2007.  (PowerPoint)

This reading list was updated last on Monday, August, 2008.