{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T15:48:18Z","timestamp":1782575298124,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":63,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,3,25]],"date-time":"2019-03-25T00:00:00Z","timestamp":1553472000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"the National Key R&D Program of China","award":["2016YFB1000104"],"award-info":[{"award-number":["2016YFB1000104"]}]},{"name":"the National Natural Science Foundation of China","award":["61572314"],"award-info":[{"award-number":["61572314"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,3,25]]},"DOI":"10.1145\/3302424.3303946","type":"proceedings-article","created":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T13:10:03Z","timestamp":1553260203000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":44,"title":["SkyBridge"],"prefix":"10.1145","author":[{"given":"Zeyu","family":"Mi","sequence":"first","affiliation":[{"name":"Shanghai Key Laboratory for Scalable Computing Systems, Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dingji","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory for Scalable Computing Systems, Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zihan","family":"Yang","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory for Scalable Computing Systems, Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xinran","family":"Wang","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory for Scalable Computing Systems, Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Haibo","family":"Chen","sequence":"additional","affiliation":[{"name":"Shanghai Key Laboratory for Scalable Computing Systems, Institute of Parallel and Distributed Systems, Shanghai Jiao Tong University"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,3,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The fiasco.oc microkernel. https:\/\/os.inf.tu-dresden.de\/fiasco\/.  The fiasco.oc microkernel. https:\/\/os.inf.tu-dresden.de\/fiasco\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Intel 64 and ia-32 architectures software developer's manual volume 3c. https:\/\/software.intel.com\/en-us\/articles\/intel-sdm.  Intel 64 and ia-32 architectures software developer's manual volume 3c. https:\/\/software.intel.com\/en-us\/articles\/intel-sdm."},{"key":"e_1_3_2_1_3_1","unstructured":"sel4 benchmark results. http:\/\/sel4.systems\/About\/Performance\/.  sel4 benchmark results. http:\/\/sel4.systems\/About\/Performance\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Sqlite3. https:\/\/www.sqlite.org\/index.html.  Sqlite3. https:\/\/www.sqlite.org\/index.html."},{"key":"e_1_3_2_1_5_1","unstructured":"The zircon microkernel. https:\/\/fuchsia.googlesource.com\/zircon.  The zircon microkernel. https:\/\/fuchsia.googlesource.com\/zircon."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_7_1","first-page":"335","volume-title":"Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation","author":"Belay Adam","year":"2012","unstructured":"Adam Belay , Andrea Bittau , Ali Jos\u00e9 Mashtizadeh , David Terei , David Mazi\u00e9res , and Christoforos E. Kozyrakis . Dune: safe user-level access to privileged cpu features . In Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation , pages 335 -- 348 , 2012 . Adam Belay, Andrea Bittau, Ali Jos\u00e9 Mashtizadeh, David Terei, David Mazi\u00e9res, and Christoforos E. Kozyrakis. Dune: safe user-level access to privileged cpu features. In Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation, pages 335--348, 2012."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77650"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_1_10_1","unstructured":"Xen Project Blog. Stealthy monitoring with xen altp2m. https:\/\/blog.xenproject.org\/2016\/04\/13\/stealthy-monitoring-with-xen-altp2m.  Xen Project Blog. Stealthy monitoring with xen altp2m. https:\/\/blog.xenproject.org\/2016\/04\/13\/stealthy-monitoring-with-xen-altp2m."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629581"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/195792.195795"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1134767"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.79"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.12"},{"key":"e_1_3_2_1_17_1","first-page":"27","volume-title":"Proceedings of the USENIX Workshop on Micro-kernels and other Kernel Architectures","author":"Clark Raymond K","year":"1992","unstructured":"Raymond K Clark , E Douglas Jensen , and Franklin D Reynolds . An architectural overview of the alpha real-time distributed kernel . In Proceedings of the USENIX Workshop on Micro-kernels and other Kernel Architectures , pages 27 -- 28 , 1992 . Raymond K Clark, E Douglas Jensen, and Franklin D Reynolds. An architectural overview of the alpha real-time distributed kernel. In Proceedings of the USENIX Workshop on Micro-kernels and other Kernel Architectures, pages 27--28, 1992."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2694344.2694386"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522720"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224076"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238769"},{"key":"e_1_3_2_1_23_1","first-page":"9","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, pages 9 -- 9 , 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, pages 9--9, 1994."},{"key":"e_1_3_2_1_24_1","first-page":"83","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Frassetto Tommaso","year":"2018","unstructured":"Tommaso Frassetto , Patrick Thomas Jauernig , Christopher Liebchen , and Ahmad-Reza Sadeghi . Imix : In-process memory isolation extension . In 27th USENIX Security Symposium (USENIX Security 18) , pages 83 -- 97 , 2018 . Tommaso Frassetto, Patrick Thomas Jauernig, Christopher Liebchen, and Ahmad-Reza Sadeghi. Imix: In-process memory isolation extension. In 27th USENIX Security Symposium (USENIX Security 18), pages 83--97, 2018."},{"key":"e_1_3_2_1_25_1","first-page":"87","volume-title":"Proceedings of the 3rd Symposium on Operating Systems Design and Implementation","author":"Gamsa Benjamin","year":"1999","unstructured":"Benjamin Gamsa , Orran Krieger , Jonathan Appavoo , and Michael Stumm . Tornado : maximizing locality and concurrency in a shared memory multiprocessor operating system . In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation , pages 87 -- 100 , 1999 . Benjamin Gamsa, Orran Krieger, Jonathan Appavoo, and Michael Stumm. Tornado: maximizing locality and concurrency in a shared memory multiprocessor operating system. In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, pages 87--100, 1999."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2016.67"},{"key":"e_1_3_2_1_27_1","volume-title":"Proceedings of the USENIX","author":"Golub David B.","year":"1990","unstructured":"David B. Golub , Randall W. Dean , Alessandro Forin , and Richard F. Rashid . Unix as an application program . Proceedings of the USENIX Summer 1990 Technical Conference on Summer Technical Conference, pages 87--95 , 1990. David B. Golub, Randall W. Dean, Alessandro Forin, and Richard F. Rashid. Unix as an application program. Proceedings of the USENIX Summer 1990 Technical Conference on Summer Technical Conference, pages 87--95, 1990."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/362258.362278"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/646405.759105"},{"key":"e_1_3_2_1_30_1","first-page":"255","volume-title":"2018 USENIX Annual Technical Conference (USENIX ATC 18)","author":"Hua Zhichao","year":"2018","unstructured":"Zhichao Hua , Dong Du , Yubin Xia , Haibo Chen , and Binyu Zang . EPTI : Efficient defence against meltdown attack for unpatched vms . In 2018 USENIX Annual Technical Conference (USENIX ATC 18) , pages 255 -- 266 , 2018 . Zhichao Hua, Dong Du, Yubin Xia, Haibo Chen, and Binyu Zang. EPTI: Efficient defence against meltdown attack for unpatched vms. In 2018 USENIX Annual Technical Conference (USENIX ATC 18), pages 255--266, 2018."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_32_1","unstructured":"jandem's blog. W⊕x jit-code enabled in firefox. https:\/\/jandemooij.nl\/blog\/2015\/12\/29\/wx-jit-code-enabled-in-firefox\/.  jandem's blog. W⊕x jit-code enabled in firefox. https:\/\/jandemooij.nl\/blog\/2015\/12\/29\/wx-jit-code-enabled-in-firefox\/."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723872.2723892"},{"key":"e_1_3_2_1_34_1","first-page":"50","volume-title":"First International Workshop on Microkernels for Embedded Systems","author":"Kaiser Robert","year":"2007","unstructured":"Robert Kaiser and Stephan Wagner . Evolution of the pikeos microkernel . In First International Workshop on Microkernels for Embedded Systems , page 50 , 2007 . Robert Kaiser and Stephan Wagner. Evolution of the pikeos microkernel. In First International Workshop on Microkernels for Embedded Systems, page 50, 2007."},{"key":"e_1_3_2_1_35_1","first-page":"225","volume-title":"Linux Symposium","author":"Kivity Avi","year":"2007","unstructured":"Avi Kivity , Yaniv Kamay , Dor Laor , Uri Lublin , and Anthony Liguori . kvm : the linux virtual machine monitor . In Linux Symposium , page 225 , 2007 . Avi Kivity, Yaniv Kamay, Dor Laor, Uri Lublin, and Anthony Liguori. kvm: the linux virtual machine monitor. In Linux Symposium, page 225, 2007."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/143365.143508"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/522344.825703"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217949"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1287050.1287051"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2749469.2750406"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168633"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224075"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/822075.822414"},{"key":"e_1_3_2_1_45_1","first-page":"973","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Lipp Moritz","year":"2018","unstructured":"Moritz Lipp , Michael Schwarz , Daniel Gruss , Thomas Prescher , Werner Haas , Anders Fogh , Jann Horn , Stefan Mangard , Paul Kocher , Daniel Genkin , Yuval Yarom , and Mike Hamburg . Meltdown : reading kernel memory from user space . In 27th USENIX Security Symposium (USENIX Security 18) , pages 973 -- 990 , 2018 . Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Anders Fogh, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, and Mike Hamburg. Meltdown: reading kernel memory from user space. In 27th USENIX Security Symposium (USENIX Security 18), pages 973--990, 2018."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813690"},{"key":"e_1_3_2_1_47_1","first-page":"255","volume-title":"ICPP (2)","author":"Scott Michael L.","year":"1988","unstructured":"Michael L. Scott , Thomas J. LeBlanc , and Brian D. Marsh . Design rationale for psyche a general-purpose multiprocessor operating system . In ICPP (2) , pages 255 -- 262 , 1988 . Michael L. Scott, Thomas J. LeBlanc, and Brian D. Marsh. Design rationale for psyche a general-purpose multiprocessor operating system. In ICPP (2), pages 255--262, 1988."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319163"},{"key":"e_1_3_2_1_49_1","volume-title":"ACM International Conference on Architectural Support for Programming Languages and Operating Systems","author":"Shen Zhiming","year":"2019","unstructured":"Zhiming Shen , Zhen Sun , Gur-Eyal Sela , Eugene Bagdasaryan , Christina Delimitrou , Robbert Van Renesse , and Hakim Weatherspoon . X-containers : Breaking down barriers to improve performance and isolation of cloud-native containers . In ACM International Conference on Architectural Support for Programming Languages and Operating Systems , 2019 . Zhiming Shen, Zhen Sun, Gur-Eyal Sela, Eugene Bagdasaryan, Christina Delimitrou, Robbert Van Renesse, and Hakim Weatherspoon. X-containers: Breaking down barriers to improve performance and isolation of cloud-native containers. In ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2019."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23455"},{"key":"e_1_3_2_1_51_1","first-page":"33","volume-title":"Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation","author":"Soares Livio","year":"2010","unstructured":"Livio Soares and Michael Stumm . Flexsc : flexible system call scheduling with exception-less system calls . In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation , pages 33 -- 46 , 2010 . Livio Soares and Michael Stumm. Flexsc: flexible system call scheduling with exception-less system calls. In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation, pages 33--46, 2010."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/1287050.1287053"},{"key":"e_1_3_2_1_53_1","volume-title":"Erim: Secure and efficient in-process isolation with memory protection keys. arXiv preprint arXiv:1801.06822","author":"Vahldiek-Oberwagner Anjo","year":"2018","unstructured":"Anjo Vahldiek-Oberwagner , Eslam Elnikety , Deepak Garg , and Peter Druschel . Erim: Secure and efficient in-process isolation with memory protection keys. arXiv preprint arXiv:1801.06822 , 2018 . Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, and Peter Druschel. Erim: Secure and efficient in-process isolation with memory protection keys. arXiv preprint arXiv:1801.06822, 2018."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/2665671.2665741"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3064176.3064197"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2017.237"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2016.84"},{"key":"e_1_3_2_1_58_1","unstructured":"Wikipedia. Kernel page-table isolation. https:\/\/en.wikipedia.org\/wiki\/Kernel_page-table_isolation.  Wikipedia. Kernel page-table isolation. https:\/\/en.wikipedia.org\/wiki\/Kernel_page-table_isolation."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.5555\/2665671.2665740"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/355616.364017"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043576"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660344"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319170"}],"event":{"name":"EuroSys '19: Fourteenth EuroSys Conference 2019","location":"Dresden Germany","acronym":"EuroSys '19","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Fourteenth EuroSys Conference 2019"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302424.3303946","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302424.3303946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:01:48Z","timestamp":1750208508000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302424.3303946"}},"subtitle":["Fast and Secure Inter-Process Communication for Microkernels"],"short-title":[],"issued":{"date-parts":[[2019,3,25]]},"references-count":63,"alternative-id":["10.1145\/3302424.3303946","10.1145\/3302424"],"URL":"https:\/\/doi.org\/10.1145\/3302424.3303946","relation":{},"subject":[],"published":{"date-parts":[[2019,3,25]]},"assertion":[{"value":"2019-03-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}