首次全面深度解密華為方舟編譯器

2019-08-07

本文由菊廠搞機MO編輯部出品，文字超1萬，查閲的資料多達上百萬文字，並且與華為方舟編譯器的專家做過深度訪談。文章高度概括了波瀾壯闊的軟件產業發展史，解析了華為在編譯器和手機系統方面做的多年準備。

2017年5月的一個凌晨，華為某實驗室裏，方舟編譯器上第一個Java程序“Hello, World”跑通了。

當時項目組的一位工程師就哽咽了：“I never thought printing ‘Hello, World’ would be this hard .”（我從來沒想到打出“Hello, World”會如此艱難。）

十年前華為啓動編譯組到這一刻，初見曙光。

2019年4月，華為方舟編譯器正式面世！

今天我們聚焦華為新貴——方舟編譯器，這個一發布就引起巨大響動的底層核心技術。

它為什麼能擁有和世界對話的榮光？

它承載着怎樣的使命？

它能否做到傳説中的“出於安卓，勝於iOS”？

機器的“原力覺醒”

這個故事，先從計算機的語言説起。

事實上，人類文明中最早出現的文字就是數字，比完整表意的文字早500-1000年。

隨着人類社會的發展，社會結構開始變得複雜，徵税必須先收集國民收入、財產、付款、欠款、債務、罰款等數據，遠遠超過人腦的記憶系統。於是，數字誕生了。

5000年前，蘇美爾人文明（今科威特及鄰近地區）以6和10作為基數，用符號表達1、10、60、600、以及3600。今天，我們仍然常見以6為基數的數字，例如圓有360度，一天有24小時。

而另外一種叫安第斯文化（主要在今天的南美地區），則用“結繩語”記錄數字，管理税收等財務數據長達數百年甚至數千年。就算西班牙人佔領南美之後，還在相當一段時間內用結繩語來管理他們建立的新帝國。

這就是人類最早的語言，雖然不能完整傳遞口語，也無法寫詩，但是記賬收税效率一流。

公元8世紀，印度人發明了數字0-9，這種十進制的數學符號讓數據存儲和處理的效率一日千里，成為人類文明重要的里程碑，奠定了現代數學基礎。後因阿拉伯人將其發揚光大並傳入中東和歐洲，所以大家稱之為“阿拉伯數字”。

還有一種文字系統——“0”和“1”的二進制，是人類文明另外一個重要的里程碑，被廣泛應用在現代計算機領域中。此外，我們喜歡的音樂、我們熱愛的電影、我們拍攝的照片，今天都是通過這種二進制的數字來進行“重現”，包括記錄、存儲、傳播和分享。

人類通過0和1開啓了機器“文明”，從此科學革命的進程就像安裝上了“火箭”。

那為什麼計算機使用的是二進制呢？

這個故事得回溯到大英帝國的航海時代。

早在17世紀，英國藉助強大的經濟實力和海軍力量擁有了眾多的殖民地，建立了全球霸主地位。艦隊使用的航海表計算複雜，人工計算的數據經常有誤，百年間導致大量的船隻觸礁沉沒。

直到第一次工業革命爆發，英國政府找到了數學家巴貝奇（Charles Babbage）來修正航海表。巴貝奇通過十年的努力，研製成功了“差分機”。用蒸汽機時代的機械齒輪來存儲計算過程中的數據，大大提升了航海表數據的計算速度和準確率。

同期，他開始了另外一種新機器——分析機的設計。在開發分析機的過程中，巴貝奇冥思苦想，發現乘法是加法的重複，除法是減法的重複，減法可以用加法來代替，這樣就只要設計一個加法運算器即可。基於這種假設，計算機器只需要具備兩個功能即可運作：

1）判斷兩個數的大小；

2）不斷重複執行加法計算。

所有的運算轉化為最簡單的判斷和計算，1表示Yes（開），0表示No（關），計算機用0和1不斷重複計算。這就是計算機使用“0”和“1”二進制語言的理論基礎。

值得一提的是，巴貝奇發明分析機不久之後，英國數學家喬治·布爾於1854年發表了“布爾代數學”，提出了邏輯學的二元運算，為現代電子計算機提供了另外一個重要的理論基礎。

回到分析機，巴貝奇借鑑了法國紡織機上使用的穿孔卡片。卡片上的孔眼排列，控制紡織機的梭子，能夠不斷重複的織出各種各樣美麗圖案的布匹。巴貝奇在著名詩人拜倫之女Ada Lovelace的幫助下，發現穿孔卡片不僅可以用來記錄數據，還能用來控制機器工作的指令。在卡片上打上不同排列的孔，機器便有不同的工作程序，這就是現代計算機的軟件設計思想。

**基礎研究與基礎教育是產業誕生和振興的根本。**這也是為什麼今天的英國，仍然在數學和通信領域擁有非常廣泛的影響力。

1884年，美國統計專家赫爾曼·何樂禮（Herman Hollerith）借鑑穿孔卡原理髮明瞭電動製表機，用於美國人口統計，與巴貝奇的分析機具有異曲同工之妙。他把所有需要調查的項目依次固定在一張硬紙卡上，然後將統計的居民個人信息在相應位置打孔，用來表示“Yes”。當統計機器的探針撞到卡片上的“孔”，就會接通電流，計數裝置往前進一個刻度。何樂禮博士正是採用了二進制的原理，來高效統計美國人口信息。

我們今天使用的答題卡，就採用了這種原理。

何樂禮博士隨後創建了製表機公司，也就是赫赫有名的IBM公司的前身。

1935年，著名的現代計算機科學之父和人工智能之父，艾倫·圖靈提出了著名的圖靈機模型，為現代計算機的邏輯工作方式奠定了理論基礎。

1937年，美國哈佛大學著名計算機專家霍德·艾肯在IBM公司的資助下，借鑑上面提到的英國數學家巴貝奇的分析機理論，於1944年研製成功世界第一台機電計算機——Mark-I型。IBM把這台計算機送給了哈佛大學，並一直使用到1959年，為培養早期的計算機科學家做出了巨大貢獻。

另外一位學者就沒有這樣幸運了。美國愛荷華州立大學理論量子物理學的約翰·阿塔那索夫（John Atanasoff）副教授，苦於沒有機器能夠計算出量子物理中許多變量的求解。同樣是在1937年，他尋求IBM公司的資助，但被斷然拒絕，於是他橫下決心一定要研製一台更好的計算機器。他利用當時正在發展的真空晶體管，用電子脈衝來表示“0”和“1”，並在電氣工程專家克利福特·貝瑞（Clifford Berry）的幫助下，兩人於1940年底研製成功了世界第一台電子計算機，並用兩個人的名字將其命名為ABC（Atanasoff-Berry Computer）。

阿塔那索夫開闢了一種計算機的全新路徑，為現代電子計算機的架構奠定了不可磨滅的基礎。今天的華為在內部強調研發上要多路徑突破，或許也曾受此啓發。

1940年底，他結識了美國物理學家莫克利（JohnW.Mauchly）。莫克利在瞭解和參觀了ABC計算機後，聯合賓夕法尼亞大學莫爾學院的電氣專家艾克特（J.PresperEckert），在國防部的資助下和馮·諾依曼博士的指導下，於1945年研製成功了世界第一台通用電子計算機ENIAC。雖然這台計算機採用的是十進制，但當時毫不影響它的計算能力，它大大縮短了美國“曼哈頓計劃”的原子彈研發時間，加速了二戰的結束。

1945年6月，馮·諾依曼將ENIAC電子計算機的十進制改回成二進制，並提出計算機內部存儲器存儲程序的概念，從而奠定了現代電子計算機理論的架構。

0和1這種極簡的語言設計，像給計算機注入了永遠在生長的“原力”，帶來了無限的可能。與通信領域IP路由理念具有異曲同工，就像“看不見的蒸汽機”，用最簡單的理論架構開啓了一個全新的偉大產業。

軟件王國的“四大明珠”

實際上，在電子計算機誕生之前，計算機這個角色是由女人來扮演的。這些女人被稱為Computers，大多數計算都是她們手工完成的。

世界第一段程序，是上面提到的巴貝奇的師妹著名詩人拜倫之女Ada Lovelace在打孔卡上寫出來的。程序設計人員都要把程序編排成010101這樣的形式，在紙上打孔，再送到機器裏去讀。這減少了相當多的工作，寫一個卡片能使用相當久，也避免了重複造輪子。

因此，當程序員開始在卡片上寫這些程序時，人們開始構建程序庫（libraries）。隨着時間的推移，大部分的程序漸漸的有了一些規則手冊來指導編寫。但還是很繁瑣，畢竟編寫和記憶0和1的各種組合，對於很多人來説相當於是“天書”。

一個傳奇的人物出現了。

美國海軍的傳奇天才格雷斯·霍珀（Grace Hopper），在海軍服役時，曾被派到哈佛大學，與艾肯博士一起工作，負責為美國國防部資助的Mark-II型機電計算機編制程序。在二戰結束後，她加入了發明ENAIC電子計算機的莫克利和艾克特創辦的“電子控制公司”，開始了她改變世界的光輝旅程——打開編譯器和編程語言的新世界。

Grace在加入莫克利和艾克特的公司，便產生了一種想法。她想設計一種程序，讓人可以用類似英文的語法，把想做的事寫下來，然後用這個程序把英文翻譯成機器能執行的語言，交給機器去執行。

她把這個革命性的想法付諸實踐，發明了世界上第一個編譯器A-0。這是編譯器的始祖，也是現代編程語言的始祖。

1952年，Grace和莫克利研究出了一種較為接近自然語言的計算機語言——彙編語言Flow-Matic。彙編語言本質上是使用助記符來代替機器語言01010101，進了一大步，但這種語言對計算機硬件依賴很大。不同的計算機，彙編語言不相通。

IBM公司在1946年後從製表機全面轉型電子計算機市場，並投入巨資招攬了世界眾多頂尖的計算機人才。其中一位叫約翰·貝克斯(John W. Backus)，這位出身證券經紀人家庭的富二代，酷愛數學，加入IBM公司三年後，發明了一種快速編程的FORTRAN語言。同時，他深入研究了Grace發明的Flow-Matic的編譯器，應用到FORTRAN的編譯器中。

FORTRAN的問世，在計算機史上具有劃時代的意義。它是**世界第一個高級編程語言，使計算機語言從原始的低級彙編語言走到人人易懂的境界，計算機不再是科學家的專利****。**FORTRAN的誕生，孕育了軟件產業。此後，計算機高級編程語言進入蓬勃發展的時代。

隨後，IBM公司開發出了的ALGOL高級語言，人工智能之父約翰·麥卡錫（John McCarthy）發佈了人工智能設計語言LISP，Grace奶奶也在Flow-Matic彙編語言的基礎上開發了COBOL語言。

FORTRAN適合科學計算，ALOGOL適合事務處理，LISP適合人工智能計算，COBOL適合商業處理。這四種高級語言雖然比彙編語言更簡單，但對於非計算機專業人員，編程仍難度較大。於是，Dartmouth學院的兩位教授聯手開發一種更簡單的編程語言BASIC（初學者的全方位符式指令代碼）。這是一種不需要編譯的語言，只需要經過解釋器執行即可，初期的Android智能手機軟件借鑑了這種機制。BASIC語言也是目前被廣泛使用的Visual Basic語言的鼻祖，目前在微軟Excel的“宏”中可以直接使用。

美國編程語言的開發熱潮你追我趕，其他國家也不甘示弱。

1963年，英國劍橋大學推出了CPL語言，後又推出了簡化的BCPL語言。

1970年，美國貝爾實驗室的肯·湯普遜（Ken Thompson）和丹尼斯·利奇（Dennis Ritchie）在BCPL語言的基礎上，推出了更加簡單的B語言（取BCPL第一個字母），後又簡化出了C語言（取BCPL第二個字母）。這是目前世界上最常用的編程語言之一，甚至可以説是第一大編程語言。

C語言之後，誕生了很多著名的語言，包括：

C++：1983年正式發佈。由貝爾實驗室基於C語言改良，所以C++是完全兼容C語言的。

Objective-C：1980年代發明。1988年，斯蒂夫·喬布斯（Steve Jobs）在NeXT公司時買下了 Objective-C 語言的授權，後來成為蘋果公司MAC電腦和iPhone手機的程序設計語言。

Java：1995年5月發佈。SUN公司為了在電視機頂盒等電子產品智能化過程中搶佔先機，解決跨平台的問題，所以開發了Java語言。但Java需要藉助虛擬機機制來解釋源代碼並調度硬件資源。安卓系統使用的基礎語言就是Java。

C#：2000年6月，由微軟發佈。C#與Java有着驚人的相似，也需要藉助類似於虛擬機的Framework來運行；不同的是，Java支持所有平台，而C#只支持Windows和Linux系統。

GO：谷歌在2009年發佈。GO語言主要用作服務器端和雲計算開發。

Swift：2014年由蘋果公司發佈，可以和Objective-C語言混合使用。

其中，C/C++是編譯語言，即在程序員寫完程序後，通過編譯器直接編譯成機器碼，安裝到相應的硬件設備上即可直接運行。

Java/C#是預編譯語言，就是需要先在開發者環境中將源代碼（Source Code）轉換成字節碼（Byte Code），然後在設備上運行時再將字節碼編譯或解釋成硬件能聽得懂的機器碼。將源代碼轉換成字節碼的過程，就叫預編譯。

軟件王國還有兩個很重要的成員，就是操作系統和數據庫。

上個世紀60年代，計算機高級語言的發展為操作系統和數據庫的誕生培育了沃土。

1970年，貝爾實驗室B語言和C語言的開發者肯·湯普遜（Ken Thompson）和丹尼斯·利奇（Dennis Ritchie），開發出了世界第一個通用計算機系統——UNIX。現在大家熟悉的Linux和Mac OS就是類UNIX操作系統。

其中Linux可以運行在服務器和其他大型平台之上，如大型計算機和超級計算機，世界上最快的前10名超級計算機運行的都是基於Linux內核的操作系統。在移動設備上廣泛使用的Android操作系統也是創建在Linux內核之上。

隨着磁盤的發明，從磁盤隨機存取數據成為可能。1961年，美國通用電氣公司成功地開發出世界上第一個數據庫管理系統（DBMS）——IDS（Integrated DataStore 集成數據存儲）。1968年，IBM公司開發了IBM第一個數據庫系統IMS（Information Management System）。IBM科學家的論文理論，成就了著名的Oracle數據庫。IBM公司出品的DB2和微軟公司的MS SQLServer數據庫也成為當今數據庫領域重要的角色，目前在全世界已經廣泛應用。

高級編程語言、編譯器、操作系統和數據庫，被稱為軟件王國的“四大明珠”。

從上圖可以看出，為軟件底層貢獻核心技術的公司主要來自於歐美。華為通過多年持續的研發投入，讓我們終於看到了美國巨頭的背影。

編譯器的前世今生

如果説計算機是汽車，那麼軟件就像汽車的操控系統一樣，是計算機的血液。

編譯器則是汽車發動機裏最核心的汽油燃燒技術，將軟件變成計算機的動力，其編譯性能和效率，直接決定了用户的使用體驗。

如上文所述，最早的編譯器是Grace奶奶發明的A-0編譯器。

第二個被大規模應用的編譯器，則是和FORTRAN編程語言配套的FORTRAN編譯器。

目前主流使用的編譯器主要有下面幾種：

Windows系統

使用CL編譯器。它直接集成在Visual Studio或Visual C++的開發者環境中，一般不單獨使用。

Linux系統

使用開源的GCC編譯器。GCC，由自由軟件運動的精神領袖理查德·馬修·斯托曼（Richard Matthew Stallman, RMS）在上個世紀80年代創立。它原本只處理C語言，後續擴展可以處理C++、Objective-C、Java等其他語言。GCC被認為是跨平台軟件的編譯器首選。

蘋果Mac和iOS系統

最初使用GCC編譯器，現已替代為Clang + LLVM。

為什麼蘋果公司要換編譯器呢？

因為蘋果發現開源的GCC開發者根本使喚不動，他們不願意專門為了蘋果公司的要求優化和改進GCC代碼，所以蘋果將編譯器後端直接替換為LLVM（Low Level Virtual Machine，底層虛擬機），並且將讀研時（2003年）發明LLVM的天才少年克里斯·拉特納（Chris Lattner）招入麾下。克里斯進入了蘋果之後，大幅度優化和改進LLVM以適應Objective-C的語法變革和性能要求，同時發起了CLang項目來完全替代GCC。

今天，GCC + LLVM 已經被替換成了 Clang +LLVM。LLVM負責編譯器後端，用來處理代碼優化和跨平台，而Clang負責前端，只需將程序源代碼轉換成LLVM可以看得懂的IR（Intermediate Representation，中間語言）即可。

另外，上文提到的Swift語言，則是這位天才少年克里斯為蘋果公司貢獻的第三個重要作品。

安卓系統

安卓主要使用預編譯的Java語言開發，最初版本通過虛擬機運行，不需要編譯器，後續版本加入了JIT和AOT編譯機制（下一部分將詳細展開）。

除了上述編譯器之外，還有兩個著名的編譯器值得一提。

Intel的ICC編譯器

ICC編譯器，全稱Intel C++ Compiler，是Intel開發的C/C++/Fortran編譯器套裝，適用於Linux、Microsoft和Mac OS X操作系統，廣泛應用於高性能計算、分佈式計算等商業計算領域。

SGI等公司推出的Open64編譯器

SGI（S代表超級計算機，G代表圖形工作站，I代表具有突破性的洞察力）生產的超級計算機，主要應用於巨大的實驗室，採用Open64編譯器。

安卓的四大命門

交待完計算機和軟件的發展歷程，終於説到正題。

安卓系統從2008年1.0到今天的9.0，十來年間安卓系統大小版本超過15個，從2016年開始也在不斷融入了華為等手機公司發起的文件系統、人工智能學習、智能硬件調度和內存管理等底層創新技術，安卓手機的體驗已經今非昔比。

為什麼仍然還有很多人詬病安卓手機沒有iPhone流暢？安卓系統的程序是怎樣運行的？下面展開闡述一下安卓的四大命門。

解決安卓這四大命門，也是華為方舟編譯器的使命！

第一個命門

Java的“虛擬機”

前面提到，Java為了能夠實現跨平台操作，便藉助虛擬機來調度硬件平台資源。在虛擬機裏，還需要集成翻譯器或者編譯器，來將Java的字節碼（即中間代碼）解釋成機器聽得懂的機器語言，或者直接編譯成機器直接執行的010101的機器碼。

2008年，Android 1.0剛發佈的時候，使用的是一個叫Dalvik的虛擬機，裏面集成了一個解釋器，每次用户在安卓手機上運行APP時，就會叫醒這個解釋器，來給安卓的硬件解釋APP想要幹嘛。這就相當於新聞發佈會，發言人講一句自己的母語，然後再由專業翻譯將其翻譯成外國記者聽得懂的語言，效率非常低下，一個小時可能也問不了幾個問題。

谷歌意識到這個問題嚴重拖了安卓手機的後腿，所以通過一年多的努力，在2010年中發佈了2.2版本，引入了JIT(Just in Time，即時編譯)機制。JIT比較聰明，當用户在安卓手機運行APP時，會同時將用户經常使用的功能編譯為機器能直接執行的010101機器碼，不用每一句每一句的去翻譯。當出現不常用的功能時，再把解釋器叫起來翻譯。

JIT雖然變聰明瞭一點，但是每次啓動APP都要先編譯一次，不能一勞永逸。加上Dalvik虛擬機性能比較落後，所以谷歌在2014年10月推出了Android 5.0版本，將虛擬機從Dalvik替代成ART（Android Run Time），同時把JIT的編譯器替代成AOT (Ahead of Time)。意思就是説，APP在下載後安裝到手機上時同時把能編譯的代碼先編譯成機器聽得懂的101010。剩下不太好翻譯的代碼，就在用户使用時再叫醒解釋器來翻譯。AOT相比JIT的好處，就是不用每次打開APP都需要先編譯一遍。但是，壞處就是用户安裝APP的時間有點長。

越來越多的用户吐槽為什麼安裝一個APP也慢吞吞。於是，谷歌在2017年Android 7.0又做了一點改進，安裝時先不編譯中間代碼，而是在用户空閒時將能夠編譯成機器碼的那部分代碼，通過AOT編譯器先靜態編譯了。如果AOT還沒來得及編譯或者不能編譯，再叫醒JIT+解釋器兩個難兄難弟來頂住。這種機制，相當於用時間換空間，既縮短了用户安裝APP的等待時間，又將虛擬機裏編譯器和解釋器能做的優化提升到最大效率了。

很多人以為華為方舟編譯器就是Android 7.0的ART虛擬機，其實不然。

無論是編譯器還是解釋器，只是在虛擬機上打補丁。手機上的虛擬機+編譯器+解釋器本身不僅佔用硬件資源，還無法最大發揮軟件運行性能。正因如此，所以絕大部分手機廠商只能無奈的通過簡單粗暴提升安卓手機的內存和存儲空間，來彌補虛擬機的弊端。

這就是安卓的第一個命門，虛擬機先天不足。

第二個命門

Java的“原罪”——額外的JNI開銷

JNI，全稱Java Native Interface（Java原生接口），用來和C/C++等代碼進行交互。

目前95%的TOP應用都是使用Java和C/C++等多種語言混合開發而成。Java和C/C++屬於兩種不同架構的語言，各有自己的使用規範。為了APP正常運行，它倆之間需要互通有無，這個互通有無的接口就是JNI。在數據訪問、函數調用、生命週期維護、異常處理等方面都需要這兩種代碼互相調用。這就意味着手機硬件資源要分配一部分給JNI去做調度。不僅佔用了硬件資源，而且這種機制本身就效率較低。

這便是額外的JNI開銷。

第三個命門

代碼優化空間有限

安卓虛擬機的編譯器受限於手機硬件和代碼優化模板單一，代碼優化空間有限。

編譯器包含三個部分。前端Front End，主要負責將源代碼翻譯成IR（Intermediate Representation，中間表示）；中端的Optimizer主要負責代碼優化，將前端翻譯過來的IR代碼優化得更高效；後端Back End則將優化後的IR編譯成101010的機器碼。

為了防止生態過於碎片化，安卓只為第三方開放了簡單的編譯代碼優化模板，代碼優化空間有限。

第四個命門

Java現有內存回收機制易造成間歇性卡頓

當手機內存資源不夠用的時候，安卓虛擬機就會召喚GC（Garbage Collection）封鎖公路，讓所有手機運行的Java線程“Stop World”，全部暫停，等待它回收內存空間，避免“交通流量超載”。這個GC機制，無法精確控制和干預，用户也無法把它去掉，所以性能比較差的手機還存在“間歇性”卡頓。

十餘年間，通過安卓系統的持續優化，以及內存的不斷加持，安卓手機構築了足夠流暢的用户體驗。

但是安卓的四大命門，如同達摩克利斯之劍，懸在安卓廠商的頭上。華為科學家和工程師們，對此持續攻關了十年，只為再造安卓。

十年方舟，再造安卓

沒錯，華為為此準備了十年。

2009年，華為啓動5G基礎技術研究的同時，開始創建編譯組，第一批海內外研究人員加入。

2013年，華為推出面向基站領域的自研編譯器HCC，並正式提出編譯器框架構想。

2014年，眾多海內外專家加入華為，方舟項目正式啓動。

2016年，成立編譯器與編程語言實驗室。

2019年，華為方舟編譯器正式面世！

這十年，每一次攻關都藴含着華為軟件工程師們的傾力投入，每一個進展都值得銘記。

2017年5月，方舟編譯器上第一個Java程序“Hello World”跑通。

2017年8月的一個凌晨，在華為的一個實驗室裏，項目組已經連續數日24小時不間斷攻關，卻始終看不到success的返回信息。絕望之下，工程師把所有通信數據打印出來，逐個字節排查，最終發現有一處字節的順序不一致。糾正後，華為方舟跑通了第一個安卓後台服務DiskStatus，這標誌着對安卓的換心手術進入了實操階段。

2018年春節前一週，方舟編譯器跑通安卓系統所有後台服務，併成功移植到手機。當晚，所有人聚集在實驗室的機房中，等待首個開機畫面加載成功的神聖時刻。秒針滴答，如同過了一個世紀那麼久，屏幕終於點亮。

歡呼，擁抱，一蹦三尺高，項目組成員們到底沒忍住，留下了激動的淚水。

接下來，項目組在除夕前夜啓動了方舟編譯手機的Beta測試。大年初一清晨，總架構師發來了第一條經編譯器編譯的運行程序發出來的拜年消息：

春節快樂，方舟大吉！

當P30發佈會上“方舟”甫一出現，就在中國軟件行業“炸”了鍋。無數軟件從業者從一開始的質疑，到弄清方舟真相後的驚歎……這些都是對華為軟件工程師們十年如一日、一點一滴“啃硬骨頭”的致敬！

實際上，方舟已經不是傳統意義上從高級語言到機器碼的“萬能翻譯”，更是一個編譯運行系統。

一方面，方舟編譯器首次在Java領域將虛擬機幹掉了，也是軟件史上首次將Java/C/C++等混合代碼一次編譯成機器碼直接在手機上運行，徹底告別Java的JNI額外開銷，也徹底告別了虛擬機GC內存回收帶來的應用進程掉線，使操作流暢度大幅提升。如果説目前最新的安卓系統是和諧號動車，那麼經方舟編譯的安卓系統便是高鐵，是“復興號”。

華為手機直接通過方舟編譯器替換了Android system-server的所有後台服務，這一項就已經足夠讓華為EMUI比其他安卓系統更快一步。根據華為官方測試，方舟編譯器提升手機系統操作流暢度高達24%，系統響應性能提升44%。入手P30系列的用户，應該已經體驗到了。

另一方面，**方舟編譯器用空間換性能，直接將編譯器的代碼優化搬到了開發者環境，**不再被手機端的硬件資源所限制，為代碼優化提供了無限可能。

此外，經測試，新浪微博極速版APP經方舟編譯後，操作流暢度提升高達60%。

解決安卓的四大命門，出於安卓，勝於安卓，超越iOS，並且全面兼容安卓，這就是華為方舟編譯器的使命！

生來就是要幹掉虛擬機

方舟編譯器從立項開始，就是要徹底幹掉虛擬機。這在歷史上，是從來沒有人做過的。

SUN公司當初發明Java語言，就是藉助虛擬機的這個“萬能中轉站”，屏蔽掉各種硬件的差異，方便同一個代碼在多個平台運行，所以Java是目前最流行的高級編程語言之一。這麼多年，從來沒有人能夠幹掉虛擬機，説明難度非常之大。

那麼方舟編譯器，是如何完全乾掉虛擬機的呢？

最關鍵的就是要能夠將Java代碼直接編譯成010101的機器碼。

這種設想在理論是可行的，但是從現實來講太難了。歷史上有過一些嘗試，比如現在大行其道的安卓ART虛擬機。這些嘗試能夠提前翻譯Java語言裏很多的靜態語義，但是多數的動態語義，仍然搞不定，還得交給虛擬機。

所謂靜態語義，我們可以理解為確定的語言和意思，比如“我是張三”。而動態語義，則需要結合上下文去理解，比如“能穿多少就穿多少”，到底穿多還是穿少，要看是冬天還是夏天了。例如大家熟悉的微博、京東等APP的開屏廣告就需要用到動態語義。像編譯靜態語義一樣去編譯動態語義，很多知乎大神認為根本就不可能。

為了這個目標，華為軟件工程師們對自己苛求再苛求，這裏涉及到大量的細節，從對象模型的設計，到每一個bit的用途、每一個對象的元數據metadata（描述數據的數據）每一個編譯優化的設計，都經過了無數次的激烈討論和推倒重來。

最終，方舟編譯器通過編譯階段和運行階段的雙向加持，將靜態編譯動態語義最大的兩大難點一一解決：一是設計數據模型，二是如何在運行時高效獲得動態信息。方舟編譯器團隊基本遍歷了Java的動態語義，進行了大規模的數據建模。同時，大大提高了編譯時動態語義分析的精度，特別是涉及跨語言調用時；另外，華為設計了一套具有核心專利的動態語義匹配機制，有效降低了運行時動態語義的開銷。

**正是因為這兩大難點的突破，讓方舟編譯器能夠將Java代碼編譯成機器能直接執行的語言。**經過華為方舟編譯器的APP，再也不需要在手機上編譯了，徹底告別了虛擬機，從而帶來了媲美甚至超越iOS的安卓體驗。

代碼“萬國通”

95%的Top應用都是Java/C/C++等混合語言編寫而成。方舟編譯器的第二個使命，就是幹掉混合語言互相調用帶來的JNI開銷。

華為方舟編譯器團隊基於多個編程語言的深刻理解和大量研發積累，將混合語言破天荒實現了統一的中間表示IR，這就相當於同一個人能夠理解全世界的語言，所以我們把這個革命性突破叫做，代碼“萬國通”。

那麼方舟編譯器是如何使用統一的IR來表示各種語言呢？

IR是用來表示代碼的數據結構，它是編譯器的各模塊以及相關工具之間用來傳遞信息的“協議和通用語言”，也是程序變換和編譯優化各種算法的承載體。它是編譯器的“大腦”，直接決定了編譯器的最終效果。它的難度是最高的。

華為方舟編譯器團隊對IR進行了長達五年的精雕細琢，逐漸摸索出“大腦”裏每一條神經、每一個神經元的信號規律，並在此基礎上發明了一套核心專利，使得不同語言代碼在開發者環境中能夠統一編譯成同一套可直接執行的機器碼，從而徹底消除混合語言互相調用的開銷。

給代碼裝上飛機發動機

除了IR，編譯器還有一個非常重要的價值，就是代碼優化。

華為方舟編譯器，直接將代碼優化從手機環節搬到了開發者環境，未來還可能搬到雲端。利用開發者環境更強大的算力，可以實現更先進和精細的優化算法，來達到更強大的優化效果，在很多特定場景代碼優化的提升甚至是顛覆性的。

這相當於給APP在方舟裏裝上飛機發動機，讓你的APP運行如飛！

值得一提的是，開發者使用方舟編譯器，並不需要改變原來的編碼習慣。開發者可以自行開發代碼優化算法，也可以僅通過方舟編譯器預置的算法進行代碼優化。未來，華為還將提供代碼調優工具，開發者可以選擇根據工具的優化建議來調整代碼，和方舟編譯器配合獲得更優的執行效果。

可以想象，未來廣大APP開發者使用方舟編譯器後，消費者們的體驗將達到一個前所未有的高度。這對於整個安卓生態，都是一件前所未有的幸事！

Stop World，安卓卡頓再見

方舟的第四個使命，就是解決安卓虛擬機GC內存回收帶來的“Stop World”。

目前安卓手機內存資源不夠用的時候，GC直接叫停所有應用，所以偶爾會遭遇莫名卡頓。

方舟編譯器採用了引用計數法（RC，Reference Counting）來進行內存的實時回收，並且配合使用了專門的消除環算法（消除對象互相引用帶來的無法回收問題），來避免GC集中式回收帶來的系統卡頓。相比GC，方舟的內存回收是實時的而非集中式的，且不需要暫停應用進程，這樣便大大消除了卡頓。

如果把內存回收比作成打掃房間，那麼GC的策略是專門有一個衞生員，看房間裏垃圾太多了，就把所有人請出去，打掃完了再讓大家回來。而方舟的RC則是每個人收拾自己的垃圾，用完就清理，保持清潔的同時不影響人的正常活動。

軟件有一個大家很熟悉的死循環，就是電腦被一個無限循環的運行程序把計算機資源佔光。

這種“死循環”在軟件中叫“環引用”。為了從機制避免手機內存被環引用“吃掉”，方舟編譯器引入annotation的“告警”標示，對基礎類的環進行標註。當然，Java程序員也可以對業務代碼中的環進行標註。經過豐富的實踐驗證，方舟這種機制可減少大部分程序中環的出現。

另外一方面，方舟編譯器在運行狀態下引入了高效的環回收機制，允許有選擇的智能回收某個APP的內存佔用，這對傳統的環回收算法是一個非常棒的改進。

Stop World，安卓卡頓，再見！

正是因為方舟做到混合語言的統一中間表示和完全靜態編譯，它幹掉了虛擬機，消除了JNI開銷，告別了GC內存回收的“間歇性”卡頓，以及其他很多開銷。同時，為開發者進行代碼優化提供了一個更廣闊的舞台。

華為很快將全面開源方舟編譯器，屆時開發者們可以使用方舟編譯器作為開發工具，為移動應用生態和體驗打開一扇全新的大門。

科技的進步，離不開全球無數科學家和工程師的奉獻。產業的繁榮，開放是唯一出路！

最後，以Linux 的創始人Linus Torvalds的名言結尾！

Talk is cheap. Show me the code！

空談誤國，實幹興邦！

硬廣植入2019華為開發者大會8月9日—8月11日敬請期待！