CCF系统软件论坛

中国操作系统新技术与产业化

会议手册

2017年10月28日

上海浦东香格里拉大酒店沈阳厅

	组织单位：	中国计算机学会系统软件专委会
	承办单位：	南京大学
		上海交通大学
		中国科学院软件研究所
	合作单位：	普华基础软件股份有限公司
		中标软件有限公司
		天津麒麟信息技术有限公司
		系统软件专委会公众号

1.       会议议程

8:00-8:50 签到

时间：2017年10月28日 9：00-17：00

地点：上海，浦东香格里拉大酒店（沈阳厅） 主持人：王林章 王伟

2.       报告信息

报告题目1：低时延高吞吐内存计算系统

报告人：

陈海波（上海交通大学教授\华为操作系统实验室主任）

摘要：

内存计算能够提供相对于磁盘为中心计算超过1000倍的数据访问速度，这也为提升事务处理等速度提供了新的机遇。该报告将介绍我们最近以提供每秒数百万次事 务每秒内存事务的研究工作。具体来说，我将介绍如何利用诸如HTM和RDMA之类的新型硬件特性来提供更好的单节点和分布式内存交易，如何改进操作系统和 处理器架构以进一步简化和改进内存中事务处理，以及如何根据需要调整并发控制协议。

报告人简介：

陈海波，上海交通大学软件学院教授，主要研究方向为系统结构, 操作系统与系统虚拟化等。曾在麻省理工学院参与众核操作系统研究，并曾在着名虚拟化公司VMWare加州总部从事可信虚拟化的研究。曾担任国际着名学术会议ACM亚太系统会议(APSys 2011)的共同主席并担任多个国际顶级学术会议如国际操作系统原理大会(SOSP 2013), 欧洲系统大会(EuroSys 2013, 2014)，国际并行体系结构与编译技术(PACT 2013), USENIX技术年会(Usenix ATC’2012)等的程序委员会委员。相关研究成果发表在诸多国际顶级会议如国际操作系统原理大会(SOSP)，USENIX操作系统设计与实现大会(OSDI)，国际体系结构大会(ISCA), 国际微处理结构大会(MICRO), 国际高性能体系结构大会(HPCA)，国际软件工程大会(ICSE), 国际并行处理原理与实践大会(PPoPP)与IEEE Transactions on Software Engineering等。博士论文"云计算平台可信性增强技术的研究"获得2011年全国优秀博士论文及2009年中国计算机学会优秀博士论文奖。

01 副本

报告题目2：智能云端时代的分布式系统研究

报告人：

周礼栋（微软亚洲研究院副院长）

摘要：

计算机系统的发展和创新是我们进入智能云端时代重要和持久的推动力量。硬件系统（例如xPU）的多样性，以及新型智能系统和服务的复杂性和独特性给分布式系统研究带来一系列新的机遇和挑战，也为计算机系统研究提供了重新定义理论、协议、方法学和抽象的全新机会。

报告人简介：

周礼栋博士现任微软亚洲研究院副院长，负责微软亚洲研究院-微软（亚洲）互联网工程院人工智能系统联合中心，主要从事大规模分布式系统、存储系统、无线通讯和网络，以及系统安全和可靠性方面的研究。

周礼栋博士于2002年 加入微软公司，曾任职微软硅谷研究院研究员、微软亚洲研究院和微软雷德蒙研究院系统研究组首席研究员。他的研究一直推动着可靠及可扩展的分布式系统的理论 和实践进步，为在线云服务提供支持，与此同时，他还对实时部署的大规模服务做出了重要的技术贡献。多年来，周礼栋博士在设计和开发大规模分布式系统方面扮 演了重要的技术角色，这些系统支持着微软从搜索引擎、大数据基础设施、云可靠性和可用性到AI基础设施的主要服务。周礼栋博士是计算机学会计算机存储会刊（ACM Transactions on Storage）编委会成员，曾担任国际计算机系统会议（SOSP, OSDI, NSDI, PODC, ASPLOS, EuroSys, SoCC, 和DISC）的程序委员会成员，第一届亚太系统研讨会 （APSys）程序委员会联合主席，以及2017第26届操作系统原理大会（SOSP’17）联合主席。周礼栋博士毕业于复旦大学，并获得了计算机科学学士学位，之后在康奈尔大学深造，先后获得计算机科学硕士及博士学位。

报告题目3：解决云系统软件中的可靠性和性能错误

报告人：

卢山（美国芝加哥大学副教授 ）

摘要：

In the big data and cloud computing era, software systems are getting more complex and are encountering new types of reliability and efficiency problems that cause major economic losses. This talk will discuss a few types of unique reliability and efficiency problems encountered by cloud infrastructure systems and cloud application systems. I will present empirical studies that help understand these challenges and discuss techniques that can help tackle these problems.

报告人简介：

Shan Lu is an Associate Professor in the Department of Computer Science at the University of Chicago. She received her Ph.D. at University of Illinois, Urbana-Champaign, in 2008. She was the Clare Boothe Luce Assistant Professor of Computer Sciences at University of Wisconsin, Madison, from 2009 to 2014. Her research focuses on improving the reliability and efficiency of large software systems. Shan has won Alfred P. Sloan Research Fellow in 2014, Distinguished Alumni Educator Award from Department of Computer Science at University of Illinois in 2013, and NSF Career Award in 2010. Her co-authored papers won Google Scholar Classic Paper 2017, USENIX Best Paper Awards at OSDI 2016 and FAST 2013, ACM-SIGSOFT Distinguished Paper Awards at ICSE 2015 and FSE 2014, an ACM-SIGPLAN Research Highlight Award in 2011, and an IEEE Micro Top Picks in 2006. Shan currently serves as the Vice Chair of ACM-SIGOPS and the Associate Editor for IEEE Computer Architecture Letters. She also served as the technical program co-chair for USENIX Annual Technical Conference in 2015.

报告题目4：面向操作系统内核升级的静态分析技术

报告人：

陈渝（清华大学副教授）

摘要：

Introducing kernel modules is a popular way to add new features to OS kernels, but modules developed for a specific kernel version typically do not work in newer versions due to the non-stable internal interfaces. Authors of out-of-tree kernel modules or other special kernel features have to take constant efforts to follow internal API changes by manually inferring update patterns of API uses from the commits, which is rough since a commit may contain multiple patterns as well as irrelevant changes. Based on an empirical study of real-world API-changing commits from the Linux kernel, this talk proposes an AST based approach that automatically detects similar changes and infers abstract patterns while filtering out irrelevant ones. Macro invocations and callback-related contexts are retained to improve accuracy. The generated patterns can be used to automatically upgrade out-of-tree modules using smPL. Our evaluation shows we can correctly infer 69.1% of the studied update patterns of API uses with 95.6% average precision and 90.1% average recall.

报告人简介：

陈渝，清华大学计算机系副教授，博士生导师。主要研究方向是操作系统，包括操作系统多核性能优化，操作系统安全与可靠性分析，操作系统实时性分析，新型操作系统，虚拟机性能优化，已完成和正在负责的项国家自然科学基金项目3项，国家863基金项目1项等，在操作系统相关领域的国际重要会议如ASPLOS，VEE ICPP, CLUSTER,  PACT,  MASCOTS, ICPADS，DSN等，和国际期刊如  IEEE Computer, ACM TACO，CCPE, TCJ,发表了多篇学术论文。获2014年高等学校科学研究优秀成果一等奖（排名第三），2015年国家科技进步二等奖（排名第三）。

报告题目5：国产操作系统砥砺前行中寻峰回路转

报告人：

李祥凯（普华基础软件副总经理）

摘要：

操作系统作为信息系统的基石，其国产化发展一直举步维艰。演讲者从分析操作系统在产业链中的特殊地位入手，讲述操作系统在技术研发和产业化过程中的发展历程、趋势、机会和挑战，探讨国产操作系统如何突破的新思路、方案等，以及操作系统人在这个过程中的那份执着和情怀。

报告人简介：李祥凯，普华基础软件股份有限公司副总经理。长期从事以操作系统、数据库管理系统为代表的基础软件产品的设计、研发和推广工作。先后担任中科红旗副总裁、人大金仓副总裁以及兼任长风联盟基础软件联合实验室总经理等职务。先后参与多项科技部“863”、核高基重大专项、工信部电子发展基金以及北京市、上海市的相关科技重大项目的研发工作，参与制定过多项国家操作系统相关标准。曾获北京市科学技术奖一等奖和二等奖各一项。

报告题目6：安全操作系统和可信计算技术

报告人：

兰雨晴（中标软件副董事长/北京航空航天大学教授）、徐宁（中标软件副总经理博士）

摘要：

近年来涉及操作系统的安全事件频发，如何针对操作系统的安全体系进行加固和提升，是业界普遍关注的方向。可信计算（Trusted Computing）是在计算和通信系统中广泛使用基于硬件安全模块支持下的可信计算平台，以提高系统整体的安全性目前被多个操作系统企业采用。本文通过对传统os机密性模型的改造和形式证明，在安全操作系统中有效引入了可信计算技术。

报告人简介：兰雨晴，北京航空航天大学网络空间安全学科教授。同时兼任中标软件有限公司副董事长、中标慧安信息技术股份有限公司董事长。

长期从事自主操作系统研发及产业化工作，北京航空航天大学操作系统研究室负责人，中标软件-北京航空航天大学联合实验室主任。目前研究方向：安全可信操作系统，可信云及大数据，北斗应用。

作为主要技术负责人研制的中标麒麟操作系统已成为中国自主操作系统第一品牌，广泛应用于军、民多个领域；获省部级科技进步二等奖3项；获授权发明专利40余项；发表SCI/EI论文50余篇；出版专著2本，译著6本。

报告人简介：徐宁， 现任中标软件有限公司副总经理，研发中心及创新中心负责人，解放军信息工程大学计算机应用专业在读博士。大学毕业以来一直从事Linux操作系统和相关安 全产品的研发，作为骨干参与过军队“基于免疫系统的空间信息对抗安全体制研究”、“嵌入式linux系统安全性研究”等多项课题。2008年9月加入中标 软件，承担着受控、国防、涉密等领域的中标麒麟操作系统产品安全特性打造与推广任务。设计并主持完成了同时拥有双证（军B+与等保四级）的中标麒麟安全操 作系统V5.0和中标麒麟可信操作系统V6.0，并在可信计算/可信云，移动终端安全操作系统等方面有所研究。参与两项国家863项目的研究工作，分别是 “访问验证保护级安全操作系统设计及其评测关键技术和实现方法”、以及“适用于可信计算的公钥基础设施”，发表论文14篇，军队科技进步奖三等奖四项，申 报国家专利、著作权5项。电子学会第一届信息安全委员会成员，复旦大学MSE（云计算放心）教学顾问委员会委员。

报告题目7：麒麟操作系统产业化发展的思考

报告人：

吴庆波（国防科技大学教授）

摘要：

首先介绍了麒麟操作系统的历史起源和现有版本情况，然后简单回顾了麒麟操作系统发展的5个阶段，其次通过几个具体的操作系统技术的案例分析，与大家共享了操作系统产业化过程中碰到的实际问题和解决方法，总结了多年来操作系统产业化方面的经验和教训，最后对国内操作系统技术的发展提出了自己的想法和期望。

报告人简介：吴庆波，国防科大计算机学院软件工程中心主任，麒麟操作系统常务副总师，教育部国产基础软件工程研究中心主任，教育部新世纪人才、中国科协求实杰出工程师。长期从事操作系统的研制工作。

报告题目8：安全嵌入式实时操作系统技术与应用发展

报告人：

张激（中国电子科技集团三十二所总工程师、集团首席科学家）

摘要：

电子装备的综合化发展对嵌入式系统的资源共享、网络化协同、功能安全、信息安全提出新的挑战，需要融合集成电路技术的发展和异构并行硬件系统结构的演变，实 施嵌入式系统软件的体系结构创新，同时，结合产业生态建设，推进开放化、网络化、平台化、高安全共性技术平台的不断演进，促进面向高端装备的应用创新与发展。

报告人简介：张激，中国电科首席科学家，国家可信嵌入式软件工程技术研究中心副主任，中国电科32所总工程师，长期从事嵌入式实时操作系统技术和嵌入式软件体系结构研究，主持锐华（ReWorks）操作系统系列化产品的研制与高端装备应用。

报告题目9：计算机类专业课程体系改革探索与课程实践

报告人：

臧斌宇（上海交通大学教授）

摘要：

进入二十一世纪以来，互联网、云计算、大数据、机器学习成为信息技术的主流。计算机类的教学内容必须满足互联网时代的需求，同时也必须满足工程教育认证的 要。本报告将从课程体系、教学内容以及实践体系三个方面介绍上海交通大学软件学院本科教学体系改革与实践探索。首先，是借鉴国际先进经验，以领域为导向重 构传统的计算机课程教学体系。相比与传统的以单一技术为导向的课程体系，改革后的课程体系极大地压缩了必修课学时，多维度、多层次的教学使学生更加容易融 会贯通所学知识，并为增加新的教学内容、增强实践环节打下了坚实的基础。其次，根据互联网时代的需求，改造原有的教学内容、增加新的课程，使得课程具有鲜 明的时代性。最后是按照工程教育认证的要求改造实践教学体系。实践教学体系分为基础、应用、分析、综合四个层级。学生从记忆和理解起步、逐渐向应用能力、 分析能力、创造（评价与综合）能力发展。设计规模由功能模块起步、逐步过渡到系统设计和综合设计。

报告人简介：臧斌宇教授，现任上海交通大学软件学院院长，曾任复旦大学软件学院院长兼复旦大学计算机学院副院长。臧斌宇教授主要从事计算机体系结构、编译技术和操作系统 等方向的研究，致力于提高计算机系统的性能、可靠性和安全性。近年来在着名国际学术会议上发表20余篇论文。担任ICS'14、PPOPP 2013、ICPP 2013、PACT 2011、SC'11等着名国际学术会议程序委员会委员和APPT 2011程序委员会共同主席。

报告题目10：中国自主云操作系统生态环境及其建设

报告人：

孙毓忠（中国科学院计算技术研究所研究员）

摘要：

公有云和私有云日益成为人们获得无处不在弹性计算的便捷方式，其内在资源和任务调度和管理等核心技术日益成为云计算服务提供商的竞争力。本演讲将集合科技部课题介绍中国云OS生态建构和发展中的机遇、挑战和未来。

报告人简介：计算机体系结构国家重点实验室，研究员、博士生导师，中国科学院“百人计划”获得者，长期从事数据中心高效能和高安全性系统软件与运行时系统软件的设计与分 析方法的研究，特别是在数据中心虚拟化技术和高效能调度技术的研究方面，课题组取得了在多个方面取得了重要而有影响力的研究成果，在云操作系统设计理论和 方法方面形成了研究特色，在国际顶级期刊和会议上发表系列论文。

3.       会务组提示

a).会议时间与地点

时间：2017年10月28日

地点：上海浦东香格里拉大酒店沈阳厅

地址：中国上海浦东富城路33号

交通信息：

b).注册参会事宜

1. 注册时间：2017年10月25日前（限额100人，按收到注册费顺序）

2. 注册费：中国计算机学会会员与学生，1000元/人；其他人员，1200元/人。

3. 付款方式：

（1）现场刷卡  

（2）银行转账，账户信息如下:

开户银行：民生银行福山支行

账户名称：上海轩悦电子设备有限公司

银行账号：691243315

4. 交通、住宿自理。

5. 签到时间：2017年10月28日8:00-8:50

中国计算机学会系统软件专业委员会

中国计算机学会系统软件专业委员会（Systems Software，CCF TCSS）是根据我国近年来系统软件领域学术研究和应用发展的需要而建立的中国计算机学会下属二级学会，于2000年4月成立。系统软件专委的领域关注点是支撑和服务软件生命周期的软件系统，专委会的宗旨是团结、联合和组织系统软件研究领域的研究和实践人员，通过组织各种形式的活动、搭建并提供交流与合作平台，进一步推动系统软件领域的科学研究、人才培养、协同创新和成果转化，促进我国系统软件领域的研究与实践工作，为提高我国软件技术的水平，为提高我国综合国力贡献自己应有的力量。

系统软件专委会网址：http://tcss.ccf.org.cn/

系统软件专委会公众号：

附件：

会议手册下载：系统软件论坛program.pdf

（微信用户可识别下方二维码下载会议手册）