报告时间：2019年4月1日  周一13:35-17:50 
报告地点：中北校区数学馆东201

特邀报告:   微内核性能分析与优化
报告人：    陈海波 教授   上海交通大学
报告时间：2019年4月1日 周一16:15—17:15 

报告地点：中北校区数学馆东201

报告摘要：
微内核具有许多有用的特性，如安全性，容错性，模块化和可定制性。因此，学术界和工业界今年来都投入了很多的精力在微内核上（包括seL4，QNX和Google Fuchsia OS）。然而，IPC（进程间通信）通常被认为是被称为微内核的阿喀琉斯之踵，仍是引起微内核系统较差性能的主要因素。通常基于软件的IPC优化仍需要通过特权级切换进入到内核，而基于硬件的优化需要对现有软件堆栈进行大的修改从而适应新的硬件原语。 在这个报告中，将详细分析seL4，Google Fuchsia和L4.Fiasco等主流微内核的IPC性能。根据这个分析，将介绍SkyBridge，一个为微内核中的同步IPC设计和优化的新IPC设计。 SkyBridge在进程间通信期间不需要内核参与，并允许进程直接切换到目标进程的虚拟地址空间并调用目标函数。 SkyBridge保留了传统的虚拟地址空间隔离，因此可以很容易集成到现有的微内核中。报告将介绍SkyBridge如何集成到seL4，Google Fuchsia和L4.Fiasco等主要微内核以及其带来的显著性能提升。

报告人简介：
陈海波，上海交通大学长聘教授、博士生导师，同时也通过产学研合作的方式兼任华为操作系统首席科学家、操作系统内核实验室主任、华为四名学术领军人之一。主要研究方向为操作系统与并行分布式系统。获得2018年教育部技术发明一等奖，入选2014年国家“万人计划”青年拔尖人才计划，获得2011年全国优秀博士学位论文奖、2015年CCF青年科学家奖。目前担任ACM SIGOPS ChinaSys主席、ACM APSys指导委员会主席、《Communications of the ACM》编委与Special Sections co-Chair、《ACM Transactions on Storage》编委。曾任ACM SOSP 2017年大会主席、ACM CCS 2018系统安全领域主席、ACM SIGSAC奖励委员会委员。研究工作也获得华为最高个人贡献奖、Google Faculty Research Award、IBM X10 Innovation Award、NetApp Faculty Fellowship等企业奖励。