{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:30:50Z","timestamp":1725719450751},"publisher-location":"New York, NY, USA","reference-count":74,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T00:00:00Z","timestamp":1635120000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["1837127,1840197"],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,10,25]]},"DOI":"10.1145\/3477113.3487275","type":"proceedings-article","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T10:25:01Z","timestamp":1633947901000},"page":"53-61","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Understanding the Overheads of Hardware and Language-Based IPC Mechanisms"],"prefix":"10.1145","author":[{"given":"Zhaofeng","family":"Li","sequence":"first","affiliation":[{"name":"University of California, Irvine, Irvine, California, USA"}]},{"given":"Tianjiao","family":"Huang","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, California, USA"}]},{"given":"Vikram","family":"Narayanan","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, California, USA"}]},{"given":"Anton","family":"Burtsev","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, California, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,10,25]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"seL4 Performance. https:\/\/sel4.systems\/About\/Performance\/. seL4 Performance. https:\/\/sel4.systems\/About\/Performance\/."},{"key":"e_1_3_2_2_2_1","first-page":"49","volume-title":"Proceedings of the Eighth ACM\/IEEE Symposium on Architectures for Networking and Communications Systems, ANCS'12","author":"Anderson James W.","year":"2012","unstructured":"James W. Anderson , Ryan Braud , Rishi Kapoor , George Porter , and Amin Vahdat . XOMB : Extensible open middleboxes with commodity servers . In Proceedings of the Eighth ACM\/IEEE Symposium on Architectures for Networking and Communications Systems, ANCS'12 , pages 49 -- 60 , New York, NY, USA , 2012 . James W. Anderson, Ryan Braud, Rishi Kapoor, George Porter, and Amin Vahdat. XOMB: Extensible open middleboxes with commodity servers. In Proceedings of the Eighth ACM\/IEEE Symposium on Architectures for Networking and Communications Systems, ANCS'12, pages 49--60, New York, NY, USA, 2012."},{"volume-title":"IBM Watson Research","year":"2002","author":"Appavoo Jonathan","key":"e_1_3_2_2_3_1","unstructured":"Jonathan Appavoo , Marc Auslander , Dilma DaSilva , David Edelsohn , Orran Krieger , Michal Ostrowski , Bryan Rosenburg , R Wisniewski , and Jimi Xenidis . Utilizing Linux kernel components in K42. Technical report , IBM Watson Research , 2002 . Jonathan Appavoo, Marc Auslander, Dilma DaSilva, David Edelsohn, Orran Krieger, Michal Ostrowski, Bryan Rosenburg, R Wisniewski, and Jimi Xenidis. Utilizing Linux kernel components in K42. Technical report, IBM Watson Research, 2002."},{"key":"e_1_3_2_2_4_1","unstructured":"Arm. Armv8.5-A Memory Tagging Extension white paper. https:\/\/developer.arm.com\/-\/media\/Arm%20Developer%20Community\/PDF\/Arm_Memory_Tagging_Extension_Whitepaper.pdf. Arm. Armv8.5-A Memory Tagging Extension white paper. https:\/\/developer.arm.com\/-\/media\/Arm%20Developer%20Community\/PDF\/Arm_Memory_Tagging_Extension_Whitepaper.pdf."},{"volume-title":"The KaffeOS Java Runtime System. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(4):583--630","year":"2005","author":"Back Godmar","key":"e_1_3_2_2_5_1","unstructured":"Godmar Back and Wilson C Hsieh . The KaffeOS Java Runtime System. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(4):583--630 , 2005 . Godmar Back and Wilson C Hsieh. The KaffeOS Java Runtime System. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(4):583--630, 2005."},{"key":"e_1_3_2_2_6_1","first-page":"156","volume-title":"Leonid Ryzhyk. System Programming in Rust: Beyond Safety. In Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS'17)","author":"Balasubramanian Abhiram","year":"2017","unstructured":"Abhiram Balasubramanian , Marek S. Baranowski , Anton Burtsev , Aurojit Panda , Zvonimir Rakamari\u0107 , and Leonid Ryzhyk. System Programming in Rust: Beyond Safety. In Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS'17) , pages 156 -- 161 , 2017 . Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamari\u0107, and Leonid Ryzhyk. System Programming in Rust: Beyond Safety. In Proceedings of the 16th Workshop on Hot Topics in Operating Systems (HotOS'17), pages 156--161, 2017."},{"volume-title":"August","year":"2019","author":"Bannister Steve","key":"e_1_3_2_2_7_1","unstructured":"Steve Bannister . Memory Tagging extension: Enhancing memory safety through architecture , August 2019 . https:\/\/community.arm.com\/developer\/ip-products\/processors\/b\/processors-ip-blog\/posts\/enhancing-memory-safety. Steve Bannister. Memory Tagging extension: Enhancing memory safety through architecture, August 2019. https:\/\/community.arm.com\/developer\/ip-products\/processors\/b\/processors-ip-blog\/posts\/enhancing-memory-safety."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77650"},{"key":"e_1_3_2_2_11_1","first-page":"1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Boos Kevin","year":"2020","unstructured":"Kevin Boos , Namitha Liyanage , Ramla Ijaz , and Lin Zhong . Theseus : an experiment in operating system structure and state management . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) , pages 1 -- 19 , November 2020 . Kevin Boos, Namitha Liyanage, Ramla Ijaz, and Lin Zhong. Theseus: an experiment in operating system structure and state management. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20), pages 1--19, November 2020."},{"volume-title":"Bromium micro-virtualization","year":"2010","key":"e_1_3_2_2_12_1","unstructured":"Bromium. Bromium micro-virtualization , 2010 . http:\/\/www.bromium.com\/misc\/BromiumMicrovirtualization.pdf. Bromium. Bromium micro-virtualization, 2010. http:\/\/www.bromium.com\/misc\/BromiumMicrovirtualization.pdf."},{"key":"e_1_3_2_2_13_1","first-page":"25","volume-title":"Proceedings of the 2009 USENIX Annual Technical Conference (USENIX ATC'09)","author":"Burtsev Anton","year":"2009","unstructured":"Anton Burtsev , Kiran Srinivasan , Prashanth Radhakrishnan , Lakshmi N Bairavasundaram , Kaladhar Voruganti , and Garth R Goodson . Fido : Fast inter-virtual-machine communication for enterprise appliances . In Proceedings of the 2009 USENIX Annual Technical Conference (USENIX ATC'09) , pages 25 -- 25 , 2009 . Anton Burtsev, Kiran Srinivasan, Prashanth Radhakrishnan, Lakshmi N Bairavasundaram, Kaladhar Voruganti, and Garth R Goodson. Fido: Fast inter-virtual-machine communication for enterprise appliances. In Proceedings of the 2009 USENIX Annual Technical Conference (USENIX ATC'09), pages 25--25, 2009."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629581"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/35037.42270"},{"key":"e_1_3_2_2_16_1","unstructured":"Intel Corporation. DPDK: Data Plane Development Kit. http:\/\/dpdk.org\/. Intel Corporation. DPDK: Data Plane Development Kit. http:\/\/dpdk.org\/."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307650.3322218"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/258915.258921"},{"key":"e_1_3_2_2_19_1","first-page":"523","volume-title":"Jinnah Dylan Hosein. Maglev: A Fast and Reliable Software Network Load Balancer. In Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI'16)","author":"Eisenbud Daniel E.","year":"2016","unstructured":"Daniel E. Eisenbud , Cheng Yi , Carlo Contavalli , Cody Smith , Roman Kononov , Eric Mann-Hielscher , Ardas Cilingiroglu , Bin Cheyney , Wentao Shang , and Jinnah Dylan Hosein. Maglev: A Fast and Reliable Software Network Load Balancer. In Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI'16) , pages 523 -- 535 , March 2016 . Daniel E. Eisenbud, Cheng Yi, Carlo Contavalli, Cody Smith, Roman Kononov, Eric Mann-Hielscher, Ardas Cilingiroglu, Bin Cheyney, Wentao Shang, and Jinnah Dylan Hosein. Maglev: A Fast and Reliable Software Network Load Balancer. In Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI'16), pages 523--535, March 2016."},{"key":"e_1_3_2_2_20_1","first-page":"133","volume-title":"Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP'13)","author":"Elphinstone Kevin","year":"2013","unstructured":"Kevin Elphinstone and Gernot Heiser . From L3 to SeL4 What Have We Learnt in 20 Years of L4 Microkernels? In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP'13) , pages 133 -- 150 , 2013 . Kevin Elphinstone and Gernot Heiser. From L3 to SeL4 What Have We Learnt in 20 Years of L4 Microkernels? In Proceedings of the 24th ACM Symposium on Operating Systems Principles (SOSP'13), pages 133--150, 2013."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANCS.2019.8901892"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ANCS.2019.8901892"},{"key":"e_1_3_2_2_23_1","first-page":"75","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation, OSDI'06","author":"Erlingsson \u00dalfar","year":"2006","unstructured":"\u00dalfar Erlingsson , Mart\u00edn Abadi , Michael Vrable , Mihai Budiu , and George C. Necula . XFI: Software guards for system address spaces . In Proceedings of the 7th Symposium on Operating Systems Design and Implementation, OSDI'06 , pages 75 -- 88 , 2006 . \u00dalfar Erlingsson, Mart\u00edn Abadi, Michael Vrable, Mihai Budiu, and George C. Necula. XFI: Software guards for system address spaces. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation, OSDI'06, pages 75--88, 2006."},{"volume-title":"Design of the Bastei OS architecture","year":"2007","author":"Helmuth N.","key":"e_1_3_2_2_24_1","unstructured":"Feske, N. and Helmuth , C . Design of the Bastei OS architecture . 2007 . Feske, N. and Helmuth, C. Design of the Bastei OS architecture. 2007."},{"key":"e_1_3_2_2_25_1","first-page":"97","volume-title":"Proceedings of the USENIX","author":"Ford Bryan","year":"1994","unstructured":"Bryan Ford and Jay Lepreau . Evolving Mach 3.0 to a Migrating Thread Model . In Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference (WTEC '94), pages 97 -- 114 , 1994. Bryan Ford and Jay Lepreau. Evolving Mach 3.0 to a Migrating Thread Model. In Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference (WTEC '94), pages 97--114, 1994."},{"key":"e_1_3_2_2_26_1","first-page":"1","volume-title":"1st Workshop on Operating System and Architectural Support for the on Demand IT InfraStructure (OASIS)","author":"Fraser Keir","year":"2004","unstructured":"Keir Fraser , Steven Hand , Rolf Neugebauer , Ian Pratt , Andrew Warfield , Mark Williamson , Safe hardware access with the xen virtual machine monitor . In 1st Workshop on Operating System and Architectural Support for the on Demand IT InfraStructure (OASIS) , pages 1 -- 1 , 2004 . Keir Fraser, Steven Hand, Rolf Neugebauer, Ian Pratt, Andrew Warfield, Mark Williamson, et al. Safe hardware access with the xen virtual machine monitor. In 1st Workshop on Operating System and Architectural Support for the on Demand IT InfraStructure (OASIS), pages 1--1, 2004."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346303"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945464"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/566726.566751"},{"key":"e_1_3_2_2_30_1","first-page":"45","volume-title":"J\u00fcrgen Klein\u00f6der. The JX Operating System. In Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference (USENIX ATC'02)","author":"Golm Michael","year":"2002","unstructured":"Michael Golm , Meik Felser , Christian Wawersich , and J\u00fcrgen Klein\u00f6der. The JX Operating System. In Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference (USENIX ATC'02) , pages 45 -- 58 , 2002 . Michael Golm, Meik Felser, Christian Wawersich, and J\u00fcrgen Klein\u00f6der. The JX Operating System. In Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference (USENIX ATC'02), pages 45--58, 2002."},{"key":"e_1_3_2_2_31_1","first-page":"401","volume-title":"2020 USENIX Annual Technical Conference (USENIX ATC'20)","author":"Gu Jinyu","year":"2020","unstructured":"Jinyu Gu , Xinyue Wu , Wentai Li , Nian Liu , Zeyu Mi , Yubin Xia , and Haibo Chen . Harmonizing performance and isolation in microkernels with efficient intra-kernel isolation and communication . In 2020 USENIX Annual Technical Conference (USENIX ATC'20) , pages 401 -- 417 , July 2020 . Jinyu Gu, Xinyue Wu, Wentai Li, Nian Liu, Zeyu Mi, Yubin Xia, and Haibo Chen. Harmonizing performance and isolation in microkernels with efficient intra-kernel isolation and communication. In 2020 USENIX Annual Technical Conference (USENIX ATC'20), pages 401--417, July 2020."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251503.1251507"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/858336.858337"},{"key":"e_1_3_2_2_34_1","first-page":"489","volume-title":"Mike Marty. Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries. In Proceedings of the 2019 USENIX Annual Technical Conference (USENIX ATC'19)","author":"Hedayati Mohammad","year":"2019","unstructured":"Mohammad Hedayati , Spyridoula Gravani , Ethan Johnson , John Criswell , Michael L. Scott , Kai Shen , and Mike Marty. Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries. In Proceedings of the 2019 USENIX Annual Technical Conference (USENIX ATC'19) , pages 489 -- 504 , July 2019 . Mohammad Hedayati, Spyridoula Gravani, Ethan Johnson, John Criswell, Michael L. Scott, Kai Shen, and Mike Marty. Hodor: Intra-Process Isolation for High-Throughput Data Plane Libraries. In Proceedings of the 2019 USENIX Annual Technical Conference (USENIX ATC'19), pages 489--504, July 2019."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278901.1278904"},{"volume-title":"Minix 3: A highly reliable, self-repairing operating system. ACM SIGOPS Operating Systems Review, 40(3):80--89","year":"2006","author":"Herder Jorrit N","key":"e_1_3_2_2_36_1","unstructured":"Jorrit N Herder , Herbert Bos , Ben Gras , Philip Homburg , and Andrew S Tanenbaum . Minix 3: A highly reliable, self-repairing operating system. ACM SIGOPS Operating Systems Review, 40(3):80--89 , 2006 . Jorrit N Herder, Herbert Bos, Ben Gras, Philip Homburg, and Andrew S Tanenbaum. Minix 3: A highly reliable, self-repairing operating system. ACM SIGOPS Operating Systems Review, 40(3):80--89, 2006."},{"first-page":"22","volume-title":"Proceedings of the 11th ACM SIGOPS European Workshop","author":"Peter M.","key":"e_1_3_2_2_37_1","unstructured":"Hohmuth, M. and Peter , M . and H\u00e4rtig, H. and Shapiro, J.S. Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors . In Proceedings of the 11th ACM SIGOPS European Workshop , page 22 . ACM, 2004. Hohmuth, M. and Peter, M. and H\u00e4rtig, H. and Shapiro, J.S. Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors. In Proceedings of the 11th ACM SIGOPS European Workshop, page 22. ACM, 2004."},{"volume-title":"Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR'15","year":"2015","author":"Honda Michio","key":"e_1_3_2_2_38_1","unstructured":"Michio Honda , Felipe Huici , Giuseppe Lettieri , and Luigi Rizzo . MSwitch : A Highly-Scalable, Modular Software Switch . In Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR'15 , New York, NY, USA , 2015 . Michio Honda, Felipe Huici, Giuseppe Lettieri, and Luigi Rizzo. MSwitch: A Highly-Scalable, Modular Software Switch. In Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR'15, New York, NY, USA, 2015."},{"key":"e_1_3_2_2_39_1","first-page":"255","volume-title":"2013 USENIX Annual Technical Conference (USENIX ATC 13)","author":"Hruby Tomas","year":"2013","unstructured":"Tomas Hruby , Herbert Bos , and Andrew S. Tanenbaum . When slower is faster: On heterogeneous multicores for reliable systems . In 2013 USENIX Annual Technical Conference (USENIX ATC 13) , pages 255 -- 266 , San Jose, CA , June 2013 . Tomas Hruby, Herbert Bos, and Andrew S. Tanenbaum. When slower is faster: On heterogeneous multicores for reliable systems. In 2013 USENIX Annual Technical Conference (USENIX ATC 13), pages 255--266, San Jose, CA, June 2013."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_2_41_1","first-page":"445","volume-title":"Timothy Wood. NetVM: High Performance and Flexible Networking Using Virtualization on Commodity Platforms. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI'14)","author":"Hwang Jinho","year":"2014","unstructured":"Jinho Hwang , K. K. Ramakrishnan , and Timothy Wood. NetVM: High Performance and Flexible Networking Using Virtualization on Commodity Platforms. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI'14) , pages 445 -- 458 , Seattle, WA , April 2014 . Jinho Hwang, K. K. Ramakrishnan, and Timothy Wood. NetVM: High Performance and Flexible Networking Using Virtualization on Commodity Platforms. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI'14), pages 445--458, Seattle, WA, April 2014."},{"volume-title":"May","year":"2005","author":"Intel Corporation","key":"e_1_3_2_2_42_1","unstructured":"Intel Corporation . Itanium C++ ABI : Exception Handling , May 2005 . https:\/\/itanium-cxx-abi.github.io\/cxx-abi\/abi-eh.html. Intel Corporation. Itanium C++ ABI: Exception Handling, May 2005. https:\/\/itanium-cxx-abi.github.io\/cxx-abi\/abi-eh.html."},{"volume-title":"Intel 64 and IA-32 Architectures Software Developer's Manual","year":"2020","author":"Intel Corporation","key":"e_1_3_2_2_43_1","unstructured":"Intel Corporation . Intel 64 and IA-32 Architectures Software Developer's Manual , 2020 . https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/download\/intel-64-and-ia-32-architectures-sdm-combined-volumes-1-2a-2b-2c-2d-3a-3b-3c-3d-and-4.html. Intel Corporation. Intel 64 and IA-32 Architectures Software Developer's Manual, 2020. https:\/\/software.intel.com\/content\/www\/us\/en\/develop\/download\/intel-64-and-ia-32-architectures-sdm-combined-volumes-1-2a-2b-2c-2d-3a-3b-3c-3d-and-4.html."},{"volume-title":"No Starch Press","year":"2019","author":"Klabnik Steve","key":"e_1_3_2_2_44_1","unstructured":"Steve Klabnik and Carol Nichols . The Rust Programming Language . No Starch Press , 2019 . Steve Klabnik and Carol Nichols. The Rust Programming Language. No Starch Press, 2019."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064217"},{"key":"e_1_3_2_2_47_1","first-page":"627","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI'18)","author":"Kulkarni Chinmay","year":"2018","unstructured":"Chinmay Kulkarni , Sara Moore , Mazhar Naqvi , Tian Zhang , Robert Ricci , and Ryan Stutsman . Splinter : Bare-metal extensions for multi-tenant low-latency storage . In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI'18) , pages 627 -- 643 , Carlsbad, CA , October 2018 . Chinmay Kulkarni, Sara Moore, Mazhar Naqvi, Tian Zhang, Robert Ricci, and Ryan Stutsman. Splinter: Bare-metal extensions for multi-tenant low-latency storage. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI'18), pages 627--643, Carlsbad, CA, October 2018."},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/122120.122124"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132763"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043568"},{"key":"e_1_3_2_2_51_1","first-page":"459","volume-title":"11th USENIX Symposium on Networked Systems Design and Implementation (NSDI'14)","author":"Martins Joao","year":"2014","unstructured":"Joao Martins , Mohamed Ahmed , Costin Raiciu , Vladimir Olteanu , Michio Honda , Roberto Bifulco , and Felipe Huici . ClickOS and the art of network function virtualization . In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI'14) , pages 459 -- 473 , Seattle, WA , April 2014 . Joao Martins, Mohamed Ahmed, Costin Raiciu, Vladimir Olteanu, Michio Honda, Roberto Bifulco, and Felipe Huici. ClickOS and the art of network function virtualization. In 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI'14), pages 459--473, Seattle, WA, April 2014."},{"volume-title":"Haibo Chen. SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. In Proceedings of the 14th European Conference on Computer Systems (EuroSys'19)","year":"2019","author":"Mi Zeyu","key":"e_1_3_2_2_52_1","unstructured":"Zeyu Mi , Dingji Li , Zihan Yang , Xinran Wang , and Haibo Chen. SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. In Proceedings of the 14th European Conference on Computer Systems (EuroSys'19) , 2019 . Zeyu Mi, Dingji Li, Zihan Yang, Xinran Wang, and Haibo Chen. SkyBridge: Fast and Secure Inter-Process Communication for Microkernels. In Proceedings of the 14th European Conference on Computer Systems (EuroSys'19), 2019."},{"key":"e_1_3_2_2_54_1","first-page":"269","volume-title":"Anton Burtsev. LXDs: Towards Isolation of Kernel Subsystems. In Proceedings of the 2019 USENIX Annual Technical Conference (USENIX ATC'19)","author":"Narayanan Vikram","year":"2019","unstructured":"Vikram Narayanan , Abhiram Balasubramanian , Charlie Jacobsen , Sarah Spall , Scott Bauer , Michael Quigley , Aftab Hussain , Abdullah Younis , Junjie Shen , Moinak Bhattacharyya , and Anton Burtsev. LXDs: Towards Isolation of Kernel Subsystems. In Proceedings of the 2019 USENIX Annual Technical Conference (USENIX ATC'19) , pages 269 -- 284 , July 2019 . Vikram Narayanan, Abhiram Balasubramanian, Charlie Jacobsen, Sarah Spall, Scott Bauer, Michael Quigley, Aftab Hussain, Abdullah Younis, Junjie Shen, Moinak Bhattacharyya, and Anton Burtsev. LXDs: Towards Isolation of Kernel Subsystems. In Proceedings of the 2019 USENIX Annual Technical Conference (USENIX ATC'19), pages 269--284, July 2019."},{"key":"e_1_3_2_2_55_1","first-page":"21","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20)","author":"Narayanan Vikram","year":"2020","unstructured":"Vikram Narayanan , Tianjiao Huang , David Detweiler , Dan Appel , Zhaofeng Li , Gerd Zellweger , and Anton Burtsev. RedLeaf : Isolation and communication in a safe operating system . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20) , pages 21 -- 39 , November 2020 . Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, and Anton Burtsev. RedLeaf: Isolation and communication in a safe operating system. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20), pages 21--39, November 2020."},{"key":"e_1_3_2_2_56_1","first-page":"157","volume-title":"Anton Burtsev. Lightweight Kernel Isolation with Virtualization and VM Functions. In Proceedings of the 16th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments (VEE'20)","author":"Narayanan Vikram","year":"2020","unstructured":"Vikram Narayanan , Yongzhe Huang , Gang Tan , Trent Jaeger , and Anton Burtsev. Lightweight Kernel Isolation with Virtualization and VM Functions. In Proceedings of the 16th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments (VEE'20) , pages 157 -- 171 , 2020 . Vikram Narayanan, Yongzhe Huang, Gang Tan, Trent Jaeger, and Anton Burtsev. Lightweight Kernel Isolation with Virtualization and VM Functions. In Proceedings of the 16th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments (VEE'20), pages 157--171, 2020."},{"key":"e_1_3_2_2_57_1","first-page":"203","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16)","author":"Panda Aurojit","year":"2016","unstructured":"Aurojit Panda , Sangjin Han , Keon Jang , Melvin Walls , Sylvia Ratnasamy , and Scott Shenker . NetBricks : Taking the V out of NFV . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16) , pages 203 -- 216 , Savannah, GA , November 2016 . Aurojit Panda, Sangjin Han, Keon Jang, Melvin Walls, Sylvia Ratnasamy, and Scott Shenker. NetBricks: Taking the V out of NFV. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI'16), pages 203--216, Savannah, GA, November 2016."},{"key":"e_1_3_2_2_58_1","first-page":"241","volume-title":"2019 USENIX Annual Technical Conference (USENIX ATC 19)","author":"Park Soyeon","year":"2019","unstructured":"Soyeon Park , Sangho Lee , Wen Xu , HyunGon Moon , and Taesoo Kim . libmpk : Software abstraction for intel memory protection keys (intel MPK) . In 2019 USENIX Annual Technical Conference (USENIX ATC 19) , pages 241 -- 254 , July 2019 . Soyeon Park, Sangho Lee, Wen Xu, HyunGon Moon, and Taesoo Kim. libmpk: Software abstraction for intel memory protection keys (intel MPK). In 2019 USENIX Annual Technical Conference (USENIX ATC 19), pages 241--254, July 2019."},{"key":"e_1_3_2_2_59_1","first-page":"13","volume-title":"Scott Rixner. Hyper-Switch: A Scalable Software Virtual Switching Architecture. In 2013 USENIX Annual Technical Conference (USENIX ATC'13)","author":"Ram Kaushik Kumar","year":"2013","unstructured":"Kaushik Kumar Ram , Alan L. Cox , Mehul Chadha , and Scott Rixner. Hyper-Switch: A Scalable Software Virtual Switching Architecture. In 2013 USENIX Annual Technical Conference (USENIX ATC'13) , pages 13 -- 24 , San Jose, CA , June 2013 . Kaushik Kumar Ram, Alan L. Cox, Mehul Chadha, and Scott Rixner. Hyper-Switch: A Scalable Software Virtual Switching Architecture. In 2013 USENIX Annual Technical Conference (USENIX ATC'13), pages 13--24, San Jose, CA, June 2013."},{"volume-title":"December","year":"2014","author":"Ricci Robert","key":"e_1_3_2_2_60_1","unstructured":"Robert Ricci , Eric Eide , and The CloudLab Team . Introducing CloudLab: Scientific infrastructure for advancing cloud architectures and applications. USENIX ;login:, 39(6) , December 2014 . Robert Ricci, Eric Eide, and The CloudLab Team. Introducing CloudLab: Scientific infrastructure for advancing cloud architectures and applications. USENIX ;login:, 39(6), December 2014."},{"key":"e_1_3_2_2_61_1","first-page":"1","volume-title":"19th USENIX Security Symposium","author":"Sehr David","year":"2010","unstructured":"David Sehr , Robert Muth , Cliff L. Biffle , Victor Khimenko , Egor Pasko , Bennet Yee , Karl Schimpf , and Brad Chen . Adapting Software Fault Isolation to Contemporary CPU Architectures . In 19th USENIX Security Symposium , pages 1 -- 11 , 2010 . David Sehr, Robert Muth, Cliff L. Biffle, Victor Khimenko, Egor Pasko, Bennet Yee, Karl Schimpf, and Brad Chen. Adapting Software Fault Isolation to Contemporary CPU Architectures. In 19th USENIX Security Symposium, pages 1--11, 2010."},{"key":"e_1_3_2_2_62_1","first-page":"323","volume-title":"9th USENIX Symposium on Networked Systems Design and Implementation (NSDI'12)","author":"Sekar Vyas","year":"2012","unstructured":"Vyas Sekar , Norbert Egi , Sylvia Ratnasamy , Michael K. Reiter , and Guangyu Shi . Design and Implementation of a Consolidated Middlebox Architecture . In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI'12) , pages 323 -- 336 , San Jose, CA , April 2012 . Vyas Sekar, Norbert Egi, Sylvia Ratnasamy, Michael K. Reiter, and Guangyu Shi. Design and Implementation of a Consolidated Middlebox Architecture. In 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI'12), pages 323--336, San Jose, CA, April 2012."},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319163"},{"volume-title":"Soares and Michael Stumm. FlexSC: Flexible System Call Scheduling with Exception-Less System Calls. In 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)","year":"2010","author":"Livio","key":"e_1_3_2_2_64_1","unstructured":"Livio Soares and Michael Stumm. FlexSC: Flexible System Call Scheduling with Exception-Less System Calls. In 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10) , Vancouver, BC , October 2010 . Livio Soares and Michael Stumm. FlexSC: Flexible System Call Scheduling with Exception-Less System Calls. In 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10), Vancouver, BC, October 2010."},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2741948.2741961"},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.5555\/645917.672163"},{"key":"e_1_3_2_2_67_1","first-page":"102","volume-title":"Susan J Eggers. Nooks: An Architecture for Reliable Device Drivers. In Proceedings of the 10th workshop on ACM SIGOPS European Workshop","author":"Swift Michael M","year":"2002","unstructured":"Michael M Swift , Steven Martin , Henry M Levy , and Susan J Eggers. Nooks: An Architecture for Reliable Device Drivers. In Proceedings of the 10th workshop on ACM SIGOPS European Workshop , pages 102 -- 107 , 2002 . Michael M Swift, Steven Martin, Henry M Levy, and Susan J Eggers. Nooks: An Architecture for Reliable Device Drivers. In Proceedings of the 10th workshop on ACM SIGOPS European Workshop, pages 102--107, 2002."},{"key":"e_1_3_2_2_68_1","first-page":"1221","volume-title":"Proceedings of the 28th USENIX Security Symposium (USENIX Security '19)","author":"Vahldiek-Oberwagner Anjo","year":"2019","unstructured":"Anjo Vahldiek-Oberwagner , Eslam Elnikety , Nuno O. Duarte , Michael Sammler , Peter Druschel , and Deepak Garg . ERIM : Secure, Efficient In-process Isolation with Protection Keys (MPK) . In Proceedings of the 28th USENIX Security Symposium (USENIX Security '19) , pages 1221 -- 1238 , August 2019 . Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte, Michael Sammler, Peter Druschel, and Deepak Garg. ERIM: Secure, Efficient In-process Isolation with Protection Keys (MPK). In Proceedings of the 28th USENIX Security Symposium (USENIX Security '19), pages 1221--1238, August 2019."},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2014.6853202"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48749-2_17"},{"key":"e_1_3_2_2_71_1","first-page":"31","volume-title":"Krste Asanovi\u0107. Mondrix: Memory Isolation for Linux Using Mondriaan Memory Protection. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05)","author":"Witchel Emmett","year":"2005","unstructured":"Emmett Witchel , Junghwan Rhee , and Krste Asanovi\u0107. Mondrix: Memory Isolation for Linux Using Mondriaan Memory Protection. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05) , pages 31 -- 44 , 2005 . Emmett Witchel, Junghwan Rhee, and Krste Asanovi\u0107. Mondrix: Memory Isolation for Linux Using Mondriaan Memory Protection. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP '05), pages 31--44, 2005."},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2014.6853201"},{"key":"e_1_3_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127479.3127489"},{"volume-title":"IEEE Symposium on Security and Privacy (Oakland'09)","year":"2009","author":"Yee Bennet","key":"e_1_3_2_2_74_1","unstructured":"Bennet Yee , David Sehr , Greg Dardyk , Brad Chen , Robert Muth , Tavis Ormandy , Shiki Okasaka , Neha Narula , and Nicholas Fullagar . Native Client : A Sandbox for Portable, Untrusted x86 Native Code . In IEEE Symposium on Security and Privacy (Oakland'09) , IEEE, 3 Park Avenue, 17th Floor, New York, NY 10016 , 2009 . Bennet Yee, David Sehr, Greg Dardyk, Brad Chen, Robert Muth, Tavis Ormandy, Shiki Okasaka, Neha Narula, and Nicholas Fullagar. Native Client: A Sandbox for Portable, Untrusted x86 Native Code. In IEEE Symposium on Security and Privacy (Oakland'09), IEEE, 3 Park Avenue, 17th Floor, New York, NY 10016, 2009."},{"key":"e_1_3_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2999572.2999602"}],"event":{"name":"SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Virtual Event Germany","acronym":"SOSP '21"},"container-title":["Proceedings of the 11th Workshop on Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3477113.3487275","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477113.3487275","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3477113.3487275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T21:50:52Z","timestamp":1673473852000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3477113.3487275"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,25]]},"references-count":74,"alternative-id":["10.1145\/3477113.3487275","10.1145\/3477113"],"URL":"https:\/\/doi.org\/10.1145\/3477113.3487275","relation":{},"subject":[],"published":{"date-parts":[[2021,10,25]]},"assertion":[{"value":"2021-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}