程序語義感知的系統(tǒng)軟件棧
報(bào)告時(shí)間：2023年 6月12日 下午14:00
報(bào)告地點(diǎn)：中科院計(jì)算所254會(huì)議室
報(bào)告人：王晨曦 博士 副研究員 中科院計(jì)算所
個(gè)人簡介：
王晨曦，中國科學(xué)院計(jì)算技術(shù)研究所副研究員。研究方向?yàn)槊嫦驍?shù)據(jù)中心構(gòu)建跨編程語言、運(yùn)行時(shí)、操作系統(tǒng)的云計(jì)算系統(tǒng)軟件。其研究成果發(fā)表在了OSDI、PLDI、NSDI等系統(tǒng)領(lǐng)域頂級(jí)會(huì)議，以及TOCS、TDSC等系統(tǒng)領(lǐng)域頂級(jí)期刊，并獲得了OSDI 2022 最佳論文獎(jiǎng)、ACM Chinasys 新星獎(jiǎng)、UCLA博士后校長科研獎(jiǎng)提名等榮譽(yù)。此外，王晨曦還擔(dān)任了ASPLOS、VEE、ISMM等國際學(xué)術(shù)會(huì)議的評(píng)委、外部評(píng)委。
報(bào)告摘要：
互聯(lián)技術(shù)的高速發(fā)展，推動(dòng)了數(shù)據(jù)中心硬件資源的解耦合化和資源池化。這類新型的數(shù)據(jù)中心架構(gòu)不但可以更好地支持后摩爾時(shí)代的硬件異質(zhì)化，同時(shí)提升了數(shù)據(jù)中心的擴(kuò)展性和可維護(hù)性。然而，現(xiàn)有系統(tǒng)軟件棧均為面向傳統(tǒng)的單體服務(wù)器開發(fā)，難以應(yīng)對(duì)硬件資源的解耦合化和異質(zhì)化，給上層應(yīng)用帶來了顯著的性能下降和難以預(yù)測的性能波動(dòng)。針對(duì)該問題，報(bào)告人提出現(xiàn)有軟件棧的層次化設(shè)計(jì)導(dǎo)致了程序語義黑障，使上層應(yīng)用特征無法傳遞到底層系統(tǒng)，從而導(dǎo)致了底層系統(tǒng)中的任務(wù)調(diào)度、數(shù)據(jù)管理等策略失效，造成了一系列的性能、延遲問題。因此，報(bào)告人將結(jié)合自身在數(shù)據(jù)中心的系統(tǒng)研發(fā)經(jīng)驗(yàn)和大家探討如何面向新型解耦合體系結(jié)構(gòu)來構(gòu)建跨編程語言、運(yùn)行時(shí)、操作系統(tǒng)的程序語義感知的系統(tǒng)軟件棧。