📄 http:^^www.cs.wisc.edu^~bart^cs736.f96^reading_list.html
字号:
Date: Tue, 05 Nov 1996 00:31:16 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Sat, 05 Oct 1996 13:07:44 GMTContent-length: 7550<html><head><title> CS 736 Paper Reading List</title></head><BODY><h1> CS 736 Paper Reading List</h1><!----><!WA0><a href="http://www.cs.wisc.edu/~bart/cs736-1.html"><!WA1><img src="http://www.cs.wisc.edu/~bart/left-arrow.gif">Return to CS736 home page.</a><ol><h2>Memory Management</h2><a name="denning"><li></a>Peter J. Denning,"The Working Set Model of Program Behavior",<i>Communications of the ACM</i>,<b>11</b>5,May 1968,pp. 323-333.<a name="wsclock"><li></a>Richard Carr,John Hennessy,"WSCLOCK - A Simple and Effective Algorithm for Virtual Memory Management",<i>Proceedings of the 8th SOSP, Operating Systems Review</i>,<b>15</b>5,December 1981,pp. 87-95.<a name="bsdpaging"><li></a>Ozalp Babaoglu,William Joy,"Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits",<i>Proceedings of the 8th SOSP, Operating Systems Review</i>,<b>15</b>5,December 1981,pp. 78-86.<a name="machvm"><li></a>Michael Young,Avadis Tevanian,Richard Rashid,David Golub,Jeffrey Eppinger,Jonathan Chew,William Bolosky,David Black,Robert Baron,"The Duality of Memory and Communication in the Implementation of a Multiprocessor Operating System",<i>Proceedings of the 11th SOSP, Operating Systems Review</i>,<b>21</b>5,November 1987,pp. 63-76.<h2>Synchronization and Communication</h2><a name="syncsurvey"><li></a>Gregory R. Andrews,Fred. B. Schneider,"Concepts and Notations for Concurrent Programming",<i>ACM Computing Surveys</i>,<b>15</b>1,March 1983,pp. 3-44.<li>Butler W. Lampson,David D. Redell,"Experiences with Processes and Monitors in Mesa",<i>Communications of the ACM</i>,<b>23</b>2,February 1980,pp. 105-117.<li>Hugh C. Lauer,Roger M. Needham,"On the Duality of Operating System Structures",<i>Operating Systems Review</i>,<b>13</b>2,April 1979,pp. 3-19.<h2>Protection and Security</h2><li>Anita K. Jones,William A. Wulf,"Towards the Design of Secure Systems",<i>Software - Practice and Experience</i>,<b>5</b>4,1975,pp. 321-336.<li>Frederick T. Gramp,Robert H. Morris,"UNIX Operating System Security",<i>AT&T Bell Laboratories Technical Journal</i>,<b>63</b>8,October 1984,pp. 1649-1672.<li>Gerald J. Popek,Charles S. Kline,"Encryption and Secure Computer Networks",<i>Computing Surveys</i>,<b>11</b>4,December 1979,pp. 331-356.<li>J. G. Steiner,C. Neuman,J. I. Schiller,"Kerberos: An Authentication Service for Open Network Systems",<i>USENIX '88</i>,Dallas, TX,February 1988,pp. 191-202.<h2>Kernels</h2><li>David D. Redell,Yogen K. Dalal,Thomas R. Horsley,Hugh C. Lauer,William C. Lynch,Paul R. McJones,Hal G. Murray,Stephen C. Purcell,"Pilot: An Operating System for a Personal Computer",<i>Communications of the ACM</i>,<b>23</b>2,February 1980,pp. 81-92.<li>Barton P. Miller,David L. Presotto,Michael L. Powell,"DEMOS/MP: The Development of a Distributed Operating System",<i>Software-Practice & Experience</i>,<b>17</b>4,April 1987,pp. 277-290.<li>David R. Cheriton,Willy Zwaenepoel,"The Distributed V Kernel and its Performance for Diskless Workstations",<i>Proceedings of the 9th SOSP, Operating Systems Review</i>,<b>17</b>5,November 1983,pp. 129-140.<li>Brian D. Marsh,Michael L. Scott,Thomas J. LeBlanc,Evangelos P. Markatos,"First-Class User-Level Threads",<i>Proceedings of the 13th SOSP, Operating Systems Review</i>,<b>25</b>5,October 1991,pp. 110-121.<li>Henry Massalin,Carlton Pu,"Theads and Input/Output in the Synthesis Kernel",<i>Proceedings of the 12th SOSP, Operating Systems Review</i>,<b>23</b>5,December 1989,pp. 191-201.<li>Graham Hamilton,Panos Kougiouris,"The Spring Nucleus: A Microkernel for Objects",<i>1993 Summer USENIX Conference</i>,Cincinatti,June 1993,pp. 3-44.<h2>File Systems</h2><li>M.K McKusick,W. N. Joy,S. J. Leffler,R. S. Fabry,"A Fast File System for UNIX",<i>ACM Trans. on Computer Systems</i>,<b>2</b>3,August 1984,pp. 181-197.<li>Bruce Walker,Gerald Popek,Robert English,Charles Kline,Greg Thiel,"The LOCUS Distributed Operating System",<i>Proceedings of the 9th SOSP, Operating Systems Review</i>,<b>17</b>5,November 1983,pp. 49-70.<li>David K. Gifford,Robert N. Needham,Michael D. Schroeder,"The Cedar File System",<i>Communications of the ACM</i>,<b>31</b>3,pp. 288-297.March 1988,<li>Mendel Rosenblum,John K. Ousterhout,"The Design and Implementation of a Log-Structured File System",<i>Proceedings of the 10th SOSP, Operating Systems Review</i>,<b>25</b>5,pp. 1-15.October 1991,<li>Russel Sandberg,David Goldberg,Steve Kleiman,Dan Walsh,Bob Lyon,"Design and Implementation of the Sun Network File Systems",Sun Microsystems Inc.<li>John H. Howard,Michael L. Kazar,Sherri G. Menees,David A. Nichols,M. Satyanarayanan,Robert N. Sidebotham,Michael J. West,"Scale and Performance in a Distributed File System",<i>ACM Transactions on Computer Systems</i>,<b>6</b>1,pp. 51-81.February 1988,<li>James J. Kistler,M. Satyanarayanan,"Disconnected Operation in the Coda File System",<i>Proceedings of the 10th SOSP, Operating Systems Review</i>,<b>25</b>5,pp. 213-225.October 1991,<h2>Distributed Systems</h2><li>Andrew D. Birrell,Roy Levin,Roger M. Needham,Michael D. Schroeder,"Grapevine: An Exercise in Distributed Computing",<i>Communications of the ACM</i>,<b>25</b>4,April 1982,pp. 260-274.<li>Andrew D. Birrell,Bruce Jay Nelson,"Implementing Remote Procedure Calls",<i>ACM Transactions on Computer Systems</i>,<b>2</b>1,February 1984,pp. 39-59.<li>Rob Pike,David L. Presotto,Ken Thompson,Howard Trickey,"Plan 9 from Bell Labs",<i>Proceedings of the 1990 USENIX Conference</i>,<h2>Experience and Systems Reports</h2><li>Hugh C. Lauer,"Observations on the Development of an Operating System",<i>Proceedings of the 8th SOSP, Operating Systems Review</i>,<b>15</b>5,December 1981,pp. 30-36.<li>Butler W. Lampson,"Hints for Computer System Design",<i>Proceedings of the 9th SOSP, Operating System Review</i>,<b>17</b>5,pp. 33-48.October 1983,<h2>Reliability and Recovery</h2><li>David K. Gifford,"Weighted Voting for Replicated Data",<i>Proceedings of the 7th SOSP, Operating Systems Review</i>,<b>13</b>5,pp. 150-169.1979,<li>Jacques-Louis Lions,Lennart Lebeck,Jean-Luc Fauquembergue,Gilles Kahn,Wolfgang Kubbat,Stefan Levedag,Leonardo Mazzini,Didier Merle Thomson,Colin O'Halloran,"ARIANE 5 Flight 501 Failure: Report by the Inquiry Board",European Space Agency Report,Paris, July 1996.URL:<!WA2><a href="http://www.esrin.esa.it/htdocs/tidc/Press/Press96/ariane5rep.html"><tt>http://www.esrin.esa.it/htdocs/tidc/Press/Press96/ariane5rep.html</tt></a>or<!WA3><a href="http://www.cs.wisc.edu/~bart/ariane5rep.html"><tt>http://www.cs.wisc.edu/~bart/ariane5rep.html</tt></a>.<li>Bruce J. Walker,Richard A. Kemmerer,Gerald J. Popek,"Specification and Verification of the UCLA Unix Security Kernel",<i>Communications of the ACM</i>,<b>23</b>2,February 1980,pp. 118-131.<h2>Technical Writing</h2><li>Donald Knuth,"Notes on Technical Writing",<i>Unpublished article</i>,<li>Desiree Thalley,"Know how to write the right way?",<i>Wisconsin State Journal</i>,Sunday, November 18, 1984,pp. 6.<li>Roy Levin,David D. Redell,"An Evaluation of the 9th SOSP Submissions",<i>Operating Systems Review</i>,<b>17</b>3,July 1983,pp. 35-40.</ol><hr><H4>Last modified:Fri Oct 4 08:04:27 CDT 1996by<!WA4><a href="http://www.cs.wisc.edu/~bart">bart</a></b></H4></body>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -