隨著應(yīng)用需求的多樣化和復(fù)雜性增加，現(xiàn)代編譯器通過(guò)支持高級(jí)語(yǔ)言、優(yōu)化編譯過(guò)程和提供多平臺(tái)兼容性，使得開(kāi)發(fā)者能夠更高效地構(gòu)建高質(zhì)量的軟件產(chǎn)品。在2024年10月12日第三屆OpenHarmony技術(shù)大會(huì)編譯器與編程語(yǔ)言分論壇上，眾多行業(yè)專家齊聚一堂，圍繞編譯器與編程語(yǔ)言技術(shù)的前沿研究，聚焦編譯器、編程語(yǔ)言、工具鏈、編譯器測(cè)試、GC測(cè)評(píng)等方面展開(kāi)最新技術(shù)和案例分享，探討了如何提升應(yīng)用開(kāi)發(fā)效率和性能，以及如何增強(qiáng)系統(tǒng)的健壯性與安全性等相關(guān)議題。
OpenHarmony編程語(yǔ)言TSG主任、華為編程語(yǔ)言首席專家、倉(cāng)頡編程語(yǔ)言首席架構(gòu)師、南京大學(xué)教授馮新宇；北京師范大學(xué)人工智能學(xué)院副院長(zhǎng)、教授計(jì)衛(wèi)星作為出品人出席該分論壇。OpenHarmony編程語(yǔ)言TSG成員、華為編程語(yǔ)言實(shí)驗(yàn)室技術(shù)專家王學(xué)智擔(dān)任分論壇總主持。華為編程語(yǔ)言資深技術(shù)專家董鑫；中國(guó)科學(xué)院軟件研究所博士生汪釔丞；北京大學(xué)博士張星；南京大學(xué)助理教授、博士生導(dǎo)師譚添；華為語(yǔ)言虛擬機(jī)實(shí)驗(yàn)室架構(gòu)師王亞?wèn)|；華為ArkTS語(yǔ)言技術(shù)專家陳庭威；華為編譯器實(shí)驗(yàn)室架構(gòu)師俞超；天津大學(xué)教授、國(guó)家優(yōu)青項(xiàng)目獲得者陳俊潔出席論壇并發(fā)表演講。
（OpenHarmony編程語(yǔ)言TSG主任、華為編程語(yǔ)言首席專家、倉(cāng)頡編程語(yǔ)言首席架構(gòu)師、南京大學(xué)教授、本次分論壇出品人馮新宇發(fā)言）
華為編程語(yǔ)言資深技術(shù)專家董鑫向與會(huì)者介紹了面向全場(chǎng)景應(yīng)用開(kāi)發(fā)的新一代編程語(yǔ)言——倉(cāng)頡的主要特點(diǎn)。董鑫指出，倉(cāng)頡編程語(yǔ)言是一款面向全場(chǎng)景智能的新一代編程語(yǔ)言，主打原生智能化、天生全場(chǎng)景、高性能、強(qiáng)安全。所謂原生智能化，是指?jìng)}頡提供了一套原生AI應(yīng)用框架與Agent DSL來(lái)提升OpenAtom OpenHarmony（以下簡(jiǎn)稱OpenHarmony）智能應(yīng)用開(kāi)發(fā)效率和智能化水平。所謂天生全場(chǎng)景，是指語(yǔ)言支持定制擴(kuò)展，通過(guò)元編程等能力為不同場(chǎng)景定制方言，提升復(fù)雜場(chǎng)景的開(kāi)發(fā)和維護(hù)效率；以及提供可伸縮的輕量運(yùn)行，在面向不同場(chǎng)景可以進(jìn)行量體裁衣、高效適配。高性能，主要是基于靜態(tài)編譯優(yōu)化、原生協(xié)程和全并發(fā) GC 等技術(shù)，確保倉(cāng)頡應(yīng)用程序全周期流暢運(yùn)行。強(qiáng)安全，則是源于全方位的安全特性設(shè)計(jì)。
（華為編程語(yǔ)言資深技術(shù)專家董鑫發(fā)言）
以Java、Go、C#為代表的托管語(yǔ)言（Managed Language）已廣泛應(yīng)用于現(xiàn)代大型軟件項(xiàng)目。這些語(yǔ)言的運(yùn)行時(shí)通過(guò)垃圾回收機(jī)制（Garbage Collector, GC）自動(dòng)管理內(nèi)存，但這種低效的垃圾回收機(jī)制顯著影響了應(yīng)用程序性能，目前缺乏有效的跨語(yǔ)言運(yùn)行時(shí)GC性能評(píng)測(cè)方法。中國(guó)科學(xué)院軟件研究所博士生汪釔丞就跨語(yǔ)言運(yùn)行時(shí)的垃圾回收機(jī)制評(píng)測(cè)方法提出了解決辦法，他分享了一種新的跨語(yǔ)言運(yùn)行時(shí)GC性能評(píng)測(cè)方法，一套與運(yùn)行時(shí)無(wú)關(guān)的內(nèi)存操作原語(yǔ)，以這些原語(yǔ)為橋梁，構(gòu)建或生成面向多語(yǔ)言運(yùn)行時(shí)的一致GC負(fù)載。
（中國(guó)科學(xué)院軟件研究所博士汪釔丞發(fā)言）
北京大學(xué)博士張星介紹了一種新型的基于操作的雙向?qū)崟r(shí)編程框架。該雙向?qū)崟r(shí)編程系統(tǒng)（BLP）允許開(kāi)發(fā)人員通過(guò)直接操作程序輸出來(lái)修改程序，使得更新后的程序能生成所需的輸出，它能夠自動(dòng)將直接操作融入源代碼，支持?jǐn)U展性強(qiáng)且對(duì)源代碼不敏感的操作。同時(shí)，該系統(tǒng)將可操作輸出從靜態(tài)值擴(kuò)展到具有運(yùn)行時(shí)交互功能的軟件，進(jìn)一步提升了雙向?qū)崟r(shí)編程的實(shí)用性。
（北京大學(xué)博士張星發(fā)言）
南京大學(xué)助理教授、博士生導(dǎo)師譚添分析了基于太阿（Tai-e）研發(fā)的面向倉(cāng)頡的Tai-e-Cangjie程序分析框架的優(yōu)勢(shì)和其對(duì)促進(jìn)倉(cāng)頡語(yǔ)言生態(tài)發(fā)展的貢獻(xiàn)。他指出：“太阿”作為全自研的新一代Java程序分析框架，相較于國(guó)際上流行的同類分析框架，具有易學(xué)易用、可擴(kuò)展性強(qiáng)和運(yùn)行效率高等優(yōu)勢(shì)，填補(bǔ)了倉(cāng)頡語(yǔ)言相關(guān)生態(tài)的空白。
（南京大學(xué)助理教授，博士生導(dǎo)師譚添發(fā)言）
JavaScript/WASM是Web領(lǐng)域唯二的生態(tài)語(yǔ)言，擁有最為龐大的程序員基礎(chǔ)。JavaScript/WASM引擎被廣泛地嵌入到瀏覽器、小程序、RN等框架中，其性能會(huì)直接影響手機(jī)應(yīng)用的用戶體驗(yàn)。華為語(yǔ)言虛擬機(jī)實(shí)驗(yàn)室架構(gòu)師王亞?wèn)|在《HarmonyOS NEXT系統(tǒng)JSVM優(yōu)化實(shí)踐與思考》的演講中提出，基于OpenHarmony提供的系統(tǒng)級(jí)JSVM，可以構(gòu)筑具備競(jìng)爭(zhēng)力的JS體驗(yàn)。
（華為語(yǔ)言虛擬機(jī)實(shí)驗(yàn)室架構(gòu)師王亞?wèn)|發(fā)言）
ArkTS具有更強(qiáng)的靜態(tài)檢查和分析能力，更高的開(kāi)發(fā)效率和運(yùn)行性能，更便利的高性能并發(fā)模型。華為ArkTS語(yǔ)言技術(shù)專家陳庭威就ArkTS開(kāi)發(fā)者生態(tài)信息、挑戰(zhàn)與技術(shù)演進(jìn)等話題發(fā)表演講。他指出ArkTS提供了聲明式UI范式、狀態(tài)管理支持等相應(yīng)的能力，讓開(kāi)發(fā)者可以以更簡(jiǎn)潔、更自然的方式開(kāi)發(fā)應(yīng)用。同時(shí)，它在保持TypeScript（簡(jiǎn)稱TS）基本語(yǔ)法風(fēng)格的基礎(chǔ)上，進(jìn)一步通過(guò)規(guī)范強(qiáng)化靜態(tài)檢查和分析，使得在程序運(yùn)行之前的開(kāi)發(fā)期能檢測(cè)更多錯(cuò)誤，提升代碼健壯性，并實(shí)現(xiàn)更好的運(yùn)行性能。
（華為ArkTS語(yǔ)言技術(shù)專家陳庭威發(fā)言）
畢昇編譯器作為華為自研的編譯器工具鏈，在HarmonyOS NEXT系統(tǒng)側(cè)優(yōu)化中發(fā)揮了重要的作用。華為編譯器實(shí)驗(yàn)室架構(gòu)師俞超在《畢昇編譯器在HarmonyOS NEXT 的應(yīng)用實(shí)踐》主題演講介紹了畢昇編譯器為生態(tài)伙伴帶來(lái)了面向CPU、GPU等不同體系架構(gòu)的先進(jìn)編譯優(yōu)化技術(shù)，并分享了畢昇編譯器與生態(tài)伙伴緊密合作的優(yōu)秀實(shí)踐。
（華為編譯器實(shí)驗(yàn)室架構(gòu)師俞超發(fā)言）
天津大學(xué)教授、國(guó)家優(yōu)青項(xiàng)目獲得者陳俊潔介紹了天津大學(xué)創(chuàng)新性提出的基于程序綜合的測(cè)試程序生成思路，以及據(jù)此設(shè)計(jì)的一系列技術(shù)。據(jù)稱，這些該技術(shù)體系已經(jīng)被逐步推向?qū)嵱?，它可以從歷史測(cè)試程序中抽象出關(guān)鍵特征，并通過(guò)語(yǔ)義分析等策略進(jìn)行特征重組，以高效獲取更多樣的測(cè)試程序，并進(jìn)一步設(shè)計(jì)程序修復(fù)策略，以保證綜合后的程序合法性。
（天津大學(xué)教授、國(guó)家優(yōu)青項(xiàng)目獲得者陳俊潔發(fā)言）
通過(guò)實(shí)際的技術(shù)分享和案例展示，編譯器與編程語(yǔ)言分論壇致力于幫助開(kāi)發(fā)者在OpenHarmony生態(tài)中找到系統(tǒng)性的編譯器與編程語(yǔ)言技術(shù)，從而提升應(yīng)用的開(kāi)發(fā)效率、性能和安全性。OpenHarmony項(xiàng)目技術(shù)指導(dǎo)委員會(huì)致力于構(gòu)建一個(gè)開(kāi)放且技術(shù)領(lǐng)先的編譯器與編程語(yǔ)言交流平臺(tái)，為系統(tǒng)及應(yīng)用開(kāi)發(fā)者提供技術(shù)交流服務(wù)。未來(lái)，委員會(huì)將聯(lián)合國(guó)內(nèi)外頂尖技術(shù)專家、學(xué)者以及經(jīng)驗(yàn)豐富的工業(yè)界工程師，為OpenHarmony生態(tài)帶來(lái)在編譯器與編程語(yǔ)言技術(shù)上的創(chuàng)新思考及工程實(shí)踐案例。
（免責(zé)聲明：本網(wǎng)站內(nèi)容主要來(lái)自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿，凡在本網(wǎng)站出現(xiàn)的信息，均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性，但不保證有關(guān)資料的準(zhǔn)確性及可靠性，讀者在使用前請(qǐng)進(jìn)一步核實(shí)，并對(duì)任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對(duì)有關(guān)資料所引致的錯(cuò)誤、不確或遺漏，概不負(fù)任何法律責(zé)任。
任何單位或個(gè)人認(rèn)為本網(wǎng)站中的網(wǎng)頁(yè)或鏈接內(nèi)容可能涉嫌侵犯其知識(shí)產(chǎn)權(quán)或存在不實(shí)內(nèi)容時(shí)，應(yīng)及時(shí)向本網(wǎng)站提出書面權(quán)利通知或不實(shí)情況說(shuō)明，并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實(shí)情況證明。本網(wǎng)站在收到上述法律文件后，將會(huì)依法盡快聯(lián)系相關(guān)文章源頭核實(shí)，溝通刪除相關(guān)內(nèi)容或斷開(kāi)相關(guān)鏈接。 ）
