近日，CRVA联盟成员——上海交通大学陈海波教授团队针对RISC-V平台微内核设计和优化的研究工作被计算机体系结构领域顶会ISCA 2019（International Symposium on Computer Architecture）录用：

• Dong Du, Zhichao Hua, Yubin Xia, Binyu Zang, Haibo Chen. XPC: Architectural Support for Secure and Efficient Cross ProcessCall. In the 46th International Symposium on Computer Architecture (ISCA19), 2019.

随著边缘计算、自动驾驶以及IoT等新场景的不断涌现，微内核在工业界有著越来越重要的地位，并可作为未来开源晶元系统软体架构中的重要组成部分。Google提出操作系统Fuchsia，基于微内核架构等投入大量资源开发。虽然微内核有著宏内核难以获得的许多好处，如代码行数少、易于形式化验证、隔离性强、容错性好等，然而由于进程间通信（IPC，Inter-Process Communication）的开销，微内核架构很难达到宏内核的性能。

陈海波教授团队在本工作中使用软硬体协同的方法优化了微内核场景下的进程间通信，让微内核能够超越宏内核的性能。本工作提出了两个新的硬体原语，并且基于RISC-V和ARM64等多个平台提出面向微内核的IPC设计方案，通过FPGA模拟实现并进行了性能测试。本工作将IPC性能提升几个数量级，并显著提升了seL4, Fiasco, 谷歌Fuchsia等操作系统的性能。

本年度ISCA会议将于2019年6月22日-26日在美国菲尼克斯召开。ISCA是计算机体系结构领域的顶级学术会议，本次共投稿365篇论文，收录其中62篇（接受率仅为16.9%）。作为CRVA联盟的重要学术成员之一，陈海波教授带领团队多年来深耕跨隔离域优化工作，已发表多篇高水平学术论文（CrossOver [ISCA15], SkyBridge [EuroSys19]）。联盟未来将为成员成员提供更多产-学-研深度合作的机会，在产出更多高影响力研究工作的同时，依托联盟推出的开源晶元平台部署落地，以期在开源晶元及开源软体社区产生更大的影响力。

推荐阅读：