面向网构软件的操作系统面向网构软件的操作系统-北京大学软件工程.pdfVIP

科技导报2016，34（14） 面向网构软件的操作系统面向网构软件的操作系统：：发展及现状发展及现状 1,2,3 1,2 梅宏 ，郭耀 1. 北京大学信息科学技术学院软件研究所，北京 100871 2. 高可信软件技术教育部重点实验室（北京大学），北京 100871 3.上海交通大学计算机科学与工程系，上海200240 摘要摘要 计算机软件是计算机系统的“灵魂”，而操作系统是软件运行支撑技术的核心。在互联网时代，软件的运行环境和开发方 法发生了重要变化，迫切需要一种新型的面向互联网计算的软件范型，中国学者将这种新范型命名为网构软件。网构软件对包 括操作系统在内的软件技术体系带来一系列新挑战。本文关注“面向网构软件的操作系统”（简称“网构操作系统”），简要回顾了 操作系统的发展历史，介绍了网构操作系统的概念、基本特征和关键支撑技术。在总结当前网构操作系统的发展现状的基础上， 对操作系统的未来发展进行了展望。 关键词关键词 操作系统；网构软件；网构操作系统；软件定义 [2] 计算机软件是计算机系统执行某 件运行等 。 项任务所需的程序、数据及文档的集 进入21世纪，在互联网计算环境 合，是计算机系统的“灵魂”。作为计算 下的软件形态展现出一系列新的特 机系统的一部分，软件已经逐渐渗入人 点。从软件范型的研究角度来看，发生 类社会、经济、生活的方方面面。C++ 了研究对象从“产生于相对封闭、静态、 语言的设计者、著名计算机科学家 可控环境下的传统软件”到“运行于开 BjarneStroustrup在演讲中多次提到 放、动态、难控的网络环境下的复杂软 “我们的文明运行在软件之上”。美国 件”的转变；质量目标的重心从“指标相 著名发明家和计算机科学家 Ray 对单一的系统内部和外部质量”到“指 Kurzweil在其《奇点临近：当计算机智 标比较综合的以可信度和服务质量为 图1 软件技术体系 [1] 能超越人类》中也断言：“如果地球上 主的使用质量”的转变；构造方法从“满 所有智能软件都突然停止工作，那么人 络，以及开放互联网的演变，软件应用 足功能需求并保障功能正确性”到“满 类现代文明也会戛然而止。” 也从最初单纯的计算与数据处理拓展 足质量需求并保障可信度和服务质量” 计算机软件技术体系主要涉及四 到各个行业的应用，乃至现在泛在的无 的转变；运行支撑从“凝练共性应用功 个方面（图1）：软件范型、软件开发（构 所不在的应用。在过去60年中，软件 能并保证软件正确运行”到“凝练共性 造）方法、软件运行支撑及软件质量度 范型经历了无结构、结构化、面向对象、 管理功能并保证软件可信、高服务质量 量与评估。软件范型是从软件工程师 面向构件/面向服务化等的变迁，每次 运行”的转变。 （或程序员）视角看到的软件模型及其 软件范型的变