Date	Topic	Summaries	Qual answers
February 4	OS Structure & Specific OS	Summary
February 11	Virtual Memory	Summary
February 25	Synchronization & Communication	Summary, Non-Blocking Concurrent Objects Summary
March 3	File Systems	Summary
March 10	Security	Summary
March 17	Protection	Summary
March 23	Extending the OS	Summary
March 31	Transactions & Reliability	Summary
April 14	Miscellaneous & Multiprocessors	Summary
April 21			92, 93
April 28
May 5
May 12
May 19

Note that the topics cover all the papers in the mentioned section except for the following:

• [And92] (Multiprocessors) and [Gold74] (Miscellaneous) will be discussed with Extending the OS
• [Chap95] (Multiprocessors) will be discussed with Transactions & Reliability

Reading List

Operating System Structure

[Dijk68] Dijkstra, E.W., "The Structure of the THE Multiprogramming System" Communications of the ACM, Vol. 11, No. 5 (May 1968), 341-346.

[Ritc78] Ritchie, D.M., and Thompson, K., "The UNIX Time-Sharing System" The Bell System Technical Journal, Vol. 57, No. 6 (July-August 1978), Part 2, pp. 1905-1929.

[Thom78] Thompson, K., "UNIX Implementation" The Bell System Technical Journal, Vol. 57, No. 6 (July-August 1978), Part 2, pp. 1931-1946.

[Cher88] Cheriton, D.R., "The V Distributed System," Communications of the ACM, Vol. 31, No. 3 (March 1988), pp. 314-333.

[Mull90] Mullender, S.J., van Rossum, G., Tanenbaum, A.S., van Renesse, R., and van Staveren, H., "Amoeba: A Distributed Operating System for the 1990s," Computer Vol. 23, No. 5 (May 1990), pp. 44-53.

[Jone79] Jones, A. K., The object model: A conceptual tool for structuring software. In Operating Systems: An Advanced Course, R. Bayer, et al. Ed., Springer-Verlag, 1979, pp. 7-16.

[Bers95] Bershad, B.N., Savage, S., Pardyak, P., Sirer, E.G., Fiuczunski, M., Becker, D., Chambers, C., and Eggers, S., "Extensibility: Safety and Performance in the SPIN Operating System," Proceedings of the 15^th Symposium on Operating System Principles, December 1995, pp. 267-284.

[Engl95] Engler, D.R., Kaashoek, M.F., and O'Toole Jr., J., "Exokernel: an operating system architecture for application-specific resource management.", In Proceedings of the 15^th Symposium on Operating System Principles, December 1995, pp. 251-266.

[Cher94] Cheriton, D., and Duda, K., "A caching model of operating system kernel functionality," In Proceedings of the First Symposium on Operating Systems Principles, Pages 179-193. November 1994.

[Lied95] Liedtke, J., "On micro-kernel construction," In Proceedings of the 15^th Symposium on Operating System Principles, December 1995.

[Hoar74] Hoare, C.A.R., "Monitors: An Operating System Structuring Concept," Communications of the ACM, Vol. 17, No. 10 (Oct. 1974), pp. 549-557.

[Lamp80] Lampson, B.W., and Redell, D.D., "Experience with Processes and Monitors in Mesa," Communications of the ACM, Vol. 23, No. 2 (Feb. 1980), pp. 105-117.

[Hoar78] Hoare, C.A.R., "Communicating Sequential Processes," Communications of the ACM, Vol. 21, No. 8 (Aug. 1978), pp. 666-677.

[Mass89] Massalin, H. and Pu, C., "Threads and Input/Output in the Synthesis Kernel," Proceedings of the 12th Symposium on Operating Systems Principles, December 1989, pp. 191-200.

[Bers90] Bershad, B.N., Anderson, T.E., Lazowska, E.D., and Levy, H.M., "Lightweight Remote Procedure Call," ACM Transactions on Computer Systems, Vol. 8, No. 1 (February 1990), pp.37-55.

[Coff71] Coffman, Jr., E.G., Elphick, M.J., and Shoshani, A., "System Deadlocks", Computing Surveys, Vol. 3, No. 2, June 1971, pp. 67-78.

[Bers93] Bershad, B.N., "Practical Considerations for Non-Blocking Concurrent Objects," Proceedings of the 13^th International Conference on Distributed Computing Systems, May 1993.

[Laue78] Lauer, H.C., and Needham, R. M., "On the Duality of Operating System Structures." Proc. Second Int’l Symposium on Operating Systems, IRIA, October 1978, reprinted in Operating Systems Review, Vol. 13, No. 2, April 1979, pp. 3-19.

[Dale68] Daley, R.C., and Dennis, J.B., "Virtual Memory, Processes and Sharing in MULTICS," Communications of the ACM, Vol. 11, No. 5 (May 1968), pp. 306-312.

[Bens72] Bensoussan, A., Clingen, C.T., and Daley, R.C., "The MULTICS Virtual Memory: Concepts and Design," Communications of the ACM, Vol. 15, No. 5 (May 1972), pp. 308-318.

[Denn80] Denning, Peter J., "Working Sets, Past and Present," IEEE Transactions on Software Engineering, SE-6, 1 (January 1980), pp. 64-84.

[Levy82] Levy, H.M., and Lipman, P.H., "Virtual Memory Management in the VAX/VMS Operating System," Computer, Vol. 15, No. 3 (March 1982), pp. 35-41.

[Tall95] Talluri, M., Hill, M.D., and Khalidi, Y.A., "A New Page Table for 64-bit Address Spaces," Proceedings of the 15^th SOSP, Operating Systems Review, Vol. 29, No. 5, December 1995, pp. 184-200.

[Rash88] Rashid, R.F., et al., "Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures," IEEE Transactions on Computers, Vol. 37 No. 8 (August 1988), pp. 896-908.

[Youn87] Young, M., "The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System," Proceedings of the 11th Symposium on Operating Systems Principles, November 1987, pp. 63-76.

[Hart92] Harty, K., and Cheriton, D., "Application-Controlled Physical Memory using External Page-Cache Management," Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, MA, October 1992, pp. 187-199.

[Bolo89] Bolosky, W., Fitzgerald, R., and Scott, M, "Simple But Effective Techniques for NUMA Memory Management." Proceedings of the 12th SOSP, Operating Systems Review, Vol. 23, No. 5, December 1989, pp. 19-31.

[Verg96] Verghese, B., Devine, S., Gupta, A., and Rosenblum, M., "Operating System Support for Improving Data Locality on CC-NUMA Compute servers," In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, MA, 1996.

[Smit81a] Smith, Alan Jay, "Input/Output Optimizations and Disk Architectures: A Survey," Performance Evaluation, Vol. 1, 1981, pp. 104-117.

[McKu84] McKusick, M.K., Joy, W.N., Leffler, S.J., and Fabry, R.S., "A Fast File System For UNIX," ACM Transactions on Computer Systems, Vol. 2, No. 3 (August 1984), pp. 181-197.

[Rose91] Rosenblum, M., and Ousterhout, J.K., "The Design and Implementation of a Log-Structured File System," ACM Transactions on Computer Systems, Vol. 10, No. 1 (February 1992), pp. 26-52.

[Kron86] Kronenberg, N.P., Levy, H.M., and Strecker, W.D., "VAXclusters: A Closely-Coupled Distributed System" ACM Transactions on Computer Systems Vol. 4, No. 2 (May 1986), pp. 130-146.

[Feie71] Feiertag, R.J. and Organick, E.I. , "Multics Input/Output System." Proceedings of the 3rd SOSP, 1971, pp. 35-41.

[Ritc74] Ritchie, D.M., and Thompson, K., "The UNIX Time-Sharing System." Communications of the ACM, Vol. 17, No. 7, July 1974, pp. 365-375.

[Klei86] Kleiman, S.R., "Vnodes: An Architecture for Multiple File System Types in Sun UNIX," Proceedings of the Summer Usenix Conference, Atlanta, GA, 1986. pp. 238-247.

[Rose90] Rosenthal, D., "Evolving the Vnode Interface," Proceedings of the Summer Usenix Conference, Anaheim, CA, June 1990, pp. 107-117.

[Hagm87] Hagmann, R., "Reimplementing the Cedar File System Using Logging and Group Commit," Proceedings of the 11th Symposium on Operating Systems Principles, Operating System Review, Vol. 21, No. 5, Nov. 1987, pp. 115-162.

[Verh78] Verhofstad, J.S.M., "Recovery Techniques for Database Systems," Computing Surveys, Vol. 10, No. 2 (June 1978), pp. 167-195.

[Gray81] Gray, J., "The Transaction Concept: Virtues and Limitations," Proc. 7th International Conference on Very Large Data Bases, September 1981, pp. 144-154.

[Ston81] Stonebraker, M., "Operating System Support for Database Management," Communications of the ACM, Vol. 24, No. 7 (July 1981), pp. 412-418.

[Lisk83] Liskov, B., and Scheifler, R., "Guardians and Actions: Linguistic Support for Robust, Distributed Programs," ACM Trans. on Programming Languages and Systems, Vol. 5, No. 3 (July 1983), pp. 381-404.

[Borg89] Borg, A., Blau, W., Graetsch, W., Herrmann, F., and Oberle, W., "Fault Tolerance Under UNIX," ACM Transactions on Computer Systems, Vol. 7, No. 1 (February 1989), pp. 1-24.

[Bart81] Bartlett, J., "A NonStop Kernel", Proceedings of the 8th SOSP, Operating Systems Review, Vol. 11, No. 5, November 1977, pp.23-31.

[Ston81] Stonebraker, M., DuBourdieux, D., Edwards, W., "Problems in Supporting Database Transactions in an Operating System Transaction Manager," Operating Systems Review, vol. 19, no. 1, January 1985, pp. 6-14.

[Hask88] Haskin, R., Malachi, Y., Sawdon, W., and Chan, G., "Recovery Management in QuickSilver." ACM Trans. on Computer Systems 6(1), February 1988, pp. 82-108.

[Chen96] Chen, P.M, Ng, W.T., Chandra, S., Aycock,C., Rajamani,G. Lowell,D., "The Rio File Cache: Surviving Operating System Crashes", Proceedings of the 1996 International Conference on Architectural Support for Programming Languages and Operating Systems, October 1996.

[Schr72] Schroeder, M.D. and Saltzer, J.H., "A Hardware Architecture for Implementing Protection Rings," Communications of the ACM, Vol. 15, No. 3 (March 1972), pp. 157-170.

[Wulf74] Wulf, W. et al, "HYDRA: The Kernel of a Multiprocessor Operating System," Communications of the ACM, Vol. 17, No. 6 (June 1974), pp. 337-345.

[Salt75] Saltzer, Jerome H., "The Protection of Information in Computer Systems," Proceedings of the IEEE, Vol. 63, No. 9 (September 1975), pp. 1278-1308.

[Denn79] Denning, D.E. and Denning, P.J., "Data Security," Computing Surveys, Vol. 11, No. 3 (September 1979), pp. 227-249.

[Need78] Needham, R.M. and Schroeder, M.D., "Using Encryption for Authentication in Large Networks of Computers," Communications of the ACM, Vol. 21, No. 12 (December 1978), pp. 993-999.

[Stei88] Steiner, J.G., Neuman, C., and Schiller, J.I., "Kerberos: An Authentication Service for Open Network Systems," USENIX Winter Conference Proceedings, February 1988, pp. 191-202.

[Burr90] Burrows, M., Abadi, M., and Needham, R., "A Logic of Authentication," ACM Transactions on Computer Systems, Vol. 8, No. 1 (February 1990), pp. 18-36.

[Lamp91] Lampson, B., Abadi, M., Burrows, M., and Wobber, E., "Authentication in Distributed Systems: Theory and Practice," Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, Operating Systems Review, Vol. 25, No. 5, Pacific Grove, California, October 1991, pp. 165-182.

[Morr79] Morris, R., and Thompson, K., "Password Security: A Case History," Communications of the ACM, Vol. 22, No. 11, November 1979, pp. 594-597.

[Lamp73] Butler W. Lampson, "A Note on the Confinement Problem," Communications of the ACM, Vol. 16, No. 10, October 1973, pp.613-615.

[Thom84] Thompson, K., "Reflections on Trusting Trust," Communication of the ACM, Vol. 27, No. 8, August 1984, pp. 761-763.

[Ande94] Anderson, R.J., "Why Cryptosystems Fail," Communications of the ACM, Vol. 37, No. 11, November 1994.

[Li89] Li, K., Hudak, P., "Memory Coherence in Shared Virtual Memory Systems," ACM Trans. on Computer Systems, Vol. 7, No. 4 (November 1989), pp. 321-359.

[Cart91] Carter, J.B., Bennett, J.K., and Zwaenepoel, W.. "Implementation and Performance of Munin," Proceedings of the 13th ACM Symposium on Operating Systems Principles, October 1991, pp. 152-164.

[And92] Anderson, T., Bershad, B., Lazowska, E., and Levy, H.. "Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism," ACM Transactions on Computer Systems, Vol. 10, No. 1 (February 1992), pp. 53-79.

[Chap95] Chapin, J., Rosenblum, M., Devine, S., Lahiri, T., Teodosiu, D., and Gupta, A., "Hive: Fault Containment for Shared-Memory Multiprocessors." in The 15^th ACM Symposium on Operating Systems Principles, December 1995.

[Sher72] Sherman, S.W., Baskett, F., and Browne, J.C., "Trace-Driven Modeling and Analysis of CPU Scheduling in a Multiprogramming System," Communications of the ACM, Vol. 15, No. 12 (December 1972).

[Gold74] Goldberg, R.P., "Survey of Virtual Machine Research," Computer, Vol. 7, No. 6 (June 1974), pp. 34-45.

[Lamp83] Lampson, B.W., "Hints for Computer System Design," Proceedings of the 9th Symposium on Operating Systems Principles, October 1983, pp. 33-48.

[Bour78] Bourne, S. R., "The Unix Time-Sharing System: The Unix Shell," Bell System Technical Journal, Vol. 57, No. 6, July-August 1978, pp. 1971-1990.

[Hoar81] Hoare, C.A.R., "The Emperor's Old Clothes", Communications of the ACM, Vol. 24, No. 2, February 1981, pp. 75-83.

[Laue81] Lauer, H.C., "Observations on the Development of an Operating System," Proceedings of the 8th SOSP, Operating Systems Review, Vol. 15, No. 5, December 1981, pp. 30-36.

[Corb72] Corbato, F.J., Saltzer, J.H., and Clingen, C.T., "Multics — The first seven years", Proc. Spring Joint Computer Conference, AFIPS, May 1972, pp. 571-583.

[Ausl81] Auslander, M.A., Larkin, D.C., and Scherr, A. L., "The Evolution of the MVS Operating System," IBM Journal of Research and Development, Vol. 25, No. 5, September 1981, pp. 471-482.

[Seaw79] Seawright, L.H., and MacKinnon, R.A., "VM/370: A study of multiplicty and usefulness", IBM Systems Journal Vol 18, No 1. 1979, pp. 4-17.

[Cust82] Custer, H., Inside Windows NT, Microsoft Press, 1992.