{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:51Z","timestamp":1750307991710,"version":"3.41.0"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2006,4,1]],"date-time":"2006-04-01T00:00:00Z","timestamp":1143849600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2006,4]]},"abstract":"<jats:p>K42 is an open-source scalable research operating system well suited to support systems research. The primary goals of K42's design that support such research include flexibility to allow a multitude of policies and implementations to be supported simultaneously, extensibility to allow new policies and implementations to be readily added, and scalability to enable good performance for both small and large applications on both small and large multiprocessor systems. The goals are accomplished via key features including an object-oriented structure that allows specialized resource management implementations and policies on a per-resource, per-application basis, implementation in user-level servers of much of the system functionality, and a sophisticated set of underlying services that provides a programming model for developing system software in a scalable and modular fashion.These characteristics make K42 an attractive framework for prototyping new operating system ideas. In addition, K42 has a sophisticated performance monitoring infrastructure allowing a thorough understanding of new ideas to be gained. The above framework combined with a consistent emphasis on scalability makes K42 well suited for high-end computing initiatives. In this paper, we describe the structure of K42 which contributes to the advantageous prototyping environment, and demonstrate how to utilize it by describing ongoing research efforts.<\/jats:p>","DOI":"10.1145\/1131322.1131333","type":"journal-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T17:00:26Z","timestamp":1153760426000},"page":"34-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["K42"],"prefix":"10.1145","volume":"40","author":[{"given":"Dilma Da","family":"Silva","sequence":"first","affiliation":[{"name":"IBM TJ Watson Research Center, Yorktown Heights, New York"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orran","family":"Krieger","sequence":"additional","affiliation":[{"name":"IBM TJ Watson Research Center, Yorktown Heights, New York"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert W.","family":"Wisniewski","sequence":"additional","affiliation":[{"name":"IBM TJ Watson Research Center, Yorktown Heights, New York"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amos","family":"Waterland","sequence":"additional","affiliation":[{"name":"IBM TJ Watson Research Center, Yorktown Heights, New York"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Tam","sequence":"additional","affiliation":[{"name":"University of Toronto, Toronto, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Baumann","sequence":"additional","affiliation":[{"name":"University of South Wales &amp; National ICT Australia, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,4]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Linux VServer Project. http:\/\/linux-vserver.org\/.]]  Linux VServer Project. http:\/\/linux-vserver.org\/.]]"},{"key":"e_1_2_1_2_1","volume-title":"July","author":"Report","year":"2003","unstructured":"Report from the 4th FAST-OS (forum to address scalable technologies for runtime and operating systems) workshop. http:\/\/www.cs.unm.edu\/ fastos\/03workshop\/report.pdf , July 2003 .]] Report from the 4th FAST-OS (forum to address scalable technologies for runtime and operating systems) workshop. http:\/\/www.cs.unm.edu\/ fastos\/03workshop\/report.pdf, July 2003.]]"},{"key":"e_1_2_1_3_1","volume-title":"Inc.","author":"Allen Eric","year":"2005","unstructured":"Eric Allen , David Chase , Victor Luschangco , Jan-Willem Maessen , Sukyoung Ryu , Guy L. Steele Jr ., and Sam Tobin-Hochstadt . The Fortress language specification (version 0.785). Sun Microsystems , Inc. , November 2005 .]] Eric Allen, David Chase, Victor Luschangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr., and Sam Tobin-Hochstadt. The Fortress language specification (version 0.785). Sun Microsystems, Inc., November 2005.]]"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/146941.146944"},{"key":"e_1_2_1_5_1","first-page":"323","volume-title":"USENIX Technical Conference","author":"Appavoo Jonathan","year":"2003","unstructured":"Jonathan Appavoo , Marc Auslander , David Edelsohn , Dilma da Silva , Orran Krieger , Michal Ostrowski , Bryan Rosenburg , Robert W. Wisniewski , and Jimi Xenidis . Providing a Linux API on the scalable K42 kernel. In Freenix track , USENIX Technical Conference , pages 323 -- 336 , San Antonio, TX, June 9--14 2003 .]] Jonathan Appavoo, Marc Auslander, David Edelsohn, Dilma da Silva, Orran Krieger, Michal Ostrowski, Bryan Rosenburg, Robert W. Wisniewski, and Jimi Xenidis. Providing a Linux API on the scalable K42 kernel. In Freenix track, USENIX Technical Conference, pages 323--336, San Antonio, TX, June 9--14 2003.]]"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/582128.582130"},{"key":"e_1_2_1_7_1","first-page":"45","volume-title":"OSDI'99: Proceedings of the Third Symposium on Operating Systems Design and Implementation","author":"Banga Gaurav","year":"1999","unstructured":"Gaurav Banga , Peter Druschel , and Jeffrey C. Mogul . Resource containers: a new facility for resource management in server systems . In OSDI'99: Proceedings of the Third Symposium on Operating Systems Design and Implementation , pages 45 -- 58 , Berkeley, CA, USA , 1999 . USENIX Association.]] Gaurav Banga, Peter Druschel, and Jeffrey C. Mogul. Resource containers: a new facility for resource management in server systems. In OSDI'99: Proceedings of the Third Symposium on Operating Systems Design and Implementation, pages 45--58, Berkeley, CA, USA, 1999. USENIX Association.]]"},{"key":"e_1_2_1_8_1","first-page":"21","volume-title":"Workshop of Operating System and Architectural Support for the On-demand IT Infrastructure (OASIS)","author":"Baumann Andrew","year":"2004","unstructured":"Andrew Baumann , Jonathan Appavoo , Dilma da Silva , Orran Krieger , and Robert 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 2004.]] Andrew Baumann, Jonathan Appavoo, Dilma da Silva, Orran Krieger, and Robert 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 2004.]]"},{"key":"e_1_2_1_9_1","first-page":"279","volume-title":"USENIX Technical Conference","author":"Baumann Andrew","year":"2005","unstructured":"Andrew Baumann , Jonathan Appavoo , Dilma Da Silva , Jeremy Kerr , Orran Krieger , and Robert W. Wisniewski . Providing dynamic update in an operating system . In USENIX Technical Conference , pages 279 -- 291 , Anaheim, CA , April 2005 .]] Andrew Baumann, Jonathan Appavoo, Dilma Da Silva, Jeremy Kerr, Orran Krieger, and Robert W. Wisniewski. Providing dynamic update in an operating system. In USENIX Technical Conference, pages 279--291, Anaheim, CA, April 2005.]]"},{"key":"e_1_2_1_10_1","volume-title":"Proc. of 6th Linux.conf.au (LCA)","author":"Baumann Andrew","year":"2005","unstructured":"Andrew Baumann , Jeremy Kerr , Jonathan Appavoo , Dilma Da Silva , Orran Krieger , and Robert W. Wisniewski . Module hot-swapping for dynamic update and reconfiguration in K42 . In Proc. of 6th Linux.conf.au (LCA) , Canberra , April 2005 .]] Andrew Baumann, Jeremy Kerr, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, and Robert W. Wisniewski. Module hot-swapping for dynamic update and reconfiguration in K42. In Proc. of 6th Linux.conf.au (LCA), Canberra, April 2005.]]"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1054907.1054910"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/377769.377774"},{"key":"e_1_2_1_14_1","volume-title":"Ottawa Linux Symposium. Linux Symposium","author":"Bryant Ray","year":"2004","unstructured":"Ray Bryant , John Hawkes , and Jack Steiner . Scaling Linux to the extreme: from 64 to 512 processors . In Ottawa Linux Symposium. Linux Symposium , 2004 .]] Ray Bryant, John Hawkes, and Jack Steiner. Scaling Linux to the extreme: from 64 to 512 processors. In Ottawa Linux Symposium. Linux Symposium, 2004.]]"},{"key":"e_1_2_1_15_1","volume-title":"AHPCRC DARPA Parallel Global Address Space (PGAS) Programming Models Conference","author":"Chamberlain Brad","year":"2005","unstructured":"Brad Chamberlain . An introduction to Chapel: Cray Cascade's High Productivity Language . In AHPCRC DARPA Parallel Global Address Space (PGAS) Programming Models Conference , Minneapolis, MN , September 2005 .]] Brad Chamberlain. An introduction to Chapel: Cray Cascade's High Productivity Language. In AHPCRC DARPA Parallel Global Address Space (PGAS) Programming Models Conference, Minneapolis, MN, September 2005.]]"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094852"},{"key":"e_1_2_1_17_1","volume-title":"Proc. of the Brazilian Workshop in Operating Systems","author":"da Silva Dilma","year":"2004","unstructured":"Dilma da Silva , Livio Soares , and Orran Krieger . KFS : Exploring flexilibity in file system design . In Proc. of the Brazilian Workshop in Operating Systems , Salvador, Brazil , August 2004 .]] Dilma da Silva, Livio Soares, and Orran Krieger. KFS: Exploring flexilibity in file system design. In Proc. of the Brazilian Workshop in Operating Systems, Salvador, Brazil, August 2004.]]"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2002.1016572"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224076"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS)","author":"Fiuczynski Marc E.","year":"2005","unstructured":"Marc E. Fiuczynski , Robert Grimm , Yvonne Coady , and David Walker . Patch (1) considered harmful. In Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS) , Santa Fe, NM , June 2005 . USENIX.]] Marc E. Fiuczynski, Robert Grimm, Yvonne Coady, and David Walker. Patch (1) considered harmful. In Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS), Santa Fe, NM, June 2005. USENIX.]]"},{"key":"e_1_2_1_21_1","first-page":"87","volume-title":"Symposium on Operating Systems Design and Implementation","author":"Gamsa Ben","year":"1999","unstructured":"Ben Gamsa , Orran Krieger , Jonathan Appavoo , and Michael Stumm . Tornado : maximizing locality and concurrency in a shared memory multiprocessor operating system . In Symposium on Operating Systems Design and Implementation , pages 87 -- 100 , February 22 --25 1999 .]] Ben Gamsa, Orran Krieger, Jonathan Appavoo, and Michael Stumm. Tornado: maximizing locality and concurrency in a shared memory multiprocessor operating system. In Symposium on Operating Systems Design and Implementation, pages 87--100, February 22--25 1999.]]"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/505452.505455"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/258612.258681"},{"key":"e_1_2_1_25_1","first-page":"119","volume-title":"Symposium on Operating Systems Design and Implementation","author":"Kim Jong Min","year":"2000","unstructured":"Jong Min Kim , Jongmoo Choi , Jesung Kim , Sam H. Noh , Sang Lyul Min , Yookun Cho , and Chong Sang Kim . A low-overhead high-performance unified buffer management scheme that exploits sequential and looping references . In Symposium on Operating Systems Design and Implementation , pages 119 -- 134 . USENIX Association, 23- -25 October 2000 .]] Jong Min Kim, Jongmoo Choi, Jesung Kim, Sam H. Noh, Sang Lyul Min, Yookun Cho, and Chong Sang Kim. A low-overhead high-performance unified buffer management scheme that exploits sequential and looping references. In Symposium on Operating Systems Design and Implementation, pages 119--134. USENIX Association, 23--25 October 2000.]]"},{"key":"e_1_2_1_26_1","first-page":"238","volume-title":"Proceedings of 1986 Summer USENIX Annual Technical Conference","author":"Kleiman Steve R.","year":"1986","unstructured":"Steve R. Kleiman . Vnodes : An architecture for multiple file system types in Sun UNIX . In Proceedings of 1986 Summer USENIX Annual Technical Conference , pages 238 -- 247 , Atlanta, GA, USA , 1986 .]] Steve R. Kleiman. Vnodes: An architecture for multiple file system types in Sun UNIX. In Proceedings of 1986 Summer USENIX Annual Technical Conference, pages 238--247, Atlanta, GA, USA, 1986.]]"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217949"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/263326.263356"},{"key":"e_1_2_1_29_1","first-page":"338","volume-title":"Proceedings of the Ottawa Linux Symposium (OLS)","author":"McKenney Paul E.","year":"2002","unstructured":"Paul E. McKenney , Dipankar Sarma , Andrea Arcangeli , Andi Kleen , Orran Krieger , and Rusty Russell . Read copy update . In Proceedings of the Ottawa Linux Symposium (OLS) , pages 338 -- 367 , 26--29 June 2002 .]] Paul E. McKenney, Dipankar Sarma, Andrea Arcangeli, Andi Kleen, Orran Krieger, and Rusty Russell. Read copy update. In Proceedings of the Ottawa Linux Symposium (OLS), pages 338--367, 26--29 June 2002.]]"},{"key":"e_1_2_1_30_1","first-page":"103","volume-title":"Symposium on Operating Systems Design and Implementation","author":"Meter Rodney Van","year":"2000","unstructured":"Rodney Van Meter and Minxi Gao . Latency management in storage systems . In Symposium on Operating Systems Design and Implementation , pages 103 -- 117 . USENIX Association, 23- -25 October 2000 .]] Rodney Van Meter and Minxi Gao. Latency management in storage systems. In Symposium on Operating Systems Design and Implementation, pages 103--117. USENIX Association, 23--25 October 2000.]]"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 10th Workshop on Hot Topics in Operating Systems (HotOS)","author":"Mogul Jeff","year":"2005","unstructured":"Jeff 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.]] Jeff 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.]]"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/248155.238771"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224080"},{"key":"e_1_2_1_34_1","unstructured":"ReiserFS home page April 2002. http:\/\/www.namesys.com.]]  ReiserFS home page April 2002. http:\/\/www.namesys.com.]]"},{"key":"e_1_2_1_35_1","volume-title":"An introduction to the architecture of the VINO kernel. Technical report","author":"Seltzer Margo","year":"1994","unstructured":"Margo Seltzer , Yasuhiro Endo , Christopher Small , and Keith A. Smith . An introduction to the architecture of the VINO kernel. Technical report , Harvard University , 1994 .]] Margo Seltzer, Yasuhiro Endo, Christopher Small, and Keith A. Smith. An introduction to the architecture of the VINO kernel. Technical report, Harvard University, 1994.]]"},{"key":"e_1_2_1_36_1","first-page":"141","volume-title":"USENIX Technical Conference","author":"Soules Craig A. N.","year":"2003","unstructured":"Craig A. N. Soules , Jonathan Appavoo , Kevin Hui , Robert W. Wisniewski , Dilma da Silva , Gregory R. Ganger , Orran Krieger , Michael Stumm , Marc Auslander , Michal Ostrowski , Bryan Rosenburg , and Jimi Xenidis . System support for online reconfiguration . In USENIX Technical Conference , pages 141 -- 154 , San Antonio, TX, June 9--14 2003 .]] Craig A. N. Soules, Jonathan Appavoo, Kevin Hui, Robert W. Wisniewski, Dilma da Silva, Gregory R. Ganger, Orran Krieger, Michael Stumm, Marc Auslander, Michal Ostrowski, Bryan Rosenburg, and Jimi Xenidis. System support for online reconfiguration. In USENIX Technical Conference, pages 141--154, San Antonio, TX, June 9--14 2003.]]"},{"key":"e_1_2_1_37_1","volume-title":"CA","author":"Swift Michael M.","year":"2004","unstructured":"Michael M. Swift , Muthukaruppan Annamalai , Brian N. Bershad , and Henry M. Levy . Recovering device drivers. In Procedings of the 6th ACM\/USENIX ymposium on Operating Systems Design and Implementation (OSDI), pages 1--16, San Francisco , CA , December 2004 . USENIX.]] Michael M. Swift, Muthukaruppan Annamalai, Brian N. Bershad, and Henry M. Levy. Recovering device drivers. In Procedings of the 6th ACM\/USENIX ymposium on Operating Systems Design and Implementation (OSDI), pages 1--16, San Francisco, CA, December 2004. USENIX.]]"},{"key":"e_1_2_1_38_1","volume-title":"Department of Electrical and Computer Engineering","author":"Tam David","year":"2003","unstructured":"David Tam . Performance analysis and optimization of the Hurricane File System. Master's thesis , Department of Electrical and Computer Engineering , University of Toronto , Toronto, Ontario , Canada, January 2003 .]] David Tam. Performance analysis and optimization of the Hurricane File System. Master's thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Ontario, Canada, January 2003.]]"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1048935.1050154"}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1131322.1131333","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1131322.1131333","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:16Z","timestamp":1750259176000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1131322.1131333"}},"subtitle":["an infrastructure for operating system research"],"short-title":[],"issued":{"date-parts":[[2006,4]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,4]]}},"alternative-id":["10.1145\/1131322.1131333"],"URL":"https:\/\/doi.org\/10.1145\/1131322.1131333","relation":{},"ISSN":["0163-5980"],"issn-type":[{"type":"print","value":"0163-5980"}],"subject":[],"published":{"date-parts":[[2006,4]]},"assertion":[{"value":"2006-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}