345 lines
13 KiB
HTML
345 lines
13 KiB
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Strict//EN">
|
|
<html>
|
|
<head>
|
|
<title>Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract</title>
|
|
<link rel="stylesheet" type="text/css" href="../css/style.css">
|
|
<link rel="stylesheet" type="text/css" href="style.css">
|
|
</head>
|
|
<body>
|
|
<div id="nav">
|
|
<a class=home href="../index.html">Alexia's Home</a>
|
|
<a href="index.html">Dissertation</a>
|
|
<a href="abs.html">Abstract</a>
|
|
<a href="ack.html">Acknowledgements</a>
|
|
<a href="toc.html">Contents</a>
|
|
<a href="ch1.html">Chapter 1</a>
|
|
<a href="ch2.html">Chapter 2</a>
|
|
<a href="ch3.html">Chapter 3</a>
|
|
<a href="ch4.html">Chapter 4</a>
|
|
<a href="ch5.html">Chapter 5</a>
|
|
<a href="ch6.html">Chapter 6</a>
|
|
<a href="ch7.html">Chapter 7</a>
|
|
<a href="ch8.html">Chapter 8</a>
|
|
<a class=here href="bib.html">Bibliography</a>
|
|
<a href="app-A.html">Appendix A</a>
|
|
</div>
|
|
|
|
|
|
<div id="running-title">
|
|
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
</div>
|
|
|
|
<div id="content">
|
|
|
|
<h1>Bibliography</h1>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[1]</span>
|
|
<span class=bib-author>M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young.</span>
|
|
<span class=bib-title>Mach: A New Kernel Foundation for <span class=smallcaps>Unix</span> Development.</span>
|
|
<span class=bib-source>Proceedings of the 1986 Usenix Conference</span>
|
|
<span class=bib-pages>pages 93-112.</span>
|
|
<span class=bib-publisher>Usenix Association,</span>
|
|
<span class=bib-date>1986.</span>
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[2]</span>
|
|
<span class=bib-author>Sarita V. Adve, Vikram S. Adve, Mark D. Hill, and Mary K. Vernon.</span>
|
|
<span class=bib-title>Comparison of Hardware and Software Cache Coherence Schemes.</span>
|
|
<span class=bib-source>The 18th Annual International Symposium on Computer Architecture</span>
|
|
<span class=bib-pages>volume 19, pages 298-308,</span>
|
|
<span class=bib-date>1991.</span>
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[3]</span>
|
|
<span class=bib-author>T.E. Anderson, B.N. Bershad, E.D. Lazowska, and H.M. Levy.</span>
|
|
<span class=bib-title>Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism.</span>
|
|
<span class=bib-source>Proceedings of the 13th ACM Symposium on Operating Systems Principles</span>
|
|
<span class=bib-pages>pages 95-109,</span>
|
|
Pacific Grove, CA,
|
|
<span class=bib-date>October 1991.</span> ACM.
|
|
</div>
|
|
|
|
<div class=bib-entry>
|
|
<span class=bib-number>[4]</span>
|
|
<span class=bib-author>James Arleth.</span>
|
|
<span class=bib-title>A 68010 multiuser development system.</span>
|
|
<span class=bib-source>Master's thesis</span>, The Cooper Union for the Advancement of Science and Art, New York City,
|
|
<span class=bib-date>1984.</span>
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[5]</span>
|
|
<span class=bib-author>Brian N. Bershad, Edward D. Lazowska, Henry M. Levy, and David B. Wagner.</span>
|
|
<span class=bib-title>An Open Environment for Building Parallel Programming Systems.</span>
|
|
<span class=bib-source>Symposium on Parallel Programming: Experience with Applications, Languages and Systems</span>
|
|
<span class=bib-pages>pages 1-9, </span>
|
|
New Haven, Connecticut (USA),
|
|
<span class=bib-date>July 1988.</span> ACM SIGPLAN.
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[6]</span>
|
|
<span class=bib-author>A. Black, N. Hutchinson, E. Jul, and H. Levy.</span>
|
|
<span class=bib-title>Object Structure in the Emerald System.</span>
|
|
<span class=bib-source>Proceedings of the First Annual Conference on Object-Oriented Programming, Systems, Languages, and Applications</span>
|
|
<span class=bib-pages>pages 78-86.</span>
|
|
ACM,
|
|
<span class=bib-date>September 1986.</span>
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[7]</span>
|
|
<span class=bib-author>D.L. Black.</span>
|
|
<span class=bib-title>Scheduling Support for Concurrency and Parallelism in the Mach Operating System.</span>
|
|
<span class=bib-source>IEEE Computer</span>
|
|
<span class=bib-pages>23(5):35-43,</span>
|
|
<span class=bib-date>May 1990.</span>
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[8]</span>
|
|
<span class=bib-author>Min-Ih Chen and Kwei-Jay Lin.</span>
|
|
<span class=bib-title>A Priority Ceiling Protocol for Multiple-Instance Resources.</span>
|
|
<span class=bib-source>IEEE Real-Time Systems Symposium</span>, San Antonio, TX,
|
|
<span class=bib-date>December 1991.</span>
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[9]</span>
|
|
<span class=bib-author>David Cheriton.</span>
|
|
<span class=bib-title>An Experiment Using Registers for Fast Message-Based Interprocess Communication.</span>
|
|
<span class=bib-source>ACM SIGOPS Operating Systems Review</span>
|
|
<span class=bib-pages>18(4):12-20,</span>
|
|
<span class=bib-date>October 1984.</span>
|
|
</div>
|
|
|
|
<div class=bib-entry>
|
|
<span class=bib-number>[10]</span>
|
|
<span class=bib-author>F. Christian.</span>
|
|
<span class=bib-title>Probabilistic Clock Synchronization.</span>
|
|
<span class=bib-source>Technical Report RJ6432 (62550) Computer Science</span>, IBM Almaden Research Center,
|
|
<span class=bib-date>September 1988.</span>
|
|
</div>
|
|
|
|
<div class=bib-book>
|
|
<span class=bib-number>[11]</span>
|
|
<span class=bib-author>H.M. Deitel.</span>
|
|
<span class=bib-title>An Introduction to Operating Systems.</span>
|
|
Addison-Wesley Publishing Company, second edition,
|
|
<span class=bib-date>1989.</span>
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[12]</span>
|
|
<span class=bib-author>Richard P. Draves, Brian N. Bershad, Richard F. Rashid, and Randall W. Dean.</span>
|
|
<span class=bib-title>Using Continuations to Implement Thread Management and Communication in Operating Systems.</span>
|
|
<span class=bib-source>Proceedings of the 13th ACM Symposium on Operating Systems Principles</span>
|
|
<span class=bib-pages>pages 122-136,</span>
|
|
Pacific Grove, CA,
|
|
<span class=bib-date>October 1991.</span> ACM.
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[13]</span>
|
|
<span class=bib-author>J. Feder.</span>
|
|
<span class=bib-title>The Evolution of <span class=smallcaps>Unix</span> System Performance.</span>
|
|
<span class=bib-source>AT&T Bell Laboratories Technical Journal</span>
|
|
<span class=bib-pages>63(8):1791-1814,</span>
|
|
<span class=bib-date>October 1984.</span>
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[14]</span>
|
|
<span class=bib-author>P.M. Herlihy.</span>
|
|
<span class=bib-title>Wait-Free Synchronization.</span>
|
|
<span class=bib-source>ACM Transactions on Programming Languages and Systems</span>
|
|
<span class=bib-pages>13(1),</span>
|
|
<span class=bib-date>January 1991.</span>
|
|
</div>
|
|
|
|
<div class=bib-entry>
|
|
<span class=bib-number>[15]</span>
|
|
<span class=bib-author>Neil D. Jones, Peter Sestoft, and Harald Sondergaard.</span>
|
|
<span class=bib-title>Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation.</span>
|
|
<span class=bib-source>Lisp and Symbolic Computation</span>
|
|
<span class=bib-pages>2(9-50):10,</span>
|
|
1989.
|
|
</div>
|
|
|
|
<div class=bib-entry>
|
|
<span class=bib-number>[16]</span>
|
|
<span class=bib-author>David Keppel, Susan J. Eggers, and Robert R. Henry.</span>
|
|
<span class=bib-title>A Case for Runtime Code Generation.</span>
|
|
<span class=bib-source>Technical Report UW CS&E 91-11-04</span>, University of Washington Department of Computer Science and Engineering,
|
|
<span class=bib-date>November 1991.</span>
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[17]</span>
|
|
<span class=bib-author>B.D. Marsh, M.L.Scott, T.J.LeBlanc, and E.P.Markatos.</span>
|
|
<span class=bib-title>First-Class User-Level Threads.</span>
|
|
<span class=bib-source>Proceedings of the 13th ACM Symposium on Operating Systems Principles</span>
|
|
<span class=bib-pages>pages 95-109,</span>
|
|
Pacific Grove, CA,
|
|
<span class=bib-date>October 1991.</span> ACM.
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[18]</span>
|
|
<span class=bib-author>H. Massalin and C. Pu.</span>
|
|
<span class=bib-title>Threads and Input/Output in the Synthesis Kernel.</span>
|
|
<span class=bib-source>Proceedings of the Twelfth Symposium on Operating Systems Principles</span>
|
|
<span class=bib-pages>pages 191-201,</span>
|
|
Arizona,
|
|
<span class=bib-date>December 1989.</span>
|
|
</div>
|
|
|
|
<div class=bib-entry>
|
|
<span class=bib-number>[19]</span>
|
|
<span class=bib-author>Henry Massalin.</span>
|
|
<span class=bib-title>A 68010 Multitasking Development System.</span>
|
|
Master's thesis, The Cooper Union for the Advancement of Science and Art, New York City,
|
|
<span class=bib-date>1984.</span>
|
|
</div>
|
|
|
|
<div class=bib-book>
|
|
<span class=bib-number>[20]</span>
|
|
<span class=bib-author>Motorola.</span>
|
|
<span class=bib-title>MC68881 and MC68882 Floating-Point Coprocessor User's Manual.</span>
|
|
Prentice Hall, Englewood Cliffs, NJ, 07632,
|
|
<span class=bib-date>1987.</span>
|
|
</div>
|
|
|
|
<div class=bib-book>
|
|
<span class=bib-number>[21]</span>
|
|
<span class=bib-author>Motorola.</span>
|
|
<span class=bib-title>MC68030 User's Manual.</span>
|
|
Prentice Hall, Englewood Cliffs, NJ, 07632,
|
|
<span class=bib-date>1989.</span>
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[22]</span>
|
|
<span class=bib-author>J. Ousterhout.</span>
|
|
<span class=bib-title>Why Aren't Operating Systems Getting Faster as Fast as Hardware.</span>
|
|
<span class=bib-source>USENIX Summer Conference</span>
|
|
<span class=bib-pages>pages 247-256,</span>
|
|
Anaheim, CA,
|
|
<span class=bib-date>June 1990.</span>
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[23]</span>
|
|
<span class=bib-author>Susan Owicki and Anant Agarwal.</span>
|
|
<span class=bib-title>Evaluating the Performance of Software Cache Coherence.</span>
|
|
<span class=bib-source>Proceedings of the 3rd Symposium on Programming Languages and Operating Systems</span>. ACM,
|
|
<span class=bib-date>1989.</span>
|
|
</div>
|
|
|
|
<div class=bib-entry>
|
|
<span class=bib-number>[24]</span>
|
|
<span class=bib-author>R. Pike, D. Presotto, K. Thompson, and H. Trickey.</span>
|
|
<span class=bib-title>Plan 9 from Bell Labs.</span>
|
|
<span class=bib-source>Technical Report CSTR # 158</span>, AT&T Bell Labs,
|
|
<span class=bib-date>1991.</span>
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[25]</span>
|
|
<span class=bib-author>C. Pu, H. Massalin, and J. Ioannidis.</span>
|
|
<span class=bib-title>The Synthesis Kernel.</span>
|
|
<span class=bib-source>Computing Systems</span>
|
|
<span class=bib-pages>1(1):11-32,</span>
|
|
<span class=bib-date>Winter 1988.</span>
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[26]</span>
|
|
<span class=bib-author>J.S. Quarterman, A. Silberschatz, and J.L. Peterson.</span>
|
|
<span class=bib-title>4.2BSD and 4.3BSD as Examples of the <span class=smallcaps>Unix</span> System.</span>
|
|
<span class=bib-source>ACM Computing Surveys</span>
|
|
<span class=bib-pages>17(4):379-418,</span>
|
|
<span class=bib-date>December 1985.</span>
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[27]</span>
|
|
<span class=bib-author>D. Ritchie.</span>
|
|
<span class=bib-title>A Stream Input-Output System.</span>
|
|
<span class=bib-source>AT&T Bell Laboratories Technical Journal</span>
|
|
<span class=bib-pages>63(8):1897-1910,</span>
|
|
<span class=bib-date>October 1984.</span>
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[28]</span>
|
|
<span class=bib-author>D.M. Ritchie and K. Thompson.</span>
|
|
<span class=bib-title>The <span class=smallcaps>Unix</span> Time-Sharing System.</span>
|
|
<span class=bib-source>Communications of ACM</span>
|
|
<span class=bib-pages>7(7):365-375,</span>
|
|
<span class=bib-date>July 1974.</span>
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[29]</span>
|
|
<span class=bib-author>J.A. Stankovic.</span>
|
|
<span class=bib-title>Misconceptions About Real-Time Computing: A Serious Problem for Next-Generation Systems.</span>
|
|
<span class=bib-source>IEEE Computer</span>
|
|
<span class=bib-pages>21(10):10-19,</span>
|
|
<span class=bib-date>October 1988.</span>
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[30]</span>
|
|
<span class=bib-author>M. Stonebraker.</span>
|
|
<span class=bib-title>Operating System Support for Database Management.</span>
|
|
<span class=bib-source>Communications of ACM</span>
|
|
<span class=bib-pages>24(7):412-418,</span>
|
|
<span class=bib-date>July 1981.</span>
|
|
</div>
|
|
|
|
<div class=bib-entry>
|
|
<span class=bib-number>[31]</span>
|
|
<span class=bib-author>Sun Microsystems Incorporated, 2550 Garcia Avenue, Mountain View, California 94043, 415-960-1300.</span>
|
|
<span class=bib-title>SunOS Reference Manual,
|
|
<span class=bib-date>May 1988.</span></span>
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[32]</span>
|
|
<span class=bib-author>Peter Wegner.</span>
|
|
<span class=bib-title>Dimensions of Object-Based Language Design.</span>
|
|
<span class=bib-source>Norman Meyrowitz, editor, Proceedings of the OOPSLA'87 conference</span>
|
|
<span class=bib-pages>pages 168-182,</span>
|
|
Orlando FL (USA),
|
|
<span class=bib-date>1987.</span> ACM.
|
|
</div>
|
|
|
|
<div class=bib-conference>
|
|
<span class=bib-number>[33]</span>
|
|
<span class=bib-author>Mark Weiser, Alan Demers, and Carl Hauser.</span>
|
|
<span class=bib-title>The Portable Common Runtime Approach to Interoperability.</span>
|
|
<span class=bib-source>Proceedings of the 12th ACM Symposium on Operating Systems Principles</span>
|
|
<span class=bib-pages>pages 114-122,</span>
|
|
Litchfield Park AZ (USA),
|
|
<span class=bib-date>December 1989.</span> ACM.
|
|
</div>
|
|
|
|
<div class=bib-journal>
|
|
<span class=bib-number>[34]</span>
|
|
<span class=bib-author>W.A. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack.</span>
|
|
<span class=bib-title>Hydra: The Kernel of a Multiprocessing Operating System.</span>
|
|
<span class=bib-source>Communications of ACM</span>
|
|
<span class=bib-pages>17(6):337-345,</span>
|
|
<span class=bib-date>June 1974.</span>
|
|
</div>
|
|
|
|
|
|
</div>
|
|
|
|
</body>
|
|
</html>
|