Date: Mon, 11 Nov 1996 17:29:40 GMT
Server: NCSA/1.5
Content-type: text/html
Last-modified: Wed, 30 Aug 1995 18:50:31 GMT
Content-length: 7929
CS 736 Reading List
CS 736 Spring 1995
Advanced Operating Systems
Reading List
This is the list of readings for CS 736, and the approximate order in which
we will read them.
Changes to this list are possible during the course of the semester.
A tentative schedule is provided below.
Synchronization and Communication
E. W. Dijkstra,
``Hierarchical ordering of sequential processes'',
in Operating Systems Techniques , C. A. R. Hoare and R. H. Perrott (editors), Academic Press, London, 1972, 72-93.
Also Acta Informatica 1 (1971), pp 115-138.
G. R. Andrews and F. B. Schneider,
``Concepts and Notations for Concurrent Programming'',
Computing Surveys 15 , 1
(March 1983), 3-44.
B. W. Lampson and D. D. Redell,
``Experiences with Processes and Monitors in Mesa'',
Comm. of the ACM 23 , 2
(February 1980), 105-117.
B. D. Marsh, M. L. Scott, T. J. LeBlanc and E. P. Markatos,
``First-Class User-Level Threads'',
SOSP13 ,
, 110-121.
H. Massalin and C. Pu,
``Threads and Input/Output in the Synthesis Kernel'',
SOSP12 ,
, 191-201.
H. C. Lauer and R. M. Needham,
``On the Duality of Operating System Structures'',
Operating Systems Review 13 , 2
(April 1979), 3-19.
Originally in Proc. 2nd Int'l Symposium on Operating Systems, IRIA, October 1978.
Memory Organization and Management
A. Bensoussan, C. T. Clingen and R. C. Daley,
``The Multics Virtual Memory: Concepts and Design'',
Comm. of the ACM 15 , 5
(May 1972), 308-318.
R. S. Fabry,
``Capability-Based Addressing'',
Comm. of the ACM 17 , 7
(July 1974), 403-412.
P. J. Denning,
``The Working Set Model of Program Behavior'',
Comm. of the ACM 11 , 5
(May 1968), 323-333.
R. Carr and J. Hennessy,
``WSCLOCK-A Simple and Effective Algorithm for Virtual Memory Management'',
SOSP8 ,
, 87-95.
O. Babaoglu and W. Joy,
``Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits'',
SOSP8 ,
, 78-86.
M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger, J. Chew, W. Bolosky, D. Black and R. Baron,
``The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System'',
SOSP11 ,
, 63-76.
Case Studies and Experiences
H. C. Lauer,
``Observations on the Development of an Operating System'',
SOSP8 ,
, 30-36.
B. W. Lampson,
``Hints for Computer System Design'',
SOSP9 ,
, 33-48.
File Systems
M. K. McKusick, W. N. Joy, S. J. Leffler and R. S. Fabry,
``A Fast File System for UNIX'',
Trans. Computer Systems 2 , 3
(August 1984), 181-197.
M. Rosenblum and J. K. Ousterhout,
``The Design and Implementation of a Log-Structured File System'',
SOSP13 ,
, 1-15.
E. Levy and A. Silberschatz,
``Distributed File Systems: Concepts and Examples'',
Computing Surveys 22 , 4
(December 1990), 321-374.
Protection and Security
A. K. Jones and W. A. Wulf,
``Towards the Design of Secure Systems'',
Software-Practice & Experience 5 , 4
(1975), 321-336.
F. T. Gramp and R. H. Morris,
``UNIX Operating System Security'',
AT&T Bell Laboratories Technical Journal 63 , 8
(October 1984), 1649-1672.
G. J. Popek and C. S. Kline,
``Encryption and Secure Computer Networks'',
Computing Surveys 11 , 4
(December 1979), 331-356.
J. G. Steiner, C. Neuman and J. I. Schiller,
``Kerberos: An Authentication Service for Open Network Systems'',
USENIX '88 ,
Dallas, TX,
February 1988, 191-202.
Distributed Systems
A. D. Birrell, R. Levin, R. M. Needham and M. D. Schroeder,
``Grapevine: An Exercise in Distributed Computing'',
Comm. of the ACM 25 , 4
(April 1982), 260-274.
A. D. Birrell and B. J. Nelson,
``Implementing Remote Procedure Calls'',
Trans. Computer Systems 2 , 1
(February 1984), 39-59.
Interesting Kernels
R. Pike, D. L. Presotto, K. Thompson and H. Trickey,
``Plan 9 from Bell Labs'',
Proceedings of the 1990 USENIX Conference ,
.
D. R. Cheriton and W. Zwaenepoel,
``The Distributed V Kernel and its Performance for Diskless Workstations'',
SOSP9 ,
, 128-139.
G. Hamilton and P. Kougiouris,
``The Spring Nucleus: A Microkernel for Objects'',
1993 Summer USENIX Conference ,
Cincinatti,
June 1993, 3-44.
Schedule
The tentative schedule for this semester is as follows.
It may be necessary to revise this schedule as the semester progresses.
The complete bibilography is listed
above.
Week 1 (Sep 5 - Sep 7)
Dijstra: Hierarchical Ordering
Week 2 (Sep 12 - Sep 14)
Andrews and Schneider: Synchronization Survey
Week 3 (Sep 19 - Sep 21)
Lampson and Redell: Monitors
Marsh et al : Threads
Week 4 (Sep 26 - Sep 28)
Massalin and Pu: Systhesis Kernel
Lauer and Needham: Duality
Week 5 (Oct 3 - Oct 5)
Bensourssan et al : Multics
Fabry: Capibility-based Addressing
Week 6 (Oct 10 - Oct 12)
Denning: Working Sets
Carr and Hennesy: WSCLOCK
Ozalp and Joy: Berkeley Unix
Week 7 (Oct 17 - Oct 19)
Young et al : Mach
Week 8 (Oct 24 - Oct 26)
Lauer: Observations
Lampson: Hints
Midterm Exam Wednesday, October 25, 7:15 PM.
Week 9 (Oct 31 - Nov 2)
McKusick et al : Unix Fast File System
Rosenblum and Ousterhout: Log-structured File System
Week 10 (Nov 7 - Nov 9)
Levy and Silberschatz: Distributed File System Survey
Week 11 (Nov 14 - Nov 16)
Jones and Wulf: Capabilities
Gramp and Morris: Unix Security
Popek and Kline: Encryption and Networks
Week 12 (Nov 21)
Steiner et al : Kerberos
Week 13 (Nov 28 - Nov 30)
Birrell et al : Grapevine
Birrell and Nelson: Remote Procedure Call
Week 14 (Dec 4 - Dec 6)
Pike et al : Plan 9
Cheriton and Zwaenepoel: V Kernel
Week 15 (Dec 11 - Dec 13)
Hamilton and Kougiouris: Spring Nucleus
Project presentations.
solomon@cs.wisc.edu
Wed Aug 30 13:38:37 CDT 1995