{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T23:30:30Z","timestamp":1773099030335,"version":"3.50.1"},"reference-count":39,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2024,3,1]]},"DOI":"10.1587\/transinf.2023mpp0001","type":"journal-article","created":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T22:25:18Z","timestamp":1709245518000},"page":"245-256","source":"Crossref","is-referenced-by-count":2,"title":["rOOM: A Rust-Based Linux Out of Memory Kernel Component"],"prefix":"10.1587","volume":"E107.D","author":[{"given":"Linhan","family":"LI","sequence":"first","affiliation":[{"name":"College of Information Engineering, Capital Normal University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qianying","family":"ZHANG","sequence":"additional","affiliation":[{"name":"College of Information Engineering, Capital Normal University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zekun","family":"XU","sequence":"additional","affiliation":[{"name":"College of Information Engineering, Capital Normal University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shijun","family":"ZHAO","sequence":"additional","affiliation":[{"name":"Institute of Information Engineering, Chinese Academy of Sciences"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiping","family":"SHI","sequence":"additional","affiliation":[{"name":"College of Information Engineering, Capital Normal University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"GUAN","sequence":"additional","affiliation":[{"name":"College of Information Engineering, Capital Normal University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] L. Li, Q. Zhang, S. Zhao, Z. Shi, and Y. Guan, \u201cDesign and Implementation of OOM Module based on Rust,\u201d Proc. 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C), Guangzhou, China, pp.774-775, Dec. 2022. 10.1109\/qrs-c57518.2022.00129","DOI":"10.1109\/QRS-C57518.2022.00129"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] L. Vignati, S. Zambon, and L. Turchet, \u201cA comparison of real-time linux-based architectures for embedded musical applications,\u201d Journal of the Audio Engineering Society, vol.70, no.1\/2, pp.83-93, 2022. 10.17743\/jaes.2021.0052","DOI":"10.17743\/jaes.2021.0052"},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] O. Aciicmez, A. Latifi, J.-P. Seifert, and X. Zhang, \u201cA trusted mobile phone prototype,\u201d Proc. 5th IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas, Nevada, pp.1208-1209, Jan. 2008. 10.1109\/ccnc08.2007.270","DOI":"10.1109\/ccnc08.2007.270"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] S.-H. Wang, S.-W. Cheng, and C.-C. Huang, \u201cPuyuma: Linux-based rtos experimental platform for constructing self-driving miniature vehicles,\u201d Proc. Intelligent Computing: Proc. 2018 Computing Conference, London, United Kingdom, vol.858, pp.985-994, July 2018. 10.1007\/978-3-030-01174-1_75","DOI":"10.1007\/978-3-030-01174-1_75"},{"key":"5","unstructured":"[5] MSRC Team, \u201cA proactive approach to more secure code,\u201d July 16, 2019, https:\/\/msrc-blog.microsoft.com\/2019\/07\/16\/a-proactive-approach-to-more-secure-code\/."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] X. Wang, H. Chen, A. Cheung, Z. Jia, N. Zeldovich, and M.F. Kaashoek, \u201cUndefined behavior: what happened to my code?\u201d Proc. 2012 Asia-Pacific Workshop on Systems (APSYS), pp.1-7, July 2012. 10.1145\/2349896.2349905","DOI":"10.1145\/2349896.2349905"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] H. Yan, Y. Sui, S. Chen, and J. Xue, \u201cMachine-learning-guided typestate analysis for static use-after-free detection,\u201d Proc. 33rd Annual Computer Security Applications Conference (ACSAC), Orlando, FL, USA, pp.42-54, Dec. 2017. 10.1145\/3134600.3134620","DOI":"10.1145\/3134600.3134620"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] W. Xu, J. Li, J. Shu, W. Yang, T. Xie, Y. Zhang, and D. Gu, \u201cFrom collision to exploitation: Unleashing use-after-free vulnerabilities in linux kernel,\u201d Proc. 22nd ACM SIGSAC Conference on Computer and Communications Security (CCS), Denver, Colorado, USA, pp.414-425, Oct. 2015. 10.1145\/2810103.2813637","DOI":"10.1145\/2810103.2813637"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] J. Caballero, G. Grieco, M. Marron, and A. Nappa, \u201cUndangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities,\u201d Proc. 2012 International Symposium on Software Testing and Analysis (ISSTA), Minneapolis, MN, USA, pp.133-143, July 2012. 10.1145\/2338965.2336769","DOI":"10.1145\/2338965.2336769"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] B.M. Padmanabhuni and H.B.K. Tan, \u201cAuditing buffer overflow vulnerabilities using hybrid static-dynamic analysis,\u201d IET Software, vol.10, no.2, pp.54-61, 2016. 10.1049\/iet-sen.2014.0185","DOI":"10.1049\/iet-sen.2014.0185"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] S.J. Fink, E. Yahav, N. Dor, G. Ramalingam, and E. Geay, \u201cEffective typestate verification in the presence of aliasing,\u201d ACM Transactions on Software Engineering and Methodology, vol.17, no.2, pp.1-34, 2008. 10.1145\/1348250.1348255","DOI":"10.1145\/1348250.1348255"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] S. Nagarakatte, J. Zhao, M.M.K. Martin, and S. Zdancewic, \u201cSoftBound: Highly compatible and complete spatial memory safety for C,\u201d Proc. 30th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Dublin, Ireland, pp.245-258, June 2009. 10.1145\/1542476.1542504","DOI":"10.1145\/1542476.1542504"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] S. Nagarakatte, J. Zhao, M.M.K. Martin, and S. Zdancewic, \u201cCETS: compiler enforced temporal safety for C,\u201d Proc. 2010 International Symposium on Memory Management (ISMM), Toronto, Ontario, Canada, pp.31-40, June 2010. 10.1145\/1806651.1806657","DOI":"10.1145\/1806651.1806657"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] O. Oleksenko, D. Kuvaiskii, P. Bhatotia, P. Felber, and C. Fetzer, \u201cIntel mpx explained: A cross-layer analysis of the intel mpx system stack,\u201d ACM on Measurement and Analysis of Computing Systems, vol.2, no.2, pp.1-30, 2018. 10.1145\/3219617.3219662","DOI":"10.1145\/3224423"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] D. Engler and K. Ashcraft, \u201cRacerX: effective, static detection of race conditions and deadlocks,\u201d Proc. 19th International Symposium on Operating Systems Principles (SOSP), Bolton Landing, NY, USA, pp.237-252, Oct. 2003. 10.1145\/945445.945468","DOI":"10.1145\/1165389.945468"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] E. van der Kouwe, V. Nigade, and C. Giuffrida, \u201cDangsan: Scalable use-after-free detection,\u201d Proc. Twelfth European Conference on Computer Systems (EuroSys), Belgrade, Serbia, pp.405-419, April 2017. 10.1145\/3064176.3064211","DOI":"10.1145\/3064176.3064211"},{"key":"17","unstructured":"[17] L. Tung, \u201cNSA to developers: Think about switching from C and C++ to a memory safe programming language,\u201d Nov. 2022, https:\/\/www.zdnet.com\/article\/."},{"key":"18","doi-asserted-by":"crossref","unstructured":"[18] P. Pufek, H. Grgi\u0107, and B. Mihaljevi\u0107, \u201cAnalysis of garbage collection algorithms and memory management in java,\u201d Proc. 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), Opatija, Croatia, pp.1677-1682, May 2019. 10.23919\/mipro.2019.8756844","DOI":"10.23919\/MIPRO.2019.8756844"},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] P. Emmerich, S. Ellmann, F. Bonk, A. Egger, E.G. Sanchez-Torija, T. G\u00fcnzel, S. di Luzio, A. Obada, M. Stadlmeier, S. Voit, and G. Carle, \u201cThe Case for Writing Network Drivers in High-Level Programming Languages,\u201d Proc. 15th ACM\/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Cambridge, UK, pp.1-13, Sept. 2019. 10.1109\/ancs.2019.8901892","DOI":"10.1109\/ANCS.2019.8901892"},{"key":"20","unstructured":"[20] C. Cutler, M.F. Kaashoek, and R.T. Morris, \u201cThe benefits and costs of writing a POSIX kernel in a high-level language,\u201d Proc. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Carlsbad, CA, USA, pp.89-105, Oct. 2018."},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] G.C. Hunt and J.R. Larus, \u201cSingularity: rethinking the software stack,\u201d ACM SIGOPS Operating Systems Review, vol.41, no.2, pp.37-49, 2007. 10.1145\/1243418.1243424","DOI":"10.1145\/1243418.1243424"},{"key":"22","unstructured":"[22] S. Klabnik and C. Nichols, The Rust Programming Language (Covers Rust 2018), No Starch Press, 2019."},{"key":"23","unstructured":"[23] M. Ojeda, et al., \u201cRust for Linux Project,\u201d https:\/\/github.com\/Rust-for-Linux."},{"key":"24","unstructured":"[24] Redox Project Developers, \u201cRedox-Your Next(Gen) OS,\u201d http:\/\/www.redox-os.org\/."},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] A. Levy, B. Campbell, B. Ghena, D.B. Giffin, P. Pannuto, and P. Dutta, \u201cMultiprogramming a 64kb computer safely and efficiently,\u201d Proc. 26th Symposium on Operating Systems Principles (SOSP), Shanghai, China, pp.234-251, Oct. 2017. 10.1145\/3132747.3132786","DOI":"10.1145\/3132747.3132786"},{"key":"26","unstructured":"[26] V. Narayanan, T. Huang, D. Detweiler, and D. Appel, \u201cRedLeaf: Isolation and Communication in a Safe Operating System,\u201d Proc. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp.21-39, Nov. 2020."},{"key":"27","unstructured":"[27] K. Boos, N. Liyanage, R. Ijaz, and L. Zhong, \u201cTheseus: an experiment in operating system structure and state management,\u201d Proc. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI), pp.1-19, Nov. 2020."},{"key":"28","unstructured":"[28] rOOM, \u201cLinux memory reclamation component based on Rust,\u201d https:\/\/github.com\/lilinhan12."},{"key":"29","unstructured":"[29] I. Khan, \u201cLinux SLUB allocator internals and debugging,\u201d Dec. 2022, https:\/\/blogs.oracle.com\/linux\/."},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] B. Stroustrup, \u201cException safety: concepts and techniques,\u201d Advances in exception handling techniques, Berlin, pp.60-76, 2001. 10.1007\/3-540-45407-1_4","DOI":"10.1007\/3-540-45407-1_4"},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] R. Jung, J.-H. Jourdan, R. Krebbers, and D. Dreyer, \u201cRustBelt: Securing the foundations of the Rust programming language,\u201d Proc. ACM on Programming Languages, vol.2, no.POPL, pp.1-34, 2017. 10.1145\/3158154","DOI":"10.1145\/3158154"},{"key":"32","unstructured":"[32] Servo, \u201cthe Parallel Browser Engine Project,\u201d http:\/\/www.servo.org."},{"key":"33","unstructured":"[33] A. Agache, M. Brooker, A. Florescu, A. Iordache, A. Liguori, and R. Neugebauer, \u201cFirecracker: Lightweight virtualization for serverless applications,\u201d Proc. 17th USENIX symposium on networked systems design and implementation (NSDI), Santa Clara, CA, USA, pp.419-434, Feb. 2020."},{"key":"34","unstructured":"[34] Intel, \u201cCloud Hypervisor VMM,\u201d https:\/\/github.com\/cloud-hypervisor."},{"key":"35","unstructured":"[35] S. Miller, K. Zhang, M. Chen, R. Jennings, A. Chen, D. Zhuo, and T. Anderson, \u201cHigh velocity kernel file systems with bento,\u201d Proc. 19th USENIX Conference on File and Storage Technologies (FAST), pp.65-79, Feb. 2021."},{"key":"36","doi-asserted-by":"crossref","unstructured":"[36] K. Elphinstone and G. Heiser, \u201cFrom L3 to seL4 what have we learnt in 20 years of L4 microkernels?\u201d Proc. 24th ACM Symposium on Operating Systems Principles (SOSP), Farminton, Pennsylvania, pp.133-150, Nov. 2013. 10.1145\/2517349.2522720","DOI":"10.1145\/2517349.2522720"},{"key":"37","doi-asserted-by":"publisher","unstructured":"[37] J.N. Herder, H. Bos, B. Gras, B. Homburg, and A.S. Tanenbaum, \u201cMINIX 3: A highly reliable, self-repairing operating system,\u201d ACM SIGOPS Operating Systems Review, vol.40, no.3, pp.80-89, 2006. 10.1145\/1151374.1151391","DOI":"10.1145\/1151374.1151391"},{"key":"38","unstructured":"[38] M.K. McKusick, K. Bostic, M.J. Karels, et al., The Design and Implementation of the 4.4 BSD Operating System, Addison-Wesley, Reading, MA, 1996."},{"key":"39","doi-asserted-by":"crossref","unstructured":"[39] K. Boos, E.D. Vecchio, and L. Zhong, \u201cA characterization of state spill in modern operating systems,\u201d Proc. Twelfth European Conference on Computer Systems (EuroSys), Belgrade, Serbia, pp.389-404, April 2017. 10.1145\/3064176.3064205","DOI":"10.1145\/3064176.3064205"}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E107.D\/3\/E107.D_2023MPP0001\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T04:24:46Z","timestamp":1709353486000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E107.D\/3\/E107.D_2023MPP0001\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,1]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2023mpp0001","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,1]]},"article-number":"2023MPP0001"}}