Page 478 - 《软件学报》2025年第5期

2378 软件学报 2025 年第 36 卷第 5 期

[3] Marty M, de Kruijf M, Adriaens J, Alfeld C, Bauer S, Contavalli C, Dalton M, Dukkipati N, Evans WC, Gribble S, Kidd N, Kononov R,
Kumar G, Mauer C, Musick E, Olson L, Rubow E, Ryan M, Springborn K, Turner P, Valancius V, Wang X, Vahdat A. Snap: A
microkernel approach to host networking. In: Proc. of the 27th ACM Symp. on Operating Systems Principles. Huntsville: Association for
Computing Machinery, 2019. 399–413. [doi: 10.1145/3341301.3359657]
[4] Bijlani A, Ramachandran U. Extension framework for file systems in user space. In: Proc. of the 2019 USENIX Conf. on USENIX
Annual Technical Conf. Renton: USENIX Association, 2019. 121–134.
[5] Ford B, Hibler M, Lepreau J, Tullmann P, Back G, Clawson S. Microkernels meet recursive virtual machines. In: Proc. of the 2nd
USENIX Symp. on Operating Systems Design and Implementation. Seattle: Association for Computing Machinery, 1996. 137–151.
[doi: 10.1145/238721.238769]
[6] Wu FN, Dong MK, Mo GQ, Chen HB. TreeSLS: A whole-system persistent microkernel with tree-structured state checkpoint on NVM.
In: Proc. of the 29th Symp. on Operating Systems Principles. Koblenz: Association for Computing Machinery, 2023. 1–16. [doi: 10.1145/
3600006.3613160]
[7] Levin R, Cohen E, Corwin W, Pollack F, Wulf W. Policy/mechanism separation in Hydra. In: Proc. of the 5th ACM Symp. on Operating
Systems Principles. Austin: Association for Computing Machinery, 1975. 132–140. [doi: 10.1145/800213.806531]
[8] Shapiro JS, Smith JM, Farber DJ. EROS: A fast capability system. In: Proc. of the 17th ACM Symp. on Operating Systems Principles.
Charleston: Association for Computing Machinery, 1999. 170–185. [doi: 10.1145/319151.319163]
[9] Hildebrand D. An architectural overview of QNX. In: Proc. of the 1992 Workshop on Micro-kernels and Other Kernel Architectures.
Seattle: USENIX Association, 1992. 113–126.
[10] Reynolds F. An architectural overview of alpha: A real-time, distributed kernel. In: Proc. of the 1992 Workshop on Micro-kernels and
Other Kernel Architectures. Seattle: USENIX Association, 1992. 127–146.
[11] Gaisler J. Concurrent error-detection and modular fault-tolerance in a 32-bit processing core for embedded space flight applications. In:
Proc. of the 24th IEEE Int’l Symp. on Fault-tolerant Computing. Austin: IEEE Computer Society, 1994. 128–130. [doi: 10.1109/FTCS.
1994.315650]
[12] Gaisler J. A portable and fault-tolerant microprocessor based on the SPARC v8 architecture. In: Proc. of the 2002 Int’l Conf. on
Dependable Systems and Networks. Washington: IEEE Computer Society, 2002. 409–415. [doi: 10.1109/DSN.2002.1028926]
[13] Själander M, Habinc S, Gaisler J. LEON4: Fourth generation of the leon processor. In: Proc. of Data Systems in Aerospace. Istanbul,
2009. https://www.sjalander.com/research/pdf/sjalander-dasia2009.pdf
[14] Li Z, Li WX, Jin T. Transplantation and application of operation system based on BM3803. Radar Science and Technology, 2016, 14(3):
311–316, 323 (in Chinese with English abstract). [doi: 10.3969/j.issn.1672-2337.2016.03.015]
[15] Jiang XH, Li FH, Qi B. S698 SoC and applications on SPARC. Microcontrollers & Embedded Systems, 2007, 7(8): 84–85 (in Chinese).
[doi: 10.3969/j.issn.1009-623X.2007.08.028]
[16] Andersson J, Hjorth M, Johansson F, Habinc S. LEON processor devices for space missions: First 20 years of LEON in space. In: Proc. of
the 6th Int’l Conf. on Space Mission Challenges for Information Technology (SMC-IT). Madrid: IEEE Computer Society, 2017.
136–141. [doi: 10.1109/SMC-IT.2017.31]
[17] Tong JG, Anderson IDL, Khalid MAS. Soft-core processors for embedded systems. In: Proc. of the 2006 Int’l Conf. on Microelectronics.
Dhahran: IEEE Computer Society, 2006. 170–173. [doi: 10.1109/ICM.2006.373294]
[18] Guzmán D, Prieto M, Sánchez S, Almena J, Rodríguez O, Meziat D. Improving the LEON spacecraft computer processor for real-time
performance analysis. Journal of Spacecraft and Rockets, 2011, 48(4): 671–678. [doi: 10.2514/1.50209]
[19] Engler DR, Kaashoek MF, O’Toole J. Exokernel: An operating system architecture for application-level resource management. In: Proc.
of the 15th ACM Symp. on Operating Systems Principles. Copper Mountain: Association for Computing Machinery, 1995. 251–266.
[doi: 10.1145/224056.224076]
[20] Li CP, Ding C, Shen K. Quantifying the cost of context switch. In: Proc. of the 2007 Workshop on Experimental Computer Science. San
Diego: Association for Computing Machinery, 2007. [doi: 10.1145/1281700.1281702]
[21] Liedtke J. A persistent system in real use-experiences of the first 13 years. In: Proc. of the 3rd Int’l Workshop on Object Orientation in
Operating Systems. Asheville: IEEE Computer Society, 1993. 2–11. [doi: 10.1109/IWOOOS.1993.324932]
[22] Tsafrir D. The context-switch overhead inflicted by hardware interrupts (and the enigma of do-nothing loops). In: Proc. of the 2007
Workshop on Experimental Computer Science. San Diego: Association for Computing Machinery, 2007. [doi: 10.1145/1281700.
1281704]
[23] Gu JY, Li H, Li WT, Xia YB, Chen HB. EPK: Scalable and efficient memory protection keys. In: Proc. of the 2022 USENIX Annual
Technical Conf. Carlsbad: USENIX Association, 2022. 609–624.