Exokernel | Proceedings of the fifteenth ACM symposium on Operating systems principles (original) (raw)

Exokernel: an operating system architecture for application-level resource management

Authors Info & Claims

Published: 03 December 1995 Publication History

First page of PDF

References

[1]

M. B. Abbot and L. L. Peterson. Increasing network throughput by integrating protocol layers. 1EEE/ACM Transactions on Networking, 1 (5):600--610, October 1993.]]

[2]

M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: a new kernel foundation for UNiX development, in Proceedings of the Summer 1986 USENIX Conference, pages 93-112, July 1986.]]

[3]

TE. Anderson. The case for application-specific operating systems. In Third Workshop on Workstation Operating Systems, pages 92-94, 1992.]]

[4]

T.E. Anderson, B.N. Bershad, E.D. Lazowska, and H.M. Levy. Scheduler activations: Effective kernel support for the userlevel management of parallelism. In Proceedings of the Thirteenth ACM Symposium on Operating Systems Principles, pages 95-109, October 1991.]]

[5]

A.W. Appel and K. Li. Virtual memory primitives for user programs. In Fourth International Conference on Architecture Support for Programming Languages and Operating Systems, pages 96-- 107, Santa Clara, CA, April 1991.]]

[6]

M. L. Bailey, B. Gopal, M. A. Pagels, L. L. Peterson, and P. Sarkar. PATHFINDER: A pattern-based packet classifier. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 115-123, November 1994.]]

[7]

K. Bala, M.F. Kaashoek, and W.E. Weihl. Software prefetching and caching for translation lookaside buffers. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 243-253, November 1994.]]

[8]

B. N. Bershad, T. E. Anderson, E. D. Lazowska, and H. M. Levy. Lightweight remote procedure call. ACM Transactions on Computer Systems, 8(1):37-55, February 1990.]]

[9]

B.N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. Fiuczynski, D. Becket, S. Eggers, and C. Chambers. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, December 1995.]]

[10]

P. Cao, E. W. Felten, and K. Li. Implementation and performance of application-controlled file caching. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 165-178, November 1994.]]

[11]

J. S. Chase, H. M. Levy, M. J. Feeley, and E. D. Lazowska. Sharing and protection in a single-address-space operating system. ACM Transactions on Computer Systems, 12(4):271- 308, November 1994.]]

[12]

D. L. Chaum and R. S. Fabry. Implementing capability-based protection using encryption. Technical Report UCB/ERL M78/46, University of Califomia at Berkeley, July 1978.]]

[13]

D. Cheriton and K. Duda. A caching model of operating system kernel functionality. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages 179-193, November 1994.]]

[14]

D. R. Cheriton. An experiment using registers for fast message-based interprocess communication. Operating Systems Review, 18:12-20, October 1984.]]

[15]

D. R. Cheriton. The V kernel: A software base for distributed systems. IEEE Software, 1 (2): 19-42, April 1984.]]

[16]

D. D. Clark and D. L. Tennenhouse. Architectural considerations for a new generation of protocols. In ACM Communication Architectures, Protocols, and Applications (SIGCOMM) 1990, September 1990.]]

[17]

R. J. Creasy. The origin of the VM/370 time-sharing system. IBM J. Research and Development, 25(5):483-490, September 1981.]]

[18]

P. Deutsch and C. A. Grant. A flexible measurement tool for software systems, information Processing 71, 1971.]]

[19]

P. Druschel, L. L. Peterson, and B. S. Davie. Experiences with a high-speed network adaptor: A software perspective. In A CM Communication Architectures, Protocols, and Applications (SIGCOMM) 1994, pages 2-13, October 1994.]]

[20]

D. R. Engler. VCODE: a very fast, retargetable, and extensible dynamic code generation substrate. Technical Memorandum MiT/LCS/TM534, MIT, July 1995.]]

[21]

D. R. Engler, M. E Kaashoek, and J. O'Toole. The operating system kernel as a secure programmable machine, in Proceedings of the Sixth SIGOPS European Workshop, pages 62-67, September 1994.]]

[22]

D.R. Engler, D. Wallach, and M. E Kaashoek. Efficient, safe, application-specific message processing. Technical Memorandum MIT/LCS/TM533, MIT, March 1995.]]

[23]

R. P. Goldberg. Survey of virtual machine research. IEEE Computer, pages 34-45, June 1974.]]

[24]

P. Brinch Hansen. The nucleus ofa multiprogramming system. Communications of the ACM, 13(4):238-241, April 1970.]]

[25]

J.H. Hartman, A.B. Montz, D. Mosberger, S.W. O'Malley, L.L. Peterson, and T.A. Proebsting. Scout: A communicationoriented operating system. Technical Report TR 94-20, University of Arizona, Tucson, AZ, June 1994.]]

[26]

K. Harty and D.R. Cheriton. Application-controlled physical memory using external page-cache management. In Fifth International Conference on Architecture Support for Programming Languages and Operating Systems, pages 187-199, October 1992.]]

[27]

W.C. Hsieh, M.E Kaashoek, and W.E. Weihl. The persistent relevance of IPC performance: New techniques for reducing the IPC penalty. In Fourth Workshop on Workstation Operating Systems, pages 186-190, October 1993.]]

[28]

J. Huck and J. Hays. Architectural support for translation table management in large address space machines. In Proceedings of the 19th International Symposium on Computer Architecture, pages 39-5 i, May 1992.]]

[29]

R. E. Kessler and M. D. Hill. Page placement algorithms for large real-index caches. A CM Transactions on Computer Systems, 10(4):338-359, November 1992.]]

[30]

K. Krueger, D. Loftesness, A. Vahdat, and T Anderson. Tools for development of application-specific virtual memory management. In Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) 1993, pages 48-64, October 1993.]]

[31]

B.W. Lampson. On reliable and extendable operating systems. State of the Art Report, lnfotech, 1, 1971.]]

[32]

B.W. Lampson and R.F. SprouU. An open operating system for a single-user machine. Proceedings of the Seventh ACM Symposium on Operating Systems Principles, pages 98-105, December 1979.]]

[33]

J. Liedtke. Improving IPC by kernel design, in Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 175-188, December 1993.]]

[34]

J. Liedtke. On micro-kernel construction. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, December 1995.]]

[35]

K. Mackenzie, J. Kubiatowicz, A. Agarwal, and M. F. Kaashoek. FUGU: Implementing translation and protection in a multiuser, multimodel multiprocessor. Technical Memorandum MIT/LCS/TM503, MIT, October 1994.]]

[36]

H. Massalin and C. Pu. Threads and input/output in the Synthesis kernel. In Proceedings of the Twelfth ACM Symposium on Operating Systems Principles, pages 191-201, 1989.]]

[37]

J.C. Mogul, R.F. Rashid, and M.J. Accetta. The packet illter: An efficient mechanism for user-level network code. In Proceedings of the Eleventh ACM Symposium on Operating Systems Principles, pages 39-5 I, November 1987.]]

[38]

D. Nagle, R. Uhlig, T Stanley, S. Sechrest, T Mudge, and R. Brown. Design tradeoffs for software-managed TLBs. In 20th Annual International Symposium on Computer Architecture, pages 27-38, May 1993.]]

[39]

J. K. Ousterhout. Why aren't operating systems getting faster as fast as hardware? In Proceedings of the Summer 1990 USENIX Conference, pages 247-256, June 1990.]]

[40]

G. J. Popek and C. S. Kline. The PDP-11 virtual machine architecture. In Proceedings of the Fifth ACM Symposium on Operating Systems Principles, pages 97-105, November 1975.]]

[41]

D. Probert, J.L. Bruno, and M. Karzaorman. SPACE: A new approach to operating system abstraction. In International Workshop on Object Orientation in Operating Systems, pages 133-137, October 1991.]]

[42]

D.D. Redell, Y.K. Dalal, TR. Horsley, H.C. Lauer, W.C. Lynch, P.R. McJones, H.G. Murray, and S.C. Purcell. Pilot: An operating system for a personal computer. Communications of the ACM, 23(2):81-92, February 1980.]]

[43]

M. Rozier, V. Abrossimov, E Armand, I. Boule, M. Glen, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Leonard, and W. Neuhauser. Chorus distributed operating system. Computing Systems, 1 (4):305-370, 1988.]]

[44]

J.H. Saltzer, D.P. Reed, and D.D. Clark. End-to-end arguments in system design. ACM Transactions on Computer Systems, 2(4):277-288, November 1984.]]

[45]

R. L. Sites. Alpha AXP architecture. Communications of the ACM, 36(2), February 1993.]]

[46]

C. Small and M. Seltzer. Vino: an integrated platform for operating systems and database research. Technical Report TR-30-94, Harvard, 1994.]]

[47]

M. Stonebraken Operating system support for database management. Communications of the ACM, 24(7):412--418, July 1981.]]

[48]

A.S. Tanenbaum, R. van Renesse, H. van Staveren, G. Sharp, S.J. Mullender, A. Jansen, and G. van Rossum. Experiences with the Amoeba distributed operating system. Communications of the ACM, 33(12):46-63, December 1990.]]

[49]

C. A. Thekkath and H. M. Levy. Limits to low-latency communication on high-speed networks, A CM Transactions on Computer Systems, 11 (2): 179-203, May 1993.]]

[50]

C. A. Thekkath and H. M. Levy. Hardware and software support for efficient exception handling. In Sixth International Conference on Architecture Support for Programming Languages and Operating Systems, pages 110-121, October 1994.]]

[51]

T yon Eicken, D.E. Culler, S.C. Goldstein, and K.E. Schauser. Active messages: a mechanism for integrated communication and computation. In Proceedings of the 19th International Symposium on Computer Architecture, pages 256-267, May 1992.]]

[52]

R. Wahbe, S. Lucco, T Anderson, and S. Graham. Efficient software-based fault isolation. In Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 203-216, December 1993.]]

[53]

C.A. Waldspurger and W. E. Weihl. Lottery scheduling: Flexible proportional-share resource management. In Proceedings of the First Symposium on Operating Systems Design and Implementation, pages i-11, November 1994.]]

[54]

C. A. Waldspurger and W. E. Weihl. Stride scheduling: deterministic proportional-share resource management. Technical Memorandum MIT/LCS/TM528, MIT, June 1995.]]

[55]

W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. HYDRA: The kernel of a multiprocessing operating system. Communications of the ACM, 17(6):337- 345, July 1974.]]

[56]

M. Yahara, B. Bershad, C. Maeda, and E. Moss. Efficient packet demultiplexing for multiple endpoints and large messages. In Proceedings of the Winter 1994 USENiX Conference, 1994.]]

Information & Contributors

Information

Published In

cover image ACM Conferences

SOSP '95: Proceedings of the fifteenth ACM symposium on Operating systems principles

December 1995

332 pages

Copyright © 1995 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 December 1995

Permissions

Request permissions for this article.

Check for updates

Qualifiers

Conference

Acceptance Rates

Overall Acceptance Rate 174 of 961 submissions, 18%

Upcoming Conference

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

Reflects downloads up to 16 Nov 2024

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

Media

Figures

Other

Tables

Affiliations

D. R. Engler

M.I.T. Laboratory for Computer Science, Cambridge, MA

M. F. Kaashoek

M.I.T. Laboratory for Computer Science, Cambridge, MA

J. O'Toole, Jr.

M.I.T. Laboratory for Computer Science, Cambridge, MA