📄 http:^^www.cs.wisc.edu^~cao^cs736^cs736-papers.html
字号:
Date: Mon, 11 Nov 1996 17:32:55 GMTServer: NCSA/1.5Content-type: text/htmlLast-modified: Fri, 12 Jan 1996 23:07:49 GMTContent-length: 7098<html><head><title> CS 736 Paper Reading List (Spring 96)</title></head><BODY><h1> CS 736 Paper Reading List (Spring 96)</h1><ol><h2>Pretty Old</h2><li>Per Brinch Hansen,``The Nucleus of a Multiprogramming System'',<i>Communications of the ACM</i>, <b>13</b>(4), April 1970, pp. 238-250.<li>Andrew Tanenbaum,``Fundamental Concepts in MS-DOS'',<i>Modern Operating Systems</i>, Chapter <b>8</b>, Section 8.3.1, pp. 328-359.<h2>Concurrency</h2><li>C.A.R. Hoare, ``Communicating Sequential Processes'', <i>Communications of the ACM</i>, <b>21</b>(8), August 1978, pp. 666-677.<li>C.A.R. Hoare, ''Monitors: An Operating System Structuring Concept''.<i>Communications of the ACM</i>, <b>17</b>(10), October 1974, pp. 549-557.<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.<li>Andrew D. Birrell,``An Introduction to Programming with Threads'',<i>System Programming with Modula-3</i>,Chapter <b>4</b>, pp. 88-118.<h2>Example Systems</h2><li>Dennis M. Ritchie, Ken Thompson. ``The UNIX Timesharing System''.<i>Communications of the ACM</i>, <b>17</b>(7), July 1974, pp. 365-375.<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.<h2>Memory Management</h2><h3>Mechanisms</h3><li>A. Bensoussan,C.T. Clingen,R.C. Daley,``The Multics Virtual Memory: Concepts and Design'',<i>Communications of the ACM</i>,<b>15</b>(5),May 1972,pp. 308-318.<li>Henry M. Levy, Peter Lipman, ``Virtual Memory Management in VAX/VMS''.<i>Computer</i>, <b>15</b>(3), March 1982, pp. 35-41.<li>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.<li>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.<h3>Policies</h3><li>Peter J. Denning,``Working Set Past and Present'',<i>Communications of the ACM</i>,<b>11</b>(5),May 1968,pp. 323-333.<h3>Distributed Shared Memory</h3><li>Kai Li, Paul Hudak. ``Memory Coherence in Shared Virtual Memory Systems''. <i>ACM Transaction on Computer Systems</i>, <b>7</b>(4), November 1989,pp. 321-359.<h2>File Systems</h2><li>Chris Ruemmler, John Wilkes,``An Introduction to Disk Drive Modeling'',<i>IEEE Computer</i>, <b>27</b>(3), March 1994, pp.17-29.<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>Mary G. Baker, John H. Hartman, Michael D. Kupfer, Ken W. Shirriff, John K. Ousterhout,``Measurements of a Distributed File System'',<i>Proceedings of the 13th SOSP, Operating Systems Review</i>,<b>25</b>(5), October 1991.<li>Mendel Rosenblum,John K. Ousterhout,``The Design and Implementation of a Log-Structured File System'',<i>Proceedings of the 13th SOSP, Operating Systems Review</i>,<b>25</b>(5),pp. 1-15.October 1991.<li>David A. Patterson, Garth Gibson, Randy H. Katz``A Case for Redundant Array of Inexpensive Disks (RAID)'',<i>Proceedings of SIGMOD '88</i>, 1988, pp. 109-116.<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>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.<h2>Distributed File Systems</h2><li>Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, Bob Lyon,``Design and Implementation of the Sun Network Filesystem'',Sun Microsystems, Inc.<li>John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols,M. Stayanayanan, Robert N. Sidebotham, and Michael J. West, ``Scaleand Performance in a Distributed File System''. <i>ACM Transaction onComputer Systems</i>, <b>6</b>(1), February 1988, pp. 51-81.<h2>Security: Authentication</h2><li>R. L. Rivest, S. Shamir, L. Adleman,``A Method for Obtaining Digital Signatures and Public Key Cryptosystems'',<i>Communications of the ACM</i>, <b>21</b>(2), February 1978, pp. 120-126.<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.<li>Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber,``Authentication in Distributed Systems: Theory and Practice'',<i>ACM Transactions on Computer Systems</i>, <b>10</b>(4), November 1992, pp. 265-310.<h2>Security: Authorization</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>Drew Dean, Dan S. Wallach,``Security Flaws in the HotJava Web Browser'',<a href="http://www.cs.princeton.edu/~ddean">http://www.cs.princeton.edu/~ddean</a>, November 1995.<h2>Case Study</h2><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>Michael Podanoffsky,``A Comparison Between the Mach and Windows NT Kernels'',<a href="http://world.std.com/~mikep>http://world.std.com/~mikep</a>, May 1995.<li>Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer,Marc E. Fiuczynski, David Becker, Craig Chambers, Susan Eggers,``Extensibility, Safety and Performance in the <i>SPIN</i> Operating System'',<i>Proceedings of the 15th SOSP</i>, December 1995.<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,<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></body>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -