{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T18:27:23Z","timestamp":1763058443436,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030598501"},{"type":"electronic","value":"9783030598518"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-59851-8_22","type":"book-chapter","created":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T18:04:00Z","timestamp":1603130640000},"page":"331-342","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["RustyHermit: A Scalable, Rust-Based Virtual Execution Environment"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Lankes","sequence":"first","affiliation":[]},{"given":"Jonathan","family":"Klimt","sequence":"additional","affiliation":[]},{"given":"Jens","family":"Breitbart","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Pickartz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,10,20]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","unstructured":"Balasubramanian, A., Baranowski, M.S., Burtsev, A., Panda, A., Rakamari, Z., Ryzhyk, L.: System programming in rust: beyond safety. SIGOPS Oper. Syst. Rev. 51(1), 94\u201399 (2017). https:\/\/doi.org\/10.1145\/3139645.3139660","DOI":"10.1145\/3139645.3139660"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Bratterud, A., Walla, A., Haugerud, H., Engelstad, P.E., Begnum, K.: IncludeOS: a resource efficient unikernel for cloud services. In: Proceedings of the 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom) (2015)","DOI":"10.1109\/CloudCom.2015.89"},{"key":"22_CR3","unstructured":"Cutler, C., Kaashoek, M.F., Morris, R.T.: The benefits and costs of writing a POSIX kernel in a high-level language. In: 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp. 1\u201319, September 2018"},{"key":"22_CR4","unstructured":"D Language Foundation: The D Programming Language. https:\/\/dlang.org\/. Accessed 4 Mar 2019"},{"key":"22_CR5","unstructured":"Dunkels, A.: Design and Implementation of the LwIP TCP\/IP Stack. Swedish Institute of Computer Science (2001)"},{"key":"22_CR6","unstructured":"eduOS-rs: A teaching operating system written in rust. https:\/\/rwth-os.github.io\/eduOS-rs\/. Accessed 13 Feb 2019"},{"key":"22_CR7","unstructured":"Google: The Go Programming Language. https:\/\/golang.org. Accessed 4 Mar 2019"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/1013881.802703","volume":"15","author":"RD Greenblatt","year":"1980","unstructured":"Greenblatt, R.D., Knight, T.F., Holloway, J.T., Moon, D.A.: A LISP machine. ACM SIGIR Forum 15(2), 137\u2013138 (1980)","journal-title":"ACM SIGIR Forum"},{"key":"22_CR9","unstructured":"Kantee, A.: Flexible operating system internals - the design and implementation of the anykernel and rump kernels. Ph.D. thesis, Department of Computer Science and Engineering, Aalto University, Aalto, Finland (2012)"},{"key":"22_CR10","unstructured":"Kivity, A., et al.: OSv - Optimizing the operating system for virtual machines. In: USENIX Annual Technical Conference (2014)"},{"key":"22_CR11","unstructured":"Klabnik, S., Nichols, C.: The Rust Programming Language (Manga Guide). No Starch Press, San Francisco (2018)"},{"key":"22_CR12","doi-asserted-by":"publisher","unstructured":"Kuenzer, S., et al.: Unikernels everywhere: the case for elastic CDNs. In: Proceedings of the 13th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments, VEE 2017, pp. 15\u201329. Association for Computing Machinery, New York (2017). https:\/\/doi.org\/10.1145\/3050748.3050757","DOI":"10.1145\/3050748.3050757"},{"key":"22_CR13","unstructured":"Lankes, S., Breitbart, J., Pickartz, S.: Rustyhermit - a rust-based, lightweight unikernel. https:\/\/github.com\/hermitcore\/libhermit-rs. Accessed 3 Oct 2019"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Lankes, S., Pickartz, S., Breitbart, J.: HermitCore: a unikernel for extreme scale computing. In: Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers, ROSS 2016, pp. 4:1\u20134:8. ACM, New York (2016)","DOI":"10.1145\/2931088.2931093"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-319-54999-6_6","volume-title":"Architecture of Computing Systems \u2013 ARCS 2017","author":"S Lankes","year":"2017","unstructured":"Lankes, S., Pickartz, S., Breitbart, J.: A low noise unikernel for extrem-scale systems. In: Knoop, J., Karl, W., Schulz, M., Inoue, K., Pionteck, T. (eds.) ARCS 2017. LNCS, vol. 10172, pp. 73\u201384. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-54999-6_6"},{"key":"22_CR16","doi-asserted-by":"publisher","unstructured":"Lankes, S., Breitbart, J., Pickartz, S.: Exploring rust for unikernel development. In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems, PLOS 2019, pp. 8\u201315. Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3365137.3365395","DOI":"10.1145\/3365137.3365395"},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"Levy, A., et al.: Ownership is theft: experiences building an embedded OS in Rust. ACM, New York, October 2015","DOI":"10.1145\/2818302.2818306"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"Levy, A., Campbell, B., Ghena, B., Pannuto, P., Dutta, P., Levis, P.: The case for writing a kernel in rust. Proceedings of the 8th Asia-Pacific Workshop on Systems (APSys 2017), pp. 1\u20137 (2017)","DOI":"10.1145\/3124680.3124717"},{"key":"22_CR19","unstructured":"M-Labs: uhyve - a minimal hypervisor for rustyhermit. https:\/\/github.com\/m-labs\/smoltcp. Accessed 1 Aug 2019"},{"key":"22_CR20","doi-asserted-by":"publisher","unstructured":"Madhavapeddy, A., et al.: Unikernels: library operating systems for the cloud. In: Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, pp. 461\u2013472. ACM, New York (2013). https:\/\/doi.org\/10.1145\/2451116.2451167","DOI":"10.1145\/2451116.2451167"},{"issue":"11","key":"22_CR21","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/2557963.2566628","volume":"11","author":"A Madhavapeddy","year":"2013","unstructured":"Madhavapeddy, A., Scott, D.J.: Unikernels: rise of the virtual library operating system. ACM Queue 11(11), 30 (2013)","journal-title":"ACM Queue"},{"key":"22_CR22","unstructured":"Microsoft Security Response Center: Why rust for safe systems programming. https:\/\/msrc-blog.microsoft.com\/2019\/07\/22\/why-rust-for-safe-systems-programming\/. Accessed 1 Aug 2019"},{"key":"22_CR23","unstructured":"Nagle, J.: Congestion Control in IP\/TCP Internetworks. https:\/\/tools.ietf.org\/html\/rfc896. Accessed 10 July 2020"},{"key":"22_CR24","doi-asserted-by":"publisher","unstructured":"Narayanan, V., Baranowski, M.S., Ryzhyk, L., Rakamari\u0107, Z., Burtsev, A.: Redleaf: towards an operating system for safe and verified firmware, pp. 37\u201344 (2019). https:\/\/doi.org\/10.1145\/3317550.3321449. http:\/\/doi.acm.org\/10.1145\/3317550.3321449","DOI":"10.1145\/3317550.3321449"},{"key":"22_CR25","unstructured":"OASIS Virtual I\/O Device (VIRTIO) TC: Virtual I\/O Device (VIRTIO) Version 1.1 (2018). https:\/\/docs.oasis-open.org\/virtio\/virtio\/v1.1\/csprd01\/virtio-v1.1-csprd01.html"},{"key":"22_CR26","doi-asserted-by":"publisher","unstructured":"Olivier, P., Chiba, D., Lankes, S., Min, C., Ravindran, B.: A binary-compatible unikernel. In: Proceedings of the 15th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments, VEE 2019, pp. 59\u201373. Association for Computing Machinery, New York (2019). https:\/\/doi.org\/10.1145\/3313808.3313817","DOI":"10.1145\/3313808.3313817"},{"key":"22_CR27","unstructured":"Picheta, D.: Nim in action. http:\/\/nim-lang.org\/. Accessed 4 Mar 2019"},{"key":"22_CR28","unstructured":"DPDK Project: Data Plane Development Kit. https:\/\/www.dpdk.org. Accessed 10 July 2020"},{"issue":"2","key":"22_CR29","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1145\/358818.358822","volume":"23","author":"DD Redell","year":"1980","unstructured":"Redell, D.D., et al.: Pilot - an operating system for a personal computer. Commun. ACM 23(2), 81\u201392 (1980)","journal-title":"Commun. ACM"},{"key":"22_CR30","unstructured":"RedHat: Newlib - a c library for embedded systems. https:\/\/sourceware.org\/newlib\/. Accessed 13 Feb 2019"},{"key":"22_CR31","unstructured":"Redox: A unix-like operating system written in rust. https:\/\/www.redox-os.org. Accessed 13 Feb 2019"},{"key":"22_CR32","doi-asserted-by":"publisher","unstructured":"Russell, R.: Virtio: towards a de-facto standard for virtual i\/o devices. SIGOPS Oper. Syst. Rev. 42(5), 95\u2013103 (2008). https:\/\/doi.org\/10.1145\/1400097.1400108","DOI":"10.1145\/1400097.1400108"},{"key":"22_CR33","unstructured":"Rust Project Developers: Future - a Representation of asynchronous computation. https:\/\/doc.rust-lang.org\/std\/future\/trait.Future.html. Accessed 10 July 2020"},{"key":"22_CR34","unstructured":"Rust Project Developers: Cargo - a rust package manager. https:\/\/doc.rust-lang.org\/cargo\/. Accessed 4 Mar 2019"},{"key":"22_CR35","unstructured":"Rust Project Developers: The Rust Programming Language. https:\/\/www.rust-lang.org. Accessed 4 Mar 2019"},{"key":"22_CR36","unstructured":"Tock: A secure embedded operating system for cortex-m based microcontrollers. https:\/\/www.tockos.org. Accessed 4 Mar 2019"},{"key":"22_CR37","unstructured":"Torvalds, L.: (2004). http:\/\/harmful.cat-v.org\/software\/c++\/linus"},{"key":"22_CR38","unstructured":"Unikraft: An easy way of crafting unikernels. http:\/\/unikraft.neclab.eu. Accessed 4 Mar 2019"},{"key":"22_CR39","unstructured":"Virtio-fs Project Developers: virtio-fs. https:\/\/virtio-fs.gitlab.io. Accessed 14 July 2020"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-59851-8_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,24]],"date-time":"2021-04-24T21:16:45Z","timestamp":1619299005000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-59851-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030598501","9783030598518"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-59851-8_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"20 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISC High Performance","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on High Performance Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Frankfurt am Main","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"35","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"supercomputing2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.isc-hpc.com\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Linklings","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"87","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.73","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4.33","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The conference was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}