COSC 6360: OPERATING SYSTEMS
Reading List for Fall 2009
UNIX
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)
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.
A
simpler presentation of the ARC cache can be found in:
N.
Megiddo and D.
Kernel Structures
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 Symp. on
Operating Systems Design and Implementation, Dec. 2008. (PowerPoint)
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, pp. 267-284, Oct. 1995. (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 )
B.
Cohen. Incentives build robustness in
BitTorrent, Proc. 2003Workshop on Economics
of Peer-to-Peer Systems,
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., pp. 307-326, Jan. 1993. (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, pp. 71-84., June
2000. (PowerPoint)
Distributed File
Systems
R. Sandberg, D. Goldberg,
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, 39:4 (Apr. 1990), 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), 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, Oct.
2001. (PowerPoint)
M.
W. Storer, K.. Greenan, E. L. Miller, K. Voruganti, Pergamum: Replacing Tape with
Energy Efficient, Reliable, Disk-Based Archival Storage, Proc.
6th USENIX Conf. on File and Storage Technologies , pp. 1-16, Feb. 2008. (Shockwave. Supplemental 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, pp. 1-14, Aug. 2002. (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, Oct. 2007. (PowerPoint)
More Paper(s)
Best
Paper Award(s) from the 22nd ACM Symposium on Operating System
Principles, Oct. 2009.
This reading list was updated last on Sunday, August 23, 2009.