COSC 6360: OPERATING SYSTEMS
Tentative
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. 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 )
Security
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.