Academia.eduAcademia.edu

Outline

K42: lessons for the OS community

2008, Operating Systems Review

https://doi.org/10.1145/1341312.1341316

Abstract

Foreword experience with at least six different previous operating systems of the merit of technologies investigated in K42, and an extrapolation of the implications of that experience to the wider operating system community.

References (28)

  1. REFERENCES
  2. G. Ammons, J. Appavoo, M. Butrico, D. D. Silva, D. Grove, K. Kawachiya, O. Krieger, B. Rosenburg, E. V. Hensbergen, and R. W. Wisniewski. Libra: A library operating system for a jvm in a virtualized execution environment. In VEE (Virtual Execution Environments), San Diego CA, June 13-15 2007.
  3. J. Appavoo, M. Auslander, M. Butrico, D. da Silva, O. Krieger, M. Mergen, M. Ostrowski, B. Rosenburg, R. W. Wisniewski, and J. Xenidis. K42: an open-source linux-compatible scalable operating system kernel. IBM Systems Journal, 44(2):427-440, 2005.
  4. J. Appavoo, K. Hui, M. Stumm, R. Wisniewski, D. da Silva, O. Krieger, and C. Soules. An infrastructure for multiprocessor run-time adaptation. In WOSS -Workshop on Self-Healing Systems, pages 3-8, 2002.
  5. J. Appavoo, D. D. Silva, O. Krieger, M. Auslander, M. Ostrowski, B. Rosenburg, A. Waterland, R. W. Wisniewski, J. Xenidis, M. Stumm, and L. Soares. Experience distributing objects in an smmp os. ACM Trans. Comput. Syst., 25(3):6, 2007.
  6. A. Baumann, J. Appavoo, D. da Silva, O. Krieger, and R. W. Wisniewski. Improving operating system availability with dynamic update. In Workshop of Operating System and Architectural Support for the On-demand IT Infrastructure (OASIS), pages 21-27, Boston Massachusetts, October 9 2004.
  7. A. Baumann, J. Appavoo, D. D. Silva, J. Kerr, O. Krieger, and R. W. Wisniewski. Providing dynamic update in an operating system. In USENIX Technical Conference, pages 279-291, Anaheim, CA, April 2005.
  8. A. Baumann, J. Appavoo, R. W. Wisniewski, D. D. Silva, O. Krieger, and G. Heiser. Reboots are for hardware: Challenges and solutions to updating an operating system on the fly. In USENIX Technical Conference, Santa Clara, CA, June 2007.
  9. A. Baumann, J. Kerr, J. Appavoo, D. D. Silva, O. Krieger, and R. W. Wisniewski. Module hot-swapping for dynamic update and reconfiguration in K42. In Proc. of 6th Linux.conf.au (LCA), Canberra, April 2005.
  10. B. N. Bershad, S. Savage, P. Pardyn, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. Eggers. Extensibility, safety and performance in the SPIN operating system. In ACM Symposium on Operating System Principles, 3-6 December 1995.
  11. D. L. Black. Scheduling support for concurrency and parallelism in the Mach operating system. IEEE Computer, 23(5):35-43, May 1990.
  12. M. Butrico, D. D. Silva, O. Krieger, , M. Ostrowski, B. Rosenburg, D. Tsafrir, E. V. Hensbergen, R. W. Wisniewski, and J. Xenidis.
  13. C. Caşcaval, E. Duesterwald, P. F. Sweeney, and R. W. Wisniewski. Multiple page size modeling and optimization. In Proceedings of the Fourteenth International Conference on Parallel Architectures and Compilation Techniques (PACT'05)). IEEE Computer Society Press, September 2005.
  14. P. Efstathopoulos, M. Krohn, S. VanDeBogart, C. Frey, D. Ziegler, E. Kohler, D. Mazieres, F. Kaashoek, and R. Morris. Labels and event processes in the asbestos operating system. In SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principles, pages 17-30, New York, NY, USA, 2005. ACM Press.
  15. D. R. Engler, M. F. Kaashoek, and J. O'Toole Jr. Exokernel: an operating system architecture for application-level resource management. In ACM Symposium on Operating System Principles, pages 251-266, 3-6 December 1995.
  16. B. Ford, G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers. The Flux OSKit: a substrate for kernel and language research. In SOSP '97: Proceedings of the sixteenth ACM symposium on Operating systems principles, pages 38-51, New York, NY, USA, 1997. ACM Press.
  17. J. Hennessy. The future of systems research. Computer, 32(8):27-33, August 1999.
  18. G. C. Hunt, J. R. Larus, D. Tarditi, and T. Wobber. Broad new OS research: Challenges and opportunities. In Proc. of the 10th Workshop on Hot Topics in Operating Systems, Santa Fe, NM, June 2005. USENIX.
  19. The K42 operating system, http://www.research.ibm.com/k42/.
  20. O. Krieger, M. Auslander, B. Rosenburg, R. W. Wisniewski, J. Xenidis, D. D. Silva, M. Ostrowski, J. Appavoo, M. Butrico, M. Mergen, A. Waterland, and V. Uhlig. K42: Building a real operating system. In Proceedings of EuroSys'2006, pages 133-145. ACM SIGOPS, April 2006.
  21. D. Milojicic. Operating systems -now and in the future. IEEE Concurrency, pages 12-21, Jan-March 1999.
  22. J. Mogul. Operating systems should support business change. In Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS), Santa Fe, NM, June 2005. USENIX.
  23. R. Pike. System software research is irrelevant. http://herpolhode.com/rob/utah2000.pdf, February 2001.
  24. M. Seltzer, Y. Endo, C. Small, and K. A. Smith. An introduction to the architecture of the VINO kernel. Technical report, Harvard University, 1994.
  25. L. Soares, O. Krieger, and D. D. Silva. Meta-data snapshotting: A simple mechanism for file system consistency. In SNAPI'03 (International Workshop on Storage Network Architecture and Parallel I/O), pages 41-52, 2003.
  26. C. A. N. Soules, J. Appavoo, K. Hui, R. W. Wisniewski, D. da Silva, G. R. Ganger, O. Krieger, M. Stumm, M. Auslander, M. Ostrowski, B. Rosenburg, and J. Xenidis. System support for online reconfiguration. In USENIX Technical Conference, pages 141-154, San Antonio, TX, June 9-14 2003.
  27. R. W. Wisniewski and B. Rosenburg. Efficient, unified, and scalable performance monitoring for multiprocessor operating systems. In Supercomputing, Phoenix Arizona, November 17-21 2003.
  28. R. W. Wisniewski, P. F. Sweeney, K. Sudeep, M. Hauswirth, E. Duesterwald, C. Caşcaval, and R. Azimi. Performance and environment monitoring for whole-system characterization and optimization. In PAC2 -Power Performance equals Architecture x Circuits x Compilers, pages 15-24, Yorktown Heights, NY, October 6-8 2004.