近日，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]）。聯盟未來將為成員成員提供更多產-學-研深度合作的機會，在產出更多高影響力研究工作的同時，依託聯盟推出的開源晶元平台部署落地，以期在開源晶元及開源軟體社區產生更大的影響力。

推薦閱讀：