📄 http:^^www.cs.wisc.edu^~solomon^readings.html
字号:
Date: Mon, 11 Nov 1996 17:29:40 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Wed, 30 Aug 1995 18:50:31 GMTContent-length: 7929<html><head><title>CS 736 Reading List</title><link rev=made href="mailto:solomon@cs.wisc.edu"></head><body><h1>CS 736 Spring 1995<br>Advanced Operating Systems<br>Reading List</h1><a name="readings">This is the list of readings for CS 736, and the approximate order in whichwe will read them.</a>Changes to this list are possible during the course of the semester.A <!WA0><!WA0><!WA0><a href="#schedule"> tentative schedule </a> is provided below.<ol><h3>Synchronization and Communication</h3><li><a name="ref1">E. W. Dijkstra,</a>``Hierarchical ordering of sequential processes'',in <i>Operating Systems Techniques</i>, C. A. R. Hoare and R. H. Perrott (editors), Academic Press, London, 1972, 72-93.Also <i>Acta Informatica</i> 1 (1971), pp 115-138.<li><a name="ref2">G. R. Andrews and F. B. Schneider,</a>``Concepts and Notations for Concurrent Programming'',<i>Computing Surveys 15</i>, 1(March 1983), 3-44.<li><a name="ref3">B. W. Lampson and D. D. Redell,</a>``Experiences with Processes and Monitors in Mesa'',<i>Comm. of the ACM 23</i>, 2(February 1980), 105-117.<li><a name="ref4">B. D. Marsh, M. L. Scott, T. J. LeBlanc and E. P. Markatos,</a>``First-Class User-Level Threads'',<i>SOSP13</i>,, 110-121.<li><a name="ref5">H. Massalin and C. Pu,</a>``Threads and Input/Output in the Synthesis Kernel'',<i>SOSP12</i>,, 191-201.<li><a name="ref6">H. C. Lauer and R. M. Needham,</a>``On the Duality of Operating System Structures'',<i>Operating Systems Review 13</i>, 2(April 1979), 3-19.Originally in Proc. 2nd Int'l Symposium on Operating Systems, IRIA, October 1978.<h3>Memory Organization and Management</h3><li><a name="ref7">A. Bensoussan, C. T. Clingen and R. C. Daley,</a>``The Multics Virtual Memory: Concepts and Design'',<i>Comm. of the ACM 15</i>, 5(May 1972), 308-318.<li><a name="ref8">R. S. Fabry,</a>``Capability-Based Addressing'',<i>Comm. of the ACM 17</i>, 7(July 1974), 403-412.<li><a name="ref9">P. J. Denning,</a>``The Working Set Model of Program Behavior'',<i>Comm. of the ACM 11</i>, 5(May 1968), 323-333.<li><a name="ref10">R. Carr and J. Hennessy,</a>``WSCLOCK-A Simple and Effective Algorithm for Virtual Memory Management'',<i>SOSP8</i>,, 87-95.<li><a name="ref11">O. Babaoglu and W. Joy,</a>``Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits'',<i>SOSP8</i>,, 78-86.<li><a name="ref12">M. Young, A. Tevanian, R. Rashid, D. Golub, J. Eppinger, J. Chew, W. Bolosky, D. Black and R. Baron,</a>``The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System'',<i>SOSP11</i>,, 63-76.<h3>Case Studies and Experiences</h3><li><a name="ref13">H. C. Lauer,</a>``Observations on the Development of an Operating System'',<i>SOSP8</i>,, 30-36.<li><a name="ref14">B. W. Lampson,</a>``Hints for Computer System Design'',<i>SOSP9</i>,, 33-48.<h3>File Systems</h3><li><a name="ref15">M. K. McKusick, W. N. Joy, S. J. Leffler and R. S. Fabry,</a>``A Fast File System for UNIX'',<i>Trans. Computer Systems 2</i>, 3(August 1984), 181-197.<li><a name="ref16">M. Rosenblum and J. K. Ousterhout,</a>``The Design and Implementation of a Log-Structured File System'',<i>SOSP13</i>,, 1-15.<li><a name="ref17">E. Levy and A. Silberschatz,</a>``Distributed File Systems: Concepts and Examples'',<i>Computing Surveys 22</i>, 4(December 1990), 321-374.<h3>Protection and Security</h3><li><a name="ref18">A. K. Jones and W. A. Wulf,</a>``Towards the Design of Secure Systems'',<i>Software-Practice & Experience 5</i>, 4(1975), 321-336.<li><a name="ref19">F. T. Gramp and R. H. Morris,</a>``UNIX Operating System Security'',<i>AT&T Bell Laboratories Technical Journal 63</i>, 8(October 1984), 1649-1672.<li><a name="ref20">G. J. Popek and C. S. Kline,</a>``Encryption and Secure Computer Networks'',<i>Computing Surveys 11</i>, 4(December 1979), 331-356.<li><a name="ref21">J. G. Steiner, C. Neuman and J. I. Schiller,</a>``Kerberos: An Authentication Service for Open Network Systems'',<i>USENIX '88</i>,Dallas, TX,February 1988, 191-202.<h3>Distributed Systems</h3><li><a name="ref22">A. D. Birrell, R. Levin, R. M. Needham and M. D. Schroeder,</a>``Grapevine: An Exercise in Distributed Computing'',<i>Comm. of the ACM 25</i>, 4(April 1982), 260-274.<li><a name="ref23">A. D. Birrell and B. J. Nelson,</a>``Implementing Remote Procedure Calls'',<i>Trans. Computer Systems 2</i>, 1(February 1984), 39-59.<h3>Interesting Kernels</h3><li><a name="ref24">R. Pike, D. L. Presotto, K. Thompson and H. Trickey,</a>``Plan 9 from Bell Labs'',<i>Proceedings of the 1990 USENIX Conference</i>,.<li><a name="ref25">D. R. Cheriton and W. Zwaenepoel,</a>``The Distributed V Kernel and its Performance for Diskless Workstations'',<i>SOSP9</i>,, 128-139.<li><a name="ref26">G. Hamilton and P. Kougiouris,</a>``The Spring Nucleus: A Microkernel for Objects'',<i>1993 Summer USENIX Conference</i>,Cincinatti,June 1993, 3-44.</ol><a name="schedule"><h2> Schedule </h2></a>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<!WA1><!WA1><!WA1><a href="#readings">above.</a><dl compact><dt> <b>Week 1</b> (Sep 5 - Sep 7) <dd><!WA2><!WA2><!WA2><a href="#ref1"> Dijstra: Hierarchical Ordering </a><dt> <b>Week 2</b> (Sep 12 - Sep 14) <dd><!WA3><!WA3><!WA3><a href="#ref2"> Andrews and Schneider: Synchronization Survey </a><dt> <b>Week 3</b> (Sep 19 - Sep 21) <dd><!WA4><!WA4><!WA4><a href="#ref3"> Lampson and Redell: Monitors<br> </a><!WA5><!WA5><!WA5><a href="#ref4"> Marsh <em> et al </em>: Threads </a><dt> <b>Week 4</b> (Sep 26 - Sep 28) <dd><!WA6><!WA6><!WA6><a href="#ref5"> Massalin and Pu: Systhesis Kernel<br> </a><!WA7><!WA7><!WA7><a href="#ref6"> Lauer and Needham: Duality </a><dt> <b>Week 5</b> (Oct 3 - Oct 5) <dd><!WA8><!WA8><!WA8><a href="#ref7"> Bensourssan <em> et al</em>: Multics<br> </a><!WA9><!WA9><!WA9><a href="#ref8"> Fabry: Capibility-based Addressing </a><dt> <b>Week 6</b> (Oct 10 - Oct 12) <dd><!WA10><!WA10><!WA10><a href="#ref8"> Denning: Working Sets<br> </a><!WA11><!WA11><!WA11><a href="#ref10"> Carr and Hennesy: WSCLOCK<br> </a><!WA12><!WA12><!WA12><a href="#ref11"> Ozalp and Joy: Berkeley Unix </a><dt> <b>Week 7</b> (Oct 17 - Oct 19) <dd><!WA13><!WA13><!WA13><a href="#ref12"> Young <em> et al</em>: Mach </a><dt> <b>Week 8</b> (Oct 24 - Oct 26) <dd><!WA14><!WA14><!WA14><a href="#ref13"> Lauer: Observations<br> </a><!WA15><!WA15><!WA15><a href="#ref14"> Lampson: Hints </a><dt> <b>Midterm Exam</b> <dd> Wednesday, October 25, 7:15 PM.<dt> <b>Week 9</b> (Oct 31 - Nov 2) <dd><!WA16><!WA16><!WA16><a href="#ref15"> McKusick <em> et al</em>: Unix Fast File System<br> </a><!WA17><!WA17><!WA17><a href="#ref16"> Rosenblum and Ousterhout: Log-structured File System </a><dt> <b>Week 10</b> (Nov 7 - Nov 9) <dd><!WA18><!WA18><!WA18><a href="#ref16"> Levy and Silberschatz: Distributed File System Survey </a><dt> <b>Week 11</b> (Nov 14 - Nov 16) <dd><!WA19><!WA19><!WA19><a href="#ref18"> Jones and Wulf: Capabilities<br> </a><!WA20><!WA20><!WA20><a href="#ref19"> Gramp and Morris: Unix Security<br> </a><!WA21><!WA21><!WA21><a href="#ref20"> Popek and Kline: Encryption and Networks </a><dt> <b>Week 12</b> (Nov 21) <dd><!WA22><!WA22><!WA22><a href="#ref21"> Steiner <em> et al</em>: Kerberos </a><dt> <b>Week 13</b> (Nov 28 - Nov 30) <dd><!WA23><!WA23><!WA23><a href="#ref22"> Birrell <em>et al</em>: Grapevine<br> </a><!WA24><!WA24><!WA24><a href="#ref23"> Birrell and Nelson: Remote Procedure Call </a><dt> <b>Week 14</b> (Dec 4 - Dec 6) <dd><!WA25><!WA25><!WA25><a href="#ref24"> Pike <em>et al</em>: Plan 9<br> </a><!WA26><!WA26><!WA26><a href="#ref25"> Cheriton and Zwaenepoel: V Kernel </a><dt> <b>Week 15</b> (Dec 11 - Dec 13) <dd><!WA27><!WA27><!WA27><a href="#ref26"> Hamilton and Kougiouris: Spring Nucleus<br> </a>Project presentations.</dl><hr><address><i><!WA28><!WA28><!WA28><a HREF="http://www.cs.wisc.edu/~solomon/solomon.html">solomon@cs.wisc.edu</a><br>Wed Aug 30 13:38:37 CDT 1995</i></address></body></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -