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.