2023 中國計算機大會(以下簡稱“CNCC”)-萬物智聯時代的智能終端操作系統與生態分論壇,于2023年10月28號下午在沈陽新世界酒店成功舉辦。此外,在2023 CNCC大會頒獎典禮上,OpenHarmony項目獨獲2023 CCF科技進步特等獎殊榮!CCF理事長、中國科學院院士梅宏教授,CCF獎勵委員會主席、中國工程院院士廖湘科教授現場親自為OpenHarmony項目獲獎代表、OpenHarmony項目群技術指導委員會(以下簡稱“TSC”)主席陳海波頒獎!
本次分論壇由OpenHarmony TSC主席陳海波擔任論壇主席,OpenHarmony TSC委員武延軍擔任共同主席。OpenHarmony TSC委員張兆生、張榮超、賈寧,OpenHarmony技術俱樂部主任夏虞斌,北京大學軟件研究所副所長劉譞哲,清華大學國強教授劉云新等多位重量級嘉賓分享相關議題,近200位來自科研院所、高校和企業老師及專家參與,共同交流智能終端操作系統相關技術。分論壇由OpenHarmony TSC委員張榮超主持,包含5個技術報告和1個Panel。
報告一:《萬物智聯時代終端操作系統演進思考》
OpenHarmony TSC主席,華為基礎軟件首席科學家陳海波老師分享《萬物智聯時代終端操作系統演進思考》報告,報告從多個維度分享萬物智聯時代操作系統演進趨勢的洞察、關鍵技術成果與演進思考、以及在OpenHarmony的實踐。
陳海波老師在報告中表示,操作系統推動了各個歷史時期信息產業浪潮誕生與發展。相應地,在不同歷史時期的操作系統所承擔的使命、技術特征、以及成功要素也是與該時期的產業特點息息相關。當前,正迎來萬物智聯時代這一重要的換道超車機遇期。
在萬物智聯時代,智能終端操作系統主要存在三大關鍵技術挑戰,包括高效抽象:萬物智聯時代,如何高效抽象與協同硬件;全局最優:如何統籌全局資源提供最優性能、能效與體驗;全場景協同:如何面向萬物智聯,構建分布式全場景協同體驗三個方面。
此外,“昆蟲綱悖論”呼喚“元OS架構”創新,即通過一個可以被靈活組裝的操作系統能力集合(OS Kit),基于一個高度彈性的架構,將這些操作系統能力組合成為滿足千行百業場景需要的場景化操作系統。
陳海波老師介紹OpenHarmony實踐元OS架構,彈性適配多場景。報告重點介紹了高性能只讀壓縮文件系統EROFS、基于DRAM與Flash深度融合的高性能內存管理、業務感知與多硬件資源協同的智能感知調度、分布式根技術支撐自由互聯、流轉、播控和共享、便捷高效支撐多設備、多應用開發等OpenHarmony涉及的關鍵技術。
此外,陳海波老師也分享了智能終端操作系統未來演進的思考,包括時空自然交互,帶來體驗躍遷;從單節點確定性走向端到端確定性;后摩爾時代,智能終端計算范式演進;從分層解耦走向垂直整合,底座技術重構;重構安全隱私范式,防止出現安全“木桶”;原生智能架構,構筑終端智能新體驗6個思考點進行闡述。
報告二:《關于重構操作系統技術棧思考》
OpenHarmony TSC委員、中國科學院軟件研究所副所長武延軍首次分享“關于重構操作系統技術棧思考”技術報告。萬物智聯時代對操作系統提出了新的需求,如高帶寬低時延互聯、多樣化算力、數據搬運、應用流轉、多屏互動等。同時,與操作系統強關聯的上下游新方向也在加速演進,以RISC-V、Rust為代表的新趨勢已經顯現。報告認為操作系統的傳統技術棧已經到了可以進行大幅重構的時刻。武延軍老師介紹四個層面的操作系統技術棧重構思考:聚焦RISC-V的指令集級別重構,選取LLVM的編譯器級別重構,采用Rust的編程語言級別重構,以及替換GNU基礎C庫的運行時級別重構。希望通過這些大范圍、體系化的技術重構,為萬物智聯的新生態,打下基礎軟件的新地基。
武延軍老師首先介紹目前主流操作系統技術棧情況,主要分為四個層面,硬件交互層面以指令集為接口,目前支持最完整的是X86指令集和ARM指令集,RISC-V也有迅猛增長的勢頭;在內核層面,操作系統開發以C語言為主,近年開始逐漸出現Rust語言的身影;用戶層POSIX接口由運行時C庫來提供,目前應用最廣泛的是glibc,musl以及bionic等。
此外,武延軍老師表示目前正處于移動互聯網時代的頂峰,萬物互聯時代的前夜。萬物互聯時代將有億萬級別的設備加入到網絡環境中,大量設備需要操作系統為應用提供良好的跨設備協作能力,這是操作系統設計開發的一大挑戰。同時,網絡技術的發展滿足了互聯設備間高帶寬、低延遲的需求,使異構互聯等假設真正成為現實,萬物互聯的操作系統需要及時提供高帶寬/低時延的能力。對應用層面,多設備協作、應用流轉等全新設計成為可能。人與機器的交互將逐步擺脫目前觸控為主的UI方式,轉向多設備的協同交互,更加自然隱蔽。
武延軍老師表示,針對上述提到的操作系統在萬物互聯時代將遇到的挑戰,操作系統對應技術棧的演進方向也將隨之改變。在操作系統抽象層面,僅僅開發支持硬件抽象的操作系統,并不能很好的在萬物互聯的海量設備上做多樣化拓展,操作系統抽象的要求將被拔高,這也意味著操作系統技術棧需要作出適應。一方面,軟硬件將以各自節奏快速進行迭代,海量設備將成為成千上萬軟硬件廠商的角逐平臺,用戶由此受益;這進一步要求作為軟硬件交互接口的指令集需要更加透明靈活,與硬件廠商應當進一步解綁。其次,不同設備上的應用除了需要更大程度的源碼復用遷移,還需要高度可定制化的編譯過程,來進一步提升操作系統在不同設備上的拓展能力。在編程語言方面,C語言經過幾十年的迭代,已經能夠在操作硬件和性能優化方面做到幾乎極致,但是過于靈活的語法已經成為目前代碼安全性的一大威脅。在萬物互聯時代,數據流轉將成為常態,完全使用C語言的操作系統將面臨著攻擊面過大的危險。如何在保證開發效率的同時,兼顧系統性能與安全,將成為OS技術棧的一個關注重點。再次,正如前面提到的,移動互聯網時代的生態建設,其實就是海量應用的生態支撐。而絕大多數應用依賴于C庫提供的通用編程接口而非直接進行系統調用;如何提供更靈活可遷移的C庫,讓應用開發能夠自然運用多設備能力,使用操作系統提供的跨設備協作能力,將是未來技術棧演進的一個重要方向。另一方面,目前大模型的應用已經逐漸開始影響軟件開發的工作流程,在不遠的將來也將勢必影響操作系統等基礎軟件的研發,如何可靠高效的讓操作系統技術棧與大模型代碼生成能力相結合,也是一個值得思考的問題。
武延軍老師接下來從4個重點方向剖析面向萬物智聯的OS技術棧演進:
重構一:面向指令集的標準化演進
武延軍老師表示,從OS/360提出基于指令集架構的計算機實現分離思想開始,指令集已經成為軟硬件互操作接口的標準層。萬物互聯時代的操作系統需要支持大量的設備,而同時兼顧多種指令集,或是依賴于某一硬件廠商提供的指令集,將會大大拖慢軟硬件迭代速度。操作系統為適應多種指令集發展將需要承擔沉重設計包袱;開源的RISC-V指令集的迭代方式,無疑具有更強的適應性,未來操作系統技術棧將深入到軟硬件交互的最前沿,以RISC-V開源指令集為焦點,下沉系統軟件實現需求,真正做到軟硬件廠商合力一處。
反過來,萬物智聯場景將催生大量垂直優化需求,軟硬件廠商針對優化需求而反饋到RISC-V基金會層面,能夠推進RISC-V指令集更快速適應萬物智聯場景。這一點是舊有格局中從硬件廠商到軟件適配的單向迭代流程所無法滿足的。
重構二:基于LLVM的編譯器級別“重構”
武延軍老師認為,未來操作系統技術棧的編譯套件也將迎來一輪重構,LLVM表現出的強大定制性和商業友好,將在萬物智聯時代更受軟件廠商青睞。如果所有組件都采用LLVM框架編譯,針對組件自身設計挖掘定制化編譯需求;將能夠以LLVM為橋梁,釋放軟件優化的潛力,并可與RISC-V可拓展開源指令集的優勢疊加,有助于廠商在多個設備上同時進行軟硬件協同優化。這件事情,早在十幾年前就已經受到蘋果的關注并付諸實踐。萬物智聯的浪潮將是在開源視角推進這一模式的有利時機。
重構三:Rust與 C 融合的編程語言級重構
武延軍老師認為,從操作系統技術棧重構的角度,Rust更應當作為現有C語言的有利補充。
前面提到,C本身是與第四版Unix一同出現,是一門為了管理硬件,貼合底層而生的高級語言,它具有幾乎無法超越的性能優化能力,以及操作硬件的能力。但隨之而來的是C語言的語法靈活程度太高,像指針這樣的語法即使動用代碼靜態分析,也極難保證內存安全。
而Rust作為新興的系統編程語言,通過編譯器檢查的方式來保障內存安全,在保證類C的性能的同時,能夠大幅提升開發效率和協作效率。從語法層面彌補了C語言過于靈活的缺點,但同時保留了和C二進制兼容的優勢。同時,Rust在直接操作裸內存的方面沒有C靈活;因此Rust作為C代碼重構的有利補充,將有助于達到安全和性能雙贏的局面。從開源操作系統軟件迭代的角度而言,這將會大大明確開發過程的安全邊界,減輕操作系統核心開發人員的心智負擔。
重構四:用muslc替換glibc的C標準庫級別重構
武延軍老師認為,萬物智聯時代的應用,或將延續移動互聯網時代的應用組織模式,但存在跨設備運行、應用流轉等新的特征。在這一基礎上,應用眼中的操作系統能力,主要表現為C庫的能力,C庫將是操作系統能力的有效外延。在萬物智聯時代,操作系統技術棧需要提供更加靈活可定制,更高效,且可無縫遷移的C庫。glibc存在代碼臃腫等問題,在移動互聯網時代已然捉襟見肘;而musl作為更輕量的C語言運行時庫,或可成為萬物智聯時代C庫的一個基礎版本。在此基礎上,依賴LLVM良好的定制性,可以實現拓展性更強的C庫。
報告三:《泛在智能系統軟件:進展與挑戰》
北京大學軟件研究所副所長、ACM杰出科學家劉譞哲,分享“泛在智能系統軟件:進展與挑戰”技術報告。在泛在計算時代,智能化已經成為信息化應用的重要特征,高效可靠地支持機器學習/深度學習模型已經成為系統軟件必備的基礎能力。隨著模型結構日益復雜、異構資源不斷涌現、算力需求持續增長、以及對數據安全隱私的逐漸重視,對系統軟件的設計和實現提出了新的挑戰,也帶來了新的機遇。報告介紹劉譞哲老師團隊近年來在面向泛在智能系統軟件的進展,包括面向端側/邊緣側原位計算范式的異構資源協同調度、混合精度并行化模型訓練、非勻速多模型協同推理等方面的工作。
報告四:《智能終端操作系統的個人數據處理與保護》
OpenHarmony技術俱樂部主任,上海交通大學教授夏虞斌分享“智能終端操作系統的個人數據處理與保護”技術報告。智能終端作為個人的數字世界主要入口,記錄了大量的個人數據,合理利用這些數據將帶來效率的極大提升。報告主要介紹在終端操作系統層面,利用人工智能和機密計算等新技術,實現對個人數據的存儲、使用和保護的新方法。
報告五:《面向異構設備的DNN模型推理優化》
清華大學國強教授、博士生導師劉云新,分享“面向異構設備的DNN模型推理優化”技術報告。出于隱私保護、數據安全、高可靠、低延遲以及節省成本的考慮,在端側設備上部署和運行DNN模型成為趨勢。和云端服務器相比,端側設備不僅計算資源有限,計算硬件也呈現強異構性,包括大小核CPU、GPU、DSP以及NPU等。如何充分利用這些異構多處理器的計算能力提升DNN模型推理的性能,面臨巨大的挑戰。本報告介紹劉云新老師團隊近期在面向異構設備的DNN模型推理優化方面的相關工作,重點關注如何提升基于異構多處理器的并行DNN模型推理的性能,以及如何高效自動生成適配異構多處理器的DNN模型。
Panel 圓桌討論
分論壇的最后環節,OpenHarmony TSC委員賈寧主持Panel圓桌討論,陳海波、夏虞斌、劉云新、 張兆生、 張榮超等嘉賓參與,基于“萬物智聯時代我國智能終端操作系統的機遇、挑戰,以及如何實現開源共創的合力”的主題,嘉賓就下一代終端操作系統的主要特征以及給工作生活會帶來什么樣的改變,終端操作系統當前演進最大的挑戰及后發的操作系統如何獲得競爭優勢,人工智能的浪潮下操作系統有哪些機遇和挑戰,開源社區在推動我國終端操作系統發展上能起到哪些作用及如何更好的激發社區活力,學術界與產業界如何協作才能更好的形成合力推動我國操作系統發展等話題進行深入討論。
此外,在2023 CNCC大會頒獎典禮上頒發了“CCF科學科技成果獎”。該獎設立于2012年,授予在計算機科學、技術或工程領域具有重要發現、發明、原始創新,在相關領域有一定國際影響力,且國內尚未獲得政府獎勵的優秀科技成果。2023年共有40個項目分別獲得CCF科技成果獎的自然科學獎、技術發明獎、科技進步獎。
OpenHarmony項目獨獲2023 CCF科技進步特等獎殊榮!CCF理事長、中國科學院院士梅宏教授,CCF獎勵委員會主席、中國工程院院士廖湘科教授現場親自為OpenHarmony項目獲獎代表、OpenHarmony技術指導委員會主席陳海波頒獎。
分論壇嘉賓合影留念
分論壇主席陳海波老師為分論壇嘉賓頒發證書
分論壇現場觀眾交流
2023年11月4日,第二屆開放原子開源基金會OpenHarmony技術大會即將在北京國家會議中心盛大開幕。本次大會由OpenAtom OpenHarmony(簡稱“OpenHarmony")項目群技術指導委員會(TSC)主辦,由華為技術有限公司、江蘇潤開鴻數字科技有限公司、廣東九聯開鴻科技發展有限公司、軟通動力信息技術(集團)股份有限公司、深圳開鴻數字產業發展有限公司合作支持。本屆大會以“技術筑生態,智聯贏未來”為主題,在第一屆技術大會成功舉辦的經驗和基礎上,以更高規格、更大規模和更豐富的議程,為與會者帶來一場技術盛宴。
大會將開設主論壇和八大分論壇,不僅將面向全球展示OpenHarmony操作系統的技術革新、分享階段性技術成果,還將特邀全球開源操作系統技術領袖,行業前沿領域的實踐專家、高校技術導師、眾多開發者與貢獻者,共話操作系統未來技術方向,共享開放生態布局進展,共繪萬物互聯的智慧藍圖。敬請期待!
E N D
關注我們,持續獲取OpenHarmony技術大會最新消息!
審核編輯 黃宇
-
OpenHarmony
+關注
關注
25文章
3727瀏覽量
16390
發布評論請先 登錄
相關推薦
評論