D. R. Engler
M. F. Kaashoek
- 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.]] Google Scholar
Digital Library
- 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.]]Google Scholar
- 3.TE. Anderson. The case for application-specific operating systems. In Third Workshop on Workstation Operating Systems, pages 92-94, 1992.]]Google ScholarCross Ref
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- 14.D. R. Cheriton. An experiment using registers for fast message-based interprocess communication. Operating Systems Review, 18:12-20, October 1984.]] Google ScholarDigital Library
- 15.D. R. Cheriton. The V kernel: A software base for distributed systems. IEEE Software, 1 (2): 19-42, April 1984.]]Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 17.R. J. Creasy. The origin of the VM/370 time-sharing system. IBM J. Research and Development, 25(5):483-490, September 1981.]]Google ScholarDigital Library
- 18.P. Deutsch and C. A. Grant. A flexible measurement tool for software systems, information Processing 71, 1971.]]Google Scholar
- 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.]] Google ScholarDigital Library
- 20.D. R. Engler. VCODE: a very fast, retargetable, and extensible dynamic code generation substrate. Technical Memorandum MiT/LCS/TM534, MIT, July 1995.]]Google Scholar
- 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.]] Google ScholarDigital Library
- 22.D.R. Engler, D. Wallach, and M. E Kaashoek. Efficient, safe, application-specific message processing. Technical Memorandum MIT/LCS/TM533, MIT, March 1995.]]Google Scholar
- 23.R. P. Goldberg. Survey of virtual machine research. IEEE Computer, pages 34-45, June 1974.]]Google ScholarDigital Library
- 24.P. Brinch Hansen. The nucleus ofa multiprogramming system. Communications of the ACM, 13(4):238-241, April 1970.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- 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.]]Google ScholarCross Ref
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 31.B.W. Lampson. On reliable and extendable operating systems. State of the Art Report, lnfotech, 1, 1971.]]Google Scholar
- 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.]] Google ScholarDigital Library
- 33.J. Liedtke. Improving IPC by kernel design, in Proceedings of the Fourteenth ACM Symposium on Operating Systems Principles, pages 175-188, December 1993.]] Google ScholarDigital Library
- 34.J. Liedtke. On micro-kernel construction. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, December 1995.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- 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.]]Google ScholarCross Ref
- 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.]] Google ScholarDigital Library
- 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.]]Google Scholar
- 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.]] Google ScholarDigital Library
- 45.R. L. Sites. Alpha AXP architecture. Communications of the ACM, 36(2), February 1993.]] Google ScholarDigital Library
- 46.C. Small and M. Seltzer. Vino: an integrated platform for operating systems and database research. Technical Report TR-30-94, Harvard, 1994.]]Google Scholar
- 47.M. Stonebraken Operating system support for database management. Communications of the ACM, 24(7):412--418, July 1981.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 54.C. A. Waldspurger and W. E. Weihl. Stride scheduling: deterministic proportional-share resource management. Technical Memorandum MIT/LCS/TM528, MIT, June 1995.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
- 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.]] Google ScholarDigital Library
Index Terms
- Exokernel: an operating system architecture for application-level resource management
Recommendations
Porting multithreading libraries to an exokernel system
EW 9: Proceedings of the 9th workshop on ACM SIGOPS European workshop: beyond the PC: new challenges for the operating systemIn this paper, we present an extension to allow multithreaded applications to run on an Intel-based exokernel system. For this purpose, we have ported a user-level threads package to such environment. Our goal is to evaluate the suitability of running ...
Comments