AIPUB归智期刊联盟

微信公众号

网站二维码

2025年4月1日 5:11 星期二
首页 > 过刊浏览>2022年第31卷第5期 >21-29. DOI:10.15888/j.cnki.csa.008426
PDF HTML阅读 XML下载 导出引用 引用提醒
多内核操作系统综述
作者:

Survey on Multikernel Operating Systems
Author:
  • 摘要
    • | |
  • 访问统计
    • |
  • 参考文献 [25]
    • |
  • 相似文献 [20]
    • | | |
  • 文章评论
    摘要:

    操作系统在现代生活中具有举足轻重的地位. 为了服务于不同的硬件环境和多样的应用场景, 操作系统需要在保持性能的同时具备良好的扩展性和灵活性. 多内核操作系统, 作为一种分布式的操作系统, 是该问题的解决方案之一. 本文分析了多内核操作系统的设计原理, 调研了现有的多内核操作系统技术, 并对这些技术和一些相关技术进行了比较. 最后, 本文对多内核操作系统研究的现状与未来方向进行了总结.

    Abstract:

    Operating systems play an important role in modern life. To serve different hardware environments and diverse application scenarios, they need to be scalable and flexible while maintaining good performance. A multicore operating system, as a kind of distributed operating system, is one of the solutions to this problem. This study analyzes the design principles of multicore operating systems, investigates existing multicore operating system technologies, and compares these technologies with other relevant ones. Finally, the current situation and trend of the research on multicore operating systems are summarized.

    参考文献
    [1] Greenhalgh P. Big. LITTLE processing with ARM Cortex-A15 & Cortex-A7: Improving energy efficiency in high-performance mobile platforms. White Paper, ARM Ltd., 2011.
    [2] Yodaiken V, Barabanov M. A real-time Linux. Linux Journal, 1997, 34(1): 31–33
    [3] Yodaiken V. The RTLinux manifesto. Proceedings of the 5th Linux Expo. Raleigh, 1999.
    [4] Yodaiken V. Cheap operating systems research. Proceedings of the 1st Conference on Freely Redistributable Systems. Cambridge, 1996.
    [5] Barabanov M. A Linux based real time operating system [Master’s Thesis]. New Mexico: New Mexico Institute of Mining and Technology, 1997.
    [6] Gerum P. Xenomai-implementing a RTOS emulation framework on GNU/Linux. White Paper, Xenomai, 2004: 81.
    [7] Ugal AS. Hard real time Linux using Xenomai on Intel? multi-core processors. White Paper, Intel, 2009.
    [8] 《虚拟化与云计算》小组. 虚拟化与云计算. 北京: 电子工业出版社, 2009.
    [9] 林芊. 基于混合虚拟化技术的虚拟机性能优化研究及应用[硕士学位论文]. 上海: 上海交通大学, 2011.
    [10] 英特尔开源软件技术中心, 复旦大学并行处理研究所. 系统虚拟化: 原理与实现. 北京: 清华大学出版社, 2009.
    [11] Pratt I, Fraser K, Hand S, et al. Xen 3.0 and the art of virtualization. Proceedings of the 2005 Ottawa Linux Symposium. Ottawa, 2005.
    [12] 广小明, 胡杰, 陈龙, 等. 虚拟化技术原理与实现. 北京:电子工业出版社, 2012: 96–100
    [13] 金海, 廖小飞. 面向计算系统的虚拟化技术. 中国基础科学, 2008, 10(6): 12–18. [doi: 10.3969/j.issn.1009-2412.2008.06.002
    [14] Boyd-Wickizer S, Chen HB, Chen R, et al. Corey: An operating system for many cores. Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. Berkeley: USENIX Association, 2008. 43–57.
    [15] Peters S, Danis A, Elphinstone K, et al. For a microkernel, a big lock is fine. Proceedings of the 6th Asia-Pacific Workshop on Systems. Tokyo: Association for Computing Machinery, 2015. 3.
    [16] Klein G, Elphinstone K, Heiser G, et al. SeL4: Formal verification of an OS kernel. Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles. Big Sky: Association for Computing Machinery, 2009. 207–220.
    [17] Elphinstone K, Heiser G. From L3 to SeL4 what have we learnt in 20 years of L4 microkernels? Proceedings of the 24th ACM Symposium on Operating Systems Principles. Pennsylvania: Association for Computing Machinery, 2013. 133–150.
    [18] Intel Corporation. Intel? 64 and IA-32 architectures software developer’s manual: Volume 3 (3A, 3B, 3C & 3D): System programming guide. Intel Corporation, 2016.
    [19] Baumann A, Barham P, Dagand PE, et al. The multikernel: A new OS architecture for scalable multicore systems. Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles. Big Sky: Association for Computing Machinery, 2009. 29–44.
    [20] ETH Zürich. The Barrelfish operating system. http://www.barrelfish.org/. (2020-03-23).
    [21] Zellweger G, Gerber S, Kourtis K, et al. Decoupling cores, kernels, and operating systems. Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation. Berkeley: USENIX Association, 2014. 17–31.
    [22] Menzi D. Support for heterogeneous cores for Barrelfish [Master’s Thesis]. Swiss: ETH Zürich, 2011.
    [23] Shan YZ, Huang YT, Chen YL, et al. LegoOS: A disseminated, distributed OS for hardware resource disaggregation. Proceedings of the 13th USENIX Conference on Operating Systems Design and Implementation. Carlsbad: USENIX Association, 2018. 69–87.
    [24] Boos K, Liyanage N, Ijaz R, et al. Theseus: An experiment in operating system structure and state management. Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation. Banff: USENIX Association, 2020. 1.
    [25] Rossbach CJ, Currey J, Silberstein M, et al. PTask: Operating system abstractions to manage GPUs as compute devices. Proceedings of the 23rd ACM Symposium on Operating Systems Principles. Cascais: Association for Computing Machinery, 2011. 233–248.
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

林玉哲,蒋金虎,张为华.多内核操作系统综述.计算机系统应用,2022,31(5):21-29

复制
分享
文章指标
  • 点击次数:1083
  • 下载次数: 6787
  • HTML阅读次数: 4037
  • 引用次数: 0
历史
  • 收稿日期:2021-06-30
  • 最后修改日期:2021-07-30
  • 在线发布日期: 2022-02-21
文章二维码
友情链接:中国科学院软件研究所中国计算机学会中国科学院国家自然科学基金委员会软件学报
您是第11117171位访问者
版权所有：中国科学院软件研究所 京ICP备05046678号-3
地址：北京海淀区中关村南四街4号 中科院软件园区 7号楼305房间,邮政编码：100190
电话：010-62661041 传真： Email：csa (a) iscas.ac.cn
技术支持：北京勤云科技发展有限公司

京公网安备 11040202500063号