COSC 6360 Reading List for Fall 2012

Jehan-François Pârisjparis@uh.edu

UNIX (I)

• D. M. Ritchie and K. Thompson, The UNIX time-sharing system, CACM, 17(7):365-375, July 1974.

• M. K. McKusick, W. N. Joy, S. J. Leffler and R. S. Fabry, A fast file system for UNIX, ACM TOCS, 2(3) :181-197, 1984,

UNIX (II)

• 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):379-418, 1988.

• Babaoglu and W. Joy, Converting a swap-based system to do paging in an architecture lacking page-reference bits, Proc. 8th ACM SOSP, pp. 78-86, 1981

• All four papers are summarized and actualized in An Overview of Unix.

Memory Management (I)

• 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. Computers, 37(8): 896-905, 1988

Memory Management (II)

• J. Navarro, S. Iyer, P. Druschel and A. Cox, Practical, Transparent, Operating System Support for Superpages, Proc. 5th OSDI Symp., Dec. 2002

• C. Amza, A. Cox, S. Dwarkadas, P. Keleher, H. Lu, R. Rajamony, W. Yu, and W. Zwaenepoel, TreadMarks: Shared Memory Computing on Networks of Workstations, IEEE Computer, 29(2):18-28, Feb. 1996

Caching

• N. Megiddo and D. S. Modha. ARC: A Self-tuning, Low Overhead Replacement Cache. Proc. 2nd FAST Conf., Mar.-Apr. 2003

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 Issues (I)

• S. Boyd-Wickizer, H. Chen, R. Chen, Y. Mao, F. Kaashoek, R. Morris, A. Pesterev, L. Stein, M. Wu, Y. Dai, Y. Zhang, and Z. Zhang, Corey: An operating system for many cores, Proc. 8th USENIX OSDI Symp., Dec. 2008

• George C. Necula and Peter Lee, Safe Kernel Extensions Without Run-Time Checking, Proc. 2nd USENIX OSDI Symp., October 1996

Kernel Issues (II)

• M. M. Swift, B. N. Bershad and H. M. Levy, Improving the reliability of commodity operating systems, ACM TOCS, 23(5), Feb. 2005

Distributed Systems Issues • L. Lamport, Time, clocks and the ordering of events

in a distributed system, CACM, 21(7): 558-565, Jul. 1978.

• B. Cohen. Incentives build robustness in BitTorrent, Proc. 2003 Workshop on Economics of Peer-to-Peer Systems, Berkeley, CA, May 2003

Security

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

• T. Ylönen. SSH — Secure login connections over the internet, Proc. 6th USENIX Security Symp. , pp. 37–42, July 1996

File Systems (I)• D. A. Patterson, G. A. Gibson, and R. H. Katz. A case

for redundant arrays of inexpensive disks (RAID), Proc. SIGMOD 1988 Conf., pp. 109-116, June 1988

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

File Systems (II)

• 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., pp. 71-84, June 2000.

• M. Tim Jones, Anatomy of Linux journaling file systems: Journaling today and tomorrow, ibm.com/developerWorks, June 2008....

Distributed File Systems (I)

• 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, June 1985

Supplemented by:

• D. Hitz and A. Watson, The Evolution of NFS, Network Appliance, Inc.

Distributed File Systems (II)• E. B. Nightingale and J. Flinn. Energy-efficiency and

storage flexibility in the Blue file system. Proc. 6th USENIX OSDI Symp., pp. 363-378, Dec. 2004

• A. Muthitacharoen, B. Chen, and D. Mazieres, A Low-bandwidth network file system. Proc. 18th ACM SOSP, pp. 174-187, Oct. 2001

Distributed File Systems (III)• S. Quinlan and S. Dorward, Venti: A New Approach

to Archival Storage, Proc. 2002 FAST Conf. on File and Storage Technologies, pp. 89–102 Jan. 2002.

• 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 OSDI Symp., Nov. 2006.

Distributed File Systems (IV)

• M. W. Storer, K. Greenan, E. L. Miller, K. Voruganti, Pergamum: Replacing Tape with Energy Efficient, Reliable, Disk-Based Archival Storage, Proc. 6th USENIX FAST Conf., pp. 1-16, Feb. 2008

• 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 OSDI Symp., pp. 1-14, Aug. 2002.

Byzantine Agreement

• R. Kotla, L. Alvisi, M. Dahlin, A. Clement and E. Wong, Zyzzyva: Speculative Byzantine fault tolerance, Proc. 21st ACM SOSP, Oct. 2007.

Energy Efficiency

• D. G. Andersen, J. Franklin, M. Kaminsky, A. Phanishayee, L. Tan and V. Vasudevan, FAWN: A Fast Array of Wimpy Nodes, Proc. 22nd ACM SOSP, Oct. 2009.

Virtual machines

• P. Barham, B. Dragovic, K Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt and A. Warfield, Xen and the Art of Virtualization, Proc. 19th ACM SOSP , Oct. 2003

If time allows