RustyHermit: A Scalable, Rust-Based Virtual Execution Environment-Reference-Cited by-同舟云学术

RustyHermit: A Scalable, Rust-Based Virtual Execution Environment

Published:2020 Issue: Volume: Page:331-342
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Lankes Stefan,Klimt Jonathan,Breitbart Jens,Pickartz Simon

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-59851-8_22

Reference39 articles.

1. 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–99 (2017). https://doi.org/10.1145/3139645.3139660

2. 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)

3. 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–19, September 2018

4. D Language Foundation: The D Programming Language. https://dlang.org/. Accessed 4 Mar 2019

5. Dunkels, A.: Design and Implementation of the LwIP TCP/IP Stack. Swedish Institute of Computer Science (2001)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Taming shared mutable states of operating systems in Rust;Science of Computer Programming;2024-12

2. Unishyper: A Rust-based unikernel enhancing reliability and efficiency of embedded systems;Journal of Systems Architecture;2024-08

3. Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation;Proceedings of the ACM on Programming Languages;2024-06-20

4. GPU Acceleration in Unikernels Using Cricket GPU Virtualization;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12

5. On the Challenge of Sound Code for Operating Systems;Proceedings of the 12th Workshop on Programming Languages and Operating Systems;2023-10-23