专题论文

面向网构软件的操作系统:发展及现状

  • 梅宏 ,
  • 郭耀
展开
  • 1. 北京大学信息科学技术学院软件研究所, 北京 100871;
    2. 高可信软件技术教育部重点实验室(北京大学), 北京 100871;
    3. 上海交通大学计算机科学与工程系, 上海 200240
梅宏,教授,中国科学院院士,研究方向为系统软件和软件工程,电子信箱:meih@pku.edu.cn

收稿日期: 2016-05-30

  修回日期: 2016-07-06

  网络出版日期: 2016-08-18

基金资助

国家高技术研究发展计划(863计划)项目(2015AA01A202);国家自然科学基金项目(61421091)

Development and present situation of Internetware operating systems

  • MEI Hong ,
  • GUO Yao
Expand
  • 1. School of Electronics Engineering and Computer Science, Peking University , Beijing 100871, China;
    2. Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education, Beijing 100871, China;
    3. Department of Computer Science and Engineering, Shanghai Jiaotong University, Shanghai 200240, China

Received date: 2016-05-30

  Revised date: 2016-07-06

  Online published: 2016-08-18

摘要

计算机软件是计算机系统的“灵魂”,而操作系统是软件运行支撑技术的核心。在互联网时代,软件的运行环境和开发方法发生了重要变化,迫切需要一种新型的面向互联网计算的软件范型,中国学者将这种新范型命名为网构软件。网构软件对包括操作系统在内的软件技术体系带来一系列新挑战。本文关注“面向网构软件的操作系统”(简称“网构操作系统”),简要回顾了操作系统的发展历史,介绍了网构操作系统的概念、基本特征和关键支撑技术。在总结当前网构操作系统的发展现状的基础上,对操作系统的未来发展进行了展望。

本文引用格式

梅宏 , 郭耀 . 面向网构软件的操作系统:发展及现状[J]. 科技导报, 2016 , 34(14) : 33 -41 . DOI: 10.3981/j.issn.1000-7857.2016.14.004

Abstract

Computer software is the soul of a computer system, while operating system is the core of software runtime supporting technology. In the Internet era, both software running environments and software development methods have been undergoing dramatic changes, thus we urgently need a new software paradigm for internet computing. Chinese researchers have named this new paradigm “internetware”, which has brought a series of challenges to software technologies including operating systems. This article focuses on operating systems for internetware, or internetware operating systems. We first briefly review the history of operating systems, and then introduce the concepts, basic characteristics and key supporting technologies for internetware operating systems. After summarizing the current development status of internetware operating systems, we present a brief outlook and trends for future operating systems.

参考文献

[1] Kurzweil R. The singularity is near: When humans transcend biology[J]. Cryonics, 2006, 85(1): 160-160.
[2] 杨芙清, 梅宏, 吕建,等. 浅论软件技术发展[J]. 电子学报, 2002, 30(12A): 1901-1906. Yang Fuqing, Mei Hong, Lv Jian, et al. Some discussion on the development of software technology[J]. Chinese Journal of Electronics, 2002, 30(12A): 1901-1906.
[3] Mei H, Huang G, Xie T. Internetware: A software paradigm for internet computing[J]. Computer. 2012, 45(6): 26-31.
[4] 杨芙清, 吕建, 梅宏. 网构软件技术体系:一种以体系结构为中心的途径[J]. 中国科学(信息科学), 2008, 38(6): 818-828. Yang F, Lv J, Mei H. Technical framework for Internetware: An architecture centric approach[J]. Science in China (Information Sciences), 2008, 38(6): 818-828.
[5] Hong M, Huang G, Zhao H, et al. A software architecture centric engineering approach for Internetware[J]. Science in China (Information Sciences), 2006, 49(6):702-730.
[6] Mei H, Huang G, Lan L, et al. A software architecture centric self-adaptation approach for Internetware[J]. Science in China (Information Sciences), 2008, 51(6): 722-742.
[7] Mei H, Liu X Z. Internetware: An emerging software paradigm for internet computing[J]. Journal of Computer Science & Technology, 2011, 26(4): 588-599.
[8] Tsai W T, Jin Z, Bai X. Internetware computing: Issues and perspective[C]//Proceedings of the First Asia-Pacific Symposium on Internetware'09. New York, NY: ACM, 2009: 415-438.
[9] Huang G, Song H, Hong M. SM@RT: Applying architecture-based runtime management into internetware systems[J/OL]. International Journal of Software and Information, 2009 [2016-04-28]. https://hal.archives-ouvertes.fr/inria-00459621/document.
[10] Yuan W, Jian L, Feng X U, et al. A trust measurement and evolution model for internetware[J]. Journal of Software, 2006, 17(4). Doi: 10.1360/jos170682.
[11] Lv J, Ma X X, Tao X P, et al. On environment-driven software model for Internetware[J]. Science in China (Information Sciences), 2008, 51(6): 683-721.
[12] Wang P, Sun C, Li L. Primary research on internetware reliability technology[C]//Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE Cs Proceeding of the First International Multi-Symposium of Computer and Computational Sciences. 2006: 424-428.
[13] Tao H, Ding X, Wei J. An application-semantics-based relaxed transaction model for internetware[J]. Science in China (Information Sciences), 2006, 49 (6): 774-791.
[14] Chen X, Liu X, Fang F, et al. Management as a service: An empirical case study in the internetware cloud[C]//e-Business Engineering (ICEBE), 2010 IEEE 7th International Conference on. Shanghai: IEEE, 2010: 470-473.
[15] Chang X U, Liu Y P, Cheung S C, et al. Towards context consistency by concurrent checking for Internetware applications[J]. Sciece China Information Sciences, 2013, 56(8): 1-20.
[16] Zhao L N, Yin Z, Ye X Z, et al. Self-adaptability of internetware based on P2P network[J]. Journal of Zhejiang University, 2008, 42(8): 1316-1322.
[17] Liu Y, Xu C, Cheung S C. Diagnosing energy efficiency and performance for mobile internetware applications[J]. IEEE Software, 2015, 32(1): 67-75.
[18] 张效祥. 计算机科学技术百科全书[M]. 2版. 北京: 清华大学出版社, 2005. Zhang Xiaoxiang. Encyclopedia of computer science and technology[M]. 2nd ed. Beijing: Tsinghua University Press, 2005.
[19] 梅宏, 郭耀. 面向网络的操作系统——现状和挑战[J]. 中国科学(信息科学), 2013, 43(3): 303-321. Mei Hong, Guo Yao. Network-oriented operating systems: Status and challenges[J]. Science in China (Information Sciences), 2013, 43(3): 303-321.
[20] Ousterhout J K, Cherenson A R, Douglis F, et al. The sprite network operating system[J]. Computer, 1988, 21(2): 23-36.
[21] Rashid R F, Robertson G G. Accent: A communication oriented network operating system kernel[C]//Proceedings of the Eighth ACM Symposium on Op-erating Systems Principles. New York: ACM, 2010: 64-75.
[22] Gude N, Koponen T, Pettit J, et al. NOX: Towards an operating system for networks[J]. ACM Sigcomm Computer Communication Review, 2008, 38(3): 105-110.
[23] Emmerich W, Aoyama M, Sventek J. The impact of research on the development of middleware technology[J]. ACM Transactions on Software Engineer-ing & Methodology, 2007, 17(4). Doi: 10.1145/13487689.13487692.
[24] Jenkins B. Developments in computer auditing[J]. Accountant. 1972.
[25] Bernstein P A. Middleware: A model for distributed system services[J]. Communications of the ACM, 1996, 39(2): 86-98.
[26] Mitchell J G. JavaOS: back to the future[J]. Stroke, 1994, 25(9): 1.
[27] Hacker S, Bortman H, Herborth C. The BeOS Bible[M]. 1st ed. London: Addison Wesley Longman Publishing House, 1999.
[28] Ritchie D M, Thompson K. The Unix time-sharing system?[J]. Bell System Technical Journal, 1978, 57(6): 1905-1929.
[29] Boyd-Wickizer S, Chen H, Chen R, et al. Corey: An operating system for many cores[C]. Usenix Symposium on Operating Systems Design and Imple-mentation, OSDI 2008, San Diego, California, December 8-10, 2008.
[30] Wentzlaff D, Agarwal A. Factored operating systems (fos): The case for a scalable operating system for multicores[J]. ACM SIGOPS Operating Systems Review, 2009, 43(2): 76-85.
[31] Cloud operating system (Cloud OS)[EB/OL]. [2016-04-28]. https://www.techopedia.com/definition/26867/cloud-operating-system-cloud-os.
[32] 梅宏, 黄罡, 曹东刚, 等. 从软件研究者的视角认识“软件定义”[J]. 中国计算机学会通讯, 2015, 11(1): 68-71. Mei Hong, Huang Gang, Cao Donggang, et al. Perspectives on“Software-defined”from software researchers[J]. Communications of CCCF, 2015, 11(1): 68-71.
[33] Barham P, Dragovic B, Fraser K, et al. Xen and the art of virtualization[J]. ACM Sigops Operating Systems Review, 2003, 37(5): 164-177.
[34] Nikolaev R, Back G. VirtuOS: An operating system with kernel virtualization[C]//Proceedings of the Twenty-Fourth ACM Symposium on Operating Sys-tems Principles. New York: ACM, 2013: 116-132..
[35] Angel S, Ballani H, Karagiannis T, et al. End-to-end performance isolation through virtual datacenters[C]//Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation. Berkeley, CA: USENIX Association, 2014: 233-248.
[36] Ben-Yehuda M, Day M D, Dubitzky Z, et al. The turtles project: Design and implementation of nested virtualization[C]//Proceedings of the 9th USENIX conference on Operating systems design and implementation. Berkeley, CA: USENIX Association,2010: 423-436..
[37] Zhang F, Chen J, Chen H, et al. CloudVisor: Retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization[C]//Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles. New York: ACM, 2011: 203-216.
[38] Gulati A, Merchant A, Varman P J. mClock: Handling throughput variability for hypervisor IO scheduling[C]//Proceedings of the 9th USENIX conference on Operating systems design and implementation. Berkeley, CA: USENIX Association, 2010: 437-450.
[39] Broomhead T, Cremean L, Ridoux J, et al. Virtualize everything but time[C]//Proceedings of the 9th USENIX conference on Operating systems design and implementation. Berkeley, CA: USENIX Association, 2010: 451-464.
[40] Andrus J, Dall C, Hof A V, et al. Cells: A virtual mobile smartphone architecture[C]//Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles. New York: ACM, 2011: 173-187.
[41] Fassino J P, Stefani J B, Lawall J L, et al. Think: A software framework for component-based operating system kernels[C]//Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference. Berkeley, CA: USENIX Association, 2002:73-86.
[42] Gabber E, Small C, Bruno J, et al. The pebble component-based operating system[C]//ATEC '99 Proceedings of the Annual Conference on USENIX An-nual Technical Conference. Berkeley, CA: USENIX Association, 1999: 267-282.
[43] Lu X, Kon F, Singhai A, R, et al. 2k: A reflective, component-based operating system for rapidly changing environments[C]//ECOOP '98 Workshop ion on Object-Oriented Technology. London: Springer-Verlag, 1998: 64-64.
[44] 陈向群, 徐冬, 滕启明. JBEOS:一种构件化的嵌入式操作系统[J]. 南京大学学报(自然科学版), 2005, 41(B12): 2476-2480. Chen Xiangqun, Xu Dong, Teng Qiming. JBEOS:A Component-based Embedded Operating System[J]. Journal of Nanjing University (Natural Sciences), 2005, 41(B12): 2476-2480.
[45] Simon P, Li J L, Zhang I, et al. Arrakis: the operating system is the control plane[C/OL]//Proceedings of the 11th USENIX conference on Operating Sys-tems Design and Implementation. Berkeley, CA: USENIX Association, 2014[2016-04-28]. https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-peter_simon.pdf.
[46] Peter S, Li J, Zhang I, et al. Arrakis: The operating system is the control plane[J]. ACM Transactions on Computer Systems, 2016, 33(4): 26-34.
[47] Belay A, Prekas G, Klimovic A, et al. IX: A protected dataplane operating system for high throughput and low latency[C]//Usenix Conference on Operat-ing Systems Design and Implementation. Berkeley, CA: USENIX Association, 2014: 49-65.
[48] Verma A, Pedrosa L, Korupolu M, et al. Large-scale cluster management at Google with Borg[C]//Proceedings of the Tenth European Conference on Com-puter Systems. New York: ACM, 2015. Doi: 10.1145/2741948.2741964.
[49] Hindman B, Konwinski A, Zaharia M, et al. Mesos: A platform for fine-grained resource sharing in the data center[C]//Proceedings of the 8th USENIX conference on Networked systems design and implementation. Berkeley, CA: USENIX Association, 2013: 295-308.
[50] VMware, Inc. Extend your workloads to hybrid cloud[EB/OL]. [2016-04-28]. http://www.vmware.com/cloud-services/infrastructure/.
[51] Dixon C, Mahajan R, Agarwal S, et al. An operating system for the home[C]//Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation. Berkeley, CA: USENIX Association, 2012: 25.
[52] Quigley M, Conley K, Gerkey B, et al. ROS: An open-source Robot Operating System[C/OL]. [2016-04-28]. http://ai.stanford.edu/~ang/papers/icraoss09-ROS.pdf.
[53] 卢锡城, 王怀民, 王戟. 虚拟计算环境iVCE: 概念与体系结构[J]. 中国科学(信息科学), 2006, 36(10): 1081-1099. Lu Xicheng, Wang Huaimin, Wang Ji. Virtualized computing environment iVCE: Concepts and architecture[J]. Science in China (Information Sciences), 2006, 36(10): 1081-1099.
[54] 张尧学, 周悦芝. 一种云计算操作系统TransOS: 基于透明计算的设计与实现[J]. 电子学报, 2011, 39(5): 985-990. Zhang Yaoxue, Zhou Yuezhi. A new cloud operating system: Design and implementation based on transparent computing[J]. Acta Electronica Sinica, 2011, 39(5): 985-990.
[55] Yuan P, Guo Y, Chen X. Towards an operating system for the campus[C]//Proceedings of the 5th Asia-Pacific Symposium on Internetware. New York: ACM, 2013. Doi: 10.1145/2532443.2532468.
[56] 华为技术有限公司. FusionSphere云操作系统[EB/OL]. [2016-04-22]. http://e.huawei.com/cn/products/cloud-computing-dc/cloud-computing/fusions-phere/fusionsphere. Huawei Technologies Co., Ltd. FusionSphere cloud operating system [EB/OL]. [2016-04-22]. http://e.huawei.com/cn/products/cloud-computing-dc/cloud-computing/fusionsphere/fusionsphere.
文章导航

/