2023OS2ATC｜第十屆開源操作系統年度技術會議嘉賓PPT合集（共44套打包）

1、清華大學 Tsinghua UniversityPACMAN基于表達式推導的人工智能編譯器基于表達式推導的人工智能編譯器翟季冬翟季冬清華大學清華大學2023.3.26第十屆開源操作系統年度技術會議第十屆開源操作系統年度技術會議-OS2ATCOS2ATC清華大學 Tsinghua University背景和意義人工智能芯片人工智能芯片成為深度學習應用的主要計算力成為深度學習應用的主要計算力摩爾定律。

2、邢其正(MaxXing)北京大學Koopa是?KoopaKingBowsera.k.a.庫巴/酷霸王KoopaKoopaKoopa面向本科生的編譯實踐教學方案教學用的編譯器構建框架詳盡的“手把手”式教程文檔開箱即用的Docker實驗環境支持C/C+/Rust多種開發語言Koopa全部開源，面向全網開放手把手教你從零開始寫一個編譯器編譯實踐在線文檔Koopa是怎么誕生的?Koopa的誕生2020年。

3、Microverification of the Linux KVM HypervisorRonghui Gu,CSColumbia(Joint work with Jason Nieh,Xupeng Li,et al.)A Secure and Formally Verified Linux KVM HypervisorShih-wei Li,Xupeng Li,Ronghui Gu,Jaso。

4、FTL OS:基于rust無棧協程的RISC-V64多核操作系統團隊：葉自立樊博李羿廷哈爾濱工業大學（深圳）指導老師：夏文、仇潔婷主講人：葉自立OS2ATC 2022總體概覽系統設計開發方式其他建議目 錄01總體概覽FTL OS的開發目標FTL:Faster Than Light我們的理想：讓性能前無古人，后無來者使用一切潛在優化把多核和性能放在首位從零開始設計，掌握一切細節復雜，但擴展性高FT。

5、.項目簡介.功能簡介.關鍵技術描述.目前的進展與安排支持 Rust 語言的源代碼級內核調試工具OSATC 學生分會場報告陳志揚指導教師：吳競邦北京工商大學計算機科學與技術系2023 年 3 月 23 日陳志揚北京工商大學計算機科學與技術系支持 Rust 語言的源代碼級內核調試工具1/26.項目簡介.功能簡介.關鍵技術描述.目前的進展與安排1項目簡介2功能簡介3關鍵技術描述4目前的進展與安排陳志揚。

6、2023年3月OS2ATC宋顧楊 螞蟻集團通用分布式計算引擎RAY云原生環境下如何快速構建分布式系統2020-今Ray開源社區Committer C+分布式框架 作者 Runtime Environments 維護者2017-今螞蟻集團-新計算引擎團隊 參與和推動了Ray在螞蟻集團從0到1再到萬臺服務器規模的落地2015-2016螞蟻集團-應用網絡團隊 7層網關，支付寶錢包網絡自研協議About。

7、Rust Monitor!#$%!#$%&()*$+*僅限內部交流使用，如果需要公開，請聯系文檔作者目錄1、Motivation2、Background3、Formal verification of Rust Monitor4、Proving Functional Correctness of Rust Code5.Summary*僅限內部交流使用，如果需要公開，請聯系文檔作者Moti。

8、TencentOS Server云原生技術實踐2022.7.15騰訊云OS團隊1.騰訊OS技術積累2.TencentOS云原生網絡實踐3.TencentOS RUE(如意)4.TencentOS 悟凈5.其他云原生特性6.下一代云原生操作系統(全棧國產化)目錄騰訊OS技術積累0112年磨一劍2010年開始自主研發代替外購SUSE2011年發布第一個版本TS1精簡內核穩定性/性能提升新硬件支持新技。

9、麒 麟 軟 件 有 限 公 司麒 麟 軟 件 有 限 公 司KylinOS SDK和和IDE技術分享技術分享2023.3.22打打 造造 中中 國國 操操 作作 系系 統統 核核 心心 力力 量量麒麟軟件 張超麒 麟 軟 件 有 限 公 司麒 麟 軟 件 有 限 公 司目錄目錄1.Linux桌面操作系統上的開發現狀2.主流操作系統開發體系現狀3.麒麟的解決方案和規劃KylinOS 研發SDK和I。

10、云服務器內存多級卸載方案探索曾敬翔 騰訊Linux內核研發工程師內容提綱內容提綱方案背景01業界方案介紹02方案詳述及效果03后續規劃04服務器內存多級卸載方案探索服務器內存多級卸載方案探索內存熱度 服務器在數據中心硬件采購成本中占比最高，達到80%左右，其中CPU、GPU和DRAM是主要成本項采購成本、能耗、電費等 數據中心應用程序對內存的需求持續增長隨著數據量和業務復雜度上升，內存需求陡增 。

11、深入理解OpenHarmony的驅動框架梁開祝江蘇潤開鴻數字科技有限公司2023年03月20日目錄CONTENTS01系統架構概述02驅動框架概述03驅動框架的架構設計04驅動框架的實現細節OpenHarmony的系統架構驅動框架概述：全新的設備驅動開發框架驅動框架概述：設計理念驅動框架的架構設計：架構圖驅動框架的實現細節：代碼結構驅動框架的實現細節：編譯與鏈接（LiteOS內核）驅動框架的實現。

12、NPUCore基于RV平臺和Rust的小型競賽操作系統的設計與優化隊員：黃趙翔（內存&進程）林宇軒（Fat32&擴展內容支持）管孫笛（文件系統&緩存）指導老師：張羽目錄1NPUcore概述2資源受限問題&優化策略可靠性問題&優化策略3指導老師：張羽隊員：黃趙翔，林宇軒，管孫笛NPUCoreNPUcore概述1功能功能 基于rCore-Tutorial迭代開。

13、小米Vela在IOT操作系統領域中的技術實踐和探索秦蔚小米集團手機軟件部軟件架構師主要內容內容小米Vela團隊對物聯網操作系統的思考01小米Vela的技術架構022小米Vela的落地產品023小米Vela團隊的開源技術實踐024小米Vela物聯網操作系統未來的探索05我們對IOT操作系統的思考內容物聯網操作系統的思考 編譯工具鏈 編程框架和語言 IDE或裸環境開發方式的碎片化核心痛點：碎片化 R。

14、車用底層操作系統的分析與演進方向思考融合功能安全與網絡安全、虛擬化、多種操作系統融合、面向SOA車控智能空間車控操作系統智能駕駛系統智能駕駛車載操作系統Classic AUTOSAR 功能安全多核操作系統應用復雜驅動（針對智能執行器）虛擬化、多操作系統+AIAdaptive AUTOSAR 時間敏感網絡功能安全 信息安全OTA迭代開發虛擬化技術快速安全啟動定制化中間件開發云服務類型應用領域典型操。

15、RunD 安全容器：過去，現在，未來演講人：周權偉，吳超龍蜥社區云原生 SIG 成員Kata 社區 maintainer2023/03/26RunD 簡介Dragonball1.0沙箱容器2.0RunD withDragonball 2.0KataContainers袋鼠沙箱容器1.0（2019-2020）袋鼠沙箱容器2.0（2020-2021）鏡像加速Aliyun linux2沙箱版袋鼠沙箱容。

16、中瓴智行從域融合&Hypervisor出發思考汽車操作系統的技術路線和發展策略2023-03Zlingsmart Confidential2目錄CONTENTS目錄02汽車操作系統的技術路線01域融合現狀與趨勢03汽車操作系統的發展策略Zlingsmart Confidential智能網聯汽車電子電氣架構正加速向域融合方向演進3分布式架構域控制器架構中央計算架構智能汽車分布式域控制器（D。

17、內核漏洞挖掘技術張超清華大學第十屆開源操作系統年度技術會議（OS2ATC）網絡研究院INSC網絡研究院INSChttps:/ kernel 漏洞統計數據（source:CVE details)網絡研究院INSC網絡研究院INSChttps:/ found by Syzbot(Syzkaller)till Mar 24,2023(First commit on Aug 17,2017)網絡研究院I。

18、智能操作系統助力產業升級的探索與實踐劉壽永/中科創達2023.312中科創達概覽智能系統技術提供商2015年深圳創業板上市中企500強13,000+員工90%工程師1000+專利服務1000+全球客戶全球 40+城市基本情況智能業務1.智能系統2.智能物聯3.智能汽車4.AI&視覺技術體系 終端：BSP、操作系統內核、驅動、框架、協議棧、多媒體、應用、工具和安全技術 邊緣：微服務，容器.。

19、DeepFlow:“DeepFlow:“云原生時代云原生時代”下可觀測性的全棧、自下可觀測性的全棧、自動化統一平臺動化統一平臺陳晨陳晨 云杉網絡云杉網絡 202303202303分享大綱分享大綱可觀測性是什么可觀測性是什么Baron SchwartzFounder&CTO|VividCortex云原生可觀測性的痛點云原生可觀測性的痛點All Stack All Stack kafka連接。

20、Hypocaust,a RISC-V Type-1 Hypervisor天津大學 齊呈祥Overview RISC-V H Extension Overview Hypocaust/Hypocaust-2 Overview Hypocaust-2 Design&Implement Status&Future Work QuestionsRISC-V H ExtensionThe 。

21、1 1NVMe VFIO Live Migration for IPU/DPU DevicesRao LeiCloud Software Development Engineer,IntelAgenda Background and Motivations VFIO Live Migration Introduction NVMe VFIO Live migration design&i。

22、Upcall：Dragonball沙箱融合設計通信機制解讀演講人：吳超龍蜥社區云原生 SIG 成員Kata 社區 maintainer2023/03/26Lets talk from DragonballDragonball是專注于云原生安全容器場景的VMM解決方案當我們設計一個針對安全容器場景的VMM，我們在思考什么？Kata3.0 架構圖容器上下游優化至快、至輕“夠”用安全容器可配自定義Gu。

23、OopS:用Rust編寫的RISC-V操作系統開發經驗與體會張藝楓學校：哈爾濱工業大學（深圳）開發人員：李諾舟、劉嘉琛、張藝楓指導老師：夏文、仇潔婷01.OopS介紹02.03.04.OopS開發歷程為什么使用Rust心得與體會AgendaCSCC大賽要求各參賽隊綜合運用各種知識構思并實現一個綜合性的操作系統。大賽鼓勵各參賽隊充分了解所使用的編程語言及目標硬件平臺特點，使設計實現的操作系統能夠盡。

24、可視化編程及其與AI的結合石夢南-睿珀智能01經典的軟件開發方式經典軟件模式不靈活：傳統的軟件開發模式有著非常明確的階段，這些階段之間具有非常強的依賴關系和順序性，無法靈活地應對需求變化和技術變革。周期長：傳統的軟件開發模式的開發周期通常較長，從幾個月到數年不等，難以滿足客戶快速變化的需求。高成本：傳統的軟件開發模式往往需要大量的人力、物力和時間資源，開發成本較高。難控制：傳統的軟件開發模式往往。

25、PLUGSCHED安全高效地熱升級 Linux 調度器主講人：吳一昊主講人：吳一昊()龍蜥社區調度器負責人龍蜥社區調度器負責人20232023-0303-2323ASPLOS 23 ASPLOS 23-Efficient Scheduler Live Update for Linux Kernel with ModularizationEfficient Scheduler Live Updat。

26、0Qt RHI 在 deepin 中的應用12關于deepin理念目標3參與deepin通過社區官網快速了解社區產品、社區組織和社區介紹在社區里，有多種參與方式，例如豐富多彩的活動、文檔編輯、應用投遞、翻譯、代碼提交等友善、開放的溝通，不定期的培訓，與社區成員一起持續進步，獲得成長通過社區行為準則，了解社區鼓勵行為，并與社區成員順暢溝通4QRHI 是什么Qt Rendering Hardware。

27、結合SMC實現業務零修改的高速通信Virtio-ISM：VM/容器間動態安全內存共享何容光阿里云-操作系統2023/03/26背景/應用場景隨著CPU個數越來越多，一個宿主機上的容器個數也會越來越多 大數據：多安全容器/VM間Map/Reduce NFV：鏈式服務 Host上的服務進程 服務于（）VM/安全容器當前路徑TCP通信TCP/IP協議棧TCP/IP協議棧數據拷貝容器A容器B理想情況TC。

28、車用操作系統發展趨勢洞見2023年3月目錄一、車用操作系統發展現狀三、生態拓展建設二、中汽創智的車用操作系統方案實踐四、問題與展望31.1 發展現狀操作系統發展趨勢狹義操作系統廣義操作系統整車操作系統（整車軟件平臺）應用狹義操作系統硬件中間件座艙應用中間件狹義操作系統硬件車控應用流程，標準工具鏈（開發、仿真、調試、測試等）智駕應用功能軟件MOS大眾 VW.OS代表產品功能 實現軟硬解耦 實現軟軟。

29、王榮巍阿里云研發工程師代碼大頁：針對應用代碼代碼大頁：針對應用代碼段的一種大頁優化特性段的一種大頁優化特性/目 錄/01 行業、技術背景02 實現、性能和使用03 社區04 其他想法背景 代碼大頁 社區 參考目錄05 參考 平時工作：Linux內存管理、穩定性問題；最近開始對開源CPU感興趣；工具偏好：crash、systemtap、printk；桌上足球老后衛；BIOWeixin ID：Twi。

30、C+20 基礎庫-雅蘭亭庫助力開發者構建高性能應用祁宇chufeng.qyalibaba-主要內容 雅蘭亭庫簡介 雅蘭亭庫序列化庫 雅蘭亭庫rpc 庫 雅蘭亭庫http 庫阿里云編譯器C+20/23 新特性C+20 基礎庫(雅蘭亭庫)Alibaba Cloud Compiler(LLVM)Alibaba Cloud Compiler(ACC)LLVM編譯器，相比GCC，或其他Clang/LLVM。

31、開源開源 如何如何 賦能賦能軟件定義汽車軟件定義汽車姜垚大中華區業務首席代表分享食譜任何人都可以改進你所做的賦予你的客戶（享用者）的權利人們可以一起烘培，分享彼此的改進，并相互幫助延伸出協作和創建烘培社區的邀請任何人都可以嘗試該食譜，并可能以您從未想象過的方式對其進行改進打開了創新的大門2任何人都可以看到中的食譜內容，包括可能對他們有害的成分使得產品更加的健康和安全開源意味著什么？成品烘培開源之。

32、KCL:A Declarative Language for Large-scaleConfiguration and Policy ManagementKCL 配置策略語言徐鵬飛（Peefy）Ant GroupMar.2023Agenda01Background02Design03Scenarios04EvaluationBackground01About Me 徐鵬飛（Peefy）KCLMa。

33、龍芯新架構龍芯新架構LoongArchLoongArch與與LinuxLinux內核內核陳華才2023.03目錄目錄2LoongArch 簡介內核故事未來展望其他LoongArchLoongArch簡介簡介3 從從CISCCISC與與RISCRISC談起談起中央處理器（CPU）分為CISC（Complex Instruction Set Computer，復雜指令集計算機）和RISC（Reduc。

34、打造自主可控的汽車基礎操作系統謝寶友 2023/03/26W W W.K E R N E L S O F T.C O MCONTENTS關于礎石01.行業痛點02.解決方案03.關于礎石定位汽車基礎軟件，賦能汽車產業發展鏈接生態，賦能各個行業國科礎石（重慶）軟件有限公司成立于2022年3月，致力于從汽車基礎設施層面賦能客戶，加速汽車智能化落地，是中科院、重慶市合作共建汽車軟件創新研究平臺的重要組。

35、面向云服務的內核熱升級探索字節跳動基礎架構部內核團隊李喆 郭錦輝2023-3-26目錄頁 內核熱升級-背景 數據持久化-基石 設備運行狀態-?；?內核光速啟動-穿越 結語為何需要進行內核更新內核發展迅速，但存量內核升級較慢，導致存量版本多，通常3.10、4.4、4.9、4.19、5.10等多個版本共存業務場景的不斷豐富，導致內核部署形態多，互聯網大廠的數據中心物理機+不同規格的虛擬機通常有幾十萬。

36、騰訊 TencentOS團隊 李弘博TencentOS 服務器QoS技術的演進1背景：降低運營成本如意3433754084454835250100200300400500600202020212022202320242025中國x86服務器出貨量（萬臺）服務器,69%存儲設備,6%網絡設備,11%安全設備,9%其他,5%IDC設備成本分布全球服務器CPU平均利用率只有6%-12%，嚴重浪費。-G。

37、可編程內核技術進展和未來暢想華為 OS內核實驗室 魏勇軍openEuler社區 eBPF SIG committerOpenHarmony社區 Kernel SIG committer問題背景：操作系統高度抽象，導致語義丟失，調用路徑長，協同困難語義丟失“千人千面”，定制策略多，架構臃腫腐化，維護成本高模塊化導致信息丟失、協同困難，性能不佳抽象化導致調用路徑長，開銷大，時延高全系統可編程：內核機。

38、公司機密文檔，請勿轉發年 月公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿轉發公司機密文檔，請勿。

39、自動駕駛操作系統平臺化探索姜征然2023年3月1行業現狀2客戶痛點目錄3一些思考4公司介紹行業現狀1操作系統架構 自動駕駛操作系統架構自動駕駛操作系統團標各層狀況芯片配套工具+開源工具+自研工具+商業化工具，不同工具為不同層次軟件提供支撐。工具的復雜度在逐步提高，導致學習和使用成本提升。工具鏈從芯片廠商到Tier1再到OEM，各家對功能軟件定義的范圍不完全一致，且基本自主設計方案或自主實現。傳統。

40、構建開源芯片技術體系推動開源芯片生態發展唐丹2023-3-26匯報大綱一、RISC-V與開源芯片二、“一生一芯”人才培養計劃三、開源EDA工具四、高性能開源RISC-V處理器核IP五、總結（一）RISC-V與開源芯片處理器芯片的戰略意義 2020年進口5435億個集成電路，進口額高達3500億美元，成為我國第一大進口商品，遠超石油（1763億美元）、鐵礦（1189億美元）其中處理器芯片占比達到4。

41、RT-ThreadAIoT-感知層芯片等硬件規格超百類控制芯片AI芯片通信芯片語言芯片鏈接技術多樣化2/3/4/5GNB-IoT/eMTC/LoRaWiFi藍牙ZigBee應用場景分散化，業務邏輯復雜化消費醫療車載導航農業環境工業能源安防航空航天MCU/MPUDriver應用系統應用系統連接應用系統連接云端應用系統連接多媒體云端應用系統連接多媒體AI云端應用單品智能智能互聯主動互聯產品場景用戶嵌。

42、ArkTS框架：在ARM、RISC-V指令集架構上跑Openharmony應用連志安OpenHarmony龍芯架構SIG組長開放原子開源基金會貢獻之星姓名：連志安華為技術開發專家認證（HDE）OpenHarmony龍芯架構SIG組長OpenHarmony教育工作組副組長，開放原子開源基金會2022開源貢獻之星廣州市天河區軟件協會專家委員龍芯俱樂部首席專家出版書籍物聯網嵌入式開發實戰，并被翻譯成繁。