小男孩‘自慰网亚洲一区二区,亚洲一级在线播放毛片,亚洲中文字幕av每天更新,黄aⅴ永久免费无码,91成人午夜在线精品,色网站免费在线观看,亚洲欧洲wwwww在线观看

分享

從敲下一行JS代碼到這行代碼被執(zhí)行,中間發(fā)生了什么?

 板橋胡同37號 2020-01-15
我們每天都在寫JS,你是否想過,計算機是怎么識別你的這一行代碼,并且執(zhí)行相應(yīng)指令?本篇文章為你講述從敲下一行JS代碼到這行代碼可以被執(zhí)行算出正確的結(jié)果,都經(jīng)歷了什么。

編譯

學(xué)過計算器基礎(chǔ)的,即使學(xué)的不好,大概都知道計算機跟人能讀懂的語言是不一樣的,它只認(rèn)識0101的二進(jìn)制數(shù)。
也就是機器指令碼(machine instruction code )。一開始,人們都是用它來寫程序,可以想到最早的程序員有多痛苦。這種二進(jìn)制碼不易被人類理解和記憶,估計出錯太多,最后終于聰明的人類終于發(fā)明了適合自己學(xué)習(xí)記憶各種高級計算機語言,也包括JS。
但是機器并不能直接理解JS語言,所以這里就需要一個中介幫忙程序解釋并且將其編譯成機器指令碼給計算機執(zhí)行。這個過程就叫編譯。
而我們chrome瀏覽器里的V8引擎就是幫我們做這個事情的中介。但是并不是只有g(shù)oogle一家在做瀏覽器啊,所以市面上還有很多JS引擎。下面是從網(wǎng)上趴的圖:
而另前端痛苦不堪的瀏覽器兼容問題,就是因為使用的JS引擎不同,所以能夠理解的JS語法不同,我們就需要寫好幾種兼容語法。
所以終極解決兼容問題的方法就是:全部瀏覽器都用一種JS引擎,目前v8大有一統(tǒng)天下的趨勢,不過這個東西最終能不能實現(xiàn)今天就不討論了。

編譯原理

無論是哪種編譯器,原理都差不多。所以我們直接來看看編譯原理,就知道V8大概是如何工作的了。
編譯一般分為三個步驟:
  • 詞法分析(laxical Analysis)

詞法分析的意思就是,將代碼塊切分成最小的單位。這些最小單位成為token。比如 var a = 2;可以切分成var,a,=,2
  • 語法分析(Syntatic Analysis)

將詞法單元轉(zhuǎn)換成一個有層級,代表程序語法結(jié)構(gòu)的樹,這就是我們經(jīng)常說的AST,抽象語法樹。
注意:詞法分析跟語法不是完全獨立的,而是交錯運行的。也就是說,并不是等所有的token都生成之后,才用語法分析器來處理。一般都是每取得一個token,就開始用語法分析器來處理了。
下面我們來看看一個add函數(shù)會生成怎樣的語法樹:
  1. function add (a, b) {

  2. return a + b

  3. }


生成的樹太長了,截圖不完整,可以在AST Exploer看到最終的AST。
可以看到這就是這段函數(shù)的樹形展示,如果你沒看懂,可以看這篇文章。這里就不具體解釋每個FunctionDeclaration Identifier BlockStatement的意思了。
AST可是所有編譯器以及轉(zhuǎn)換器的基礎(chǔ)核心,我們常用的babel轉(zhuǎn)碼過程就是先將ES6的代碼編成AST,然后轉(zhuǎn)換成ES5的AST,最后由這個AST還原出ES5代碼。有興趣的可以看這篇文章,這篇文章是將LISP-style代碼的轉(zhuǎn)成C-style代碼,不過原理都一樣。
可以說基于AST,你可以隨意玩轉(zhuǎn)各種編程語言的相互轉(zhuǎn)換。
構(gòu)建語法樹,還有一層作用,就是發(fā)現(xiàn)語法錯誤。當(dāng)JS解析器發(fā)現(xiàn)無法構(gòu)造這個抽象語法樹的時候,就會報語法錯誤,并結(jié)束整個代碼塊的解析。而對于一些強類型語言(也就是一開始就要定義這個變量是什么類型,后面都不能改變),在構(gòu)建出語法樹之后,還會有類型檢查。但是對于JS這種弱類型語言,就沒有這一步。當(dāng)然TypeScipt為我們提供了類型檢查,并且可以將我們的typeScript代碼編譯成JS。
  • 代碼生成(Code Genaration)

最后一步就是將AST轉(zhuǎn)成計算機可以識別的機器指令碼。
V8引擎的編譯過程基本就是上面這個過程,但是它多了一步生成字節(jié)碼的過程。首先用解析器生成AST,然后用解釋器Ignition根據(jù)語法樹生成字節(jié)碼,最后再用TurboFan將字節(jié)碼生成機器指令碼
為什么要先轉(zhuǎn)成字節(jié)碼,是因為直接生成機器指令碼太占內(nèi)存了。
整個過程就是這么簡單了。

V8 為什么那么快

JS的編譯過程發(fā)生在執(zhí)行前的那段時間,所以對JS引擎的性能要求特別高,因為這直接影響到頁面加載的速度。
那么V8是如何做到的呢?
1、腳本流(script streaming)
以前的chrome里,網(wǎng)絡(luò)拿到數(shù)據(jù)之后,必須經(jīng)過chrome主線程轉(zhuǎn)發(fā)到流解析器。但是,當(dāng)網(wǎng)絡(luò)數(shù)據(jù)到達(dá)之后,主線程有可能被其他事情占住,比如HTML解析,布局,其他JS執(zhí)行。這樣這些數(shù)據(jù)就沒辦法被即使解析。
從Chrome 75開始,V8可以將腳本直接從網(wǎng)絡(luò)流傳輸?shù)搅鹘馕銎髦?,而無需等待chrome主線程。
這意味著腳本一旦開始加載,V8就會在單獨的線程上解析。這樣下載腳本完成后幾乎立即完成解析,從而縮短頁面加載時間。
2、字節(jié)碼緩存
首次訪問頁面的時候,JS代碼會被編譯成字節(jié)碼。當(dāng)再次訪問同一個頁面的時候,會直接復(fù)用首次解析出來的字節(jié)碼。
這樣就省去了下載,解析,編譯的步驟??梢允筩hrome節(jié)省大約40%的時間。
3、內(nèi)聯(lián)
如果一個函數(shù)內(nèi)部調(diào)用其他函數(shù),那么編譯器會直接函數(shù)中將要執(zhí)行的內(nèi)容放到主函數(shù)里。
  1. function add(a, b) {

  2. return a + b;

  3. }

  4. function calculateTwoPlusFive() {

  5. var sum;

  6. for(var i = 0; i <= 1000000000; i++) {

  7. sum =add(2+5);

  8. }

  9. }

  10. var start = newDate();

  11. calculateTwoPlusFive();

  12. var end = newDate();

  13. var timeTaken = end.valueOf() - start.valueOf();

  14. console.log('Took '+ timeTaken + 'ms');

內(nèi)聯(lián)屬性會將這個代碼編譯成
  1. function add(a, b) {

  2. return a + b;

  3. }

  4. function calculateTwoPlusFive() {

  5. var sum;

  6. for(var i=0;i<=1000000000;i++){

  7. sum = 2+ 5;

  8. }

  9. }

  10. var start = newDate();

  11. calculateTwoPlusFive();

  12. var end = newDate();

  13. var timeTaken = end.valueOf() - start.valueOf();

  14. console.log('Took '+ timeTaken + 'ms');

我把這段代碼放在safari上跑需要1454ms,而chrome只需要453ms,基本只有三分之一。
4、隱藏類
對于C++/Java,訪問指令可以在編譯階段生成。
因為它們的每一個變量都有指定的類型。所以一個對象包含什么成員,這些成員是什么類型,在對象中的偏移量都可以在編譯階段就確定了。那么在CPU執(zhí)行的時候就輕松了,要訪問這個對象中的某個變量的時候,直接用對象的首地址加偏移量就可以訪問到。
但是JS是動態(tài)語言,運行的時候不僅可以隨意換類型,還可以動態(tài)添加刪除屬性。所以訪問對象屬性完全得運行的時候才能決定。
如果JS引擎每次都需要進(jìn)行動態(tài)查詢,會造成大量的性能損耗。所以V8引入了隱藏類機制。在初始化對象時候,會給他創(chuàng)建一個隱藏類,而后增刪屬性都會在創(chuàng)建一個隱藏類或者查找之前已經(jīng)創(chuàng)建好的類。
那么這些類里的成員對于這個類來說就是固定的。所以他們的偏移量對于這個類來說也是固定的,那么在后續(xù)再次調(diào)用的時候就能很快的定位到他的位置。
  1. functionPerson(name, age) {

  2. this.name = name;

  3. this.age = age;

  4. }

  5. var daisy = newPerson('daisy', 22);

  6. var alice = newPerson('alice', 20);

  7. daisy.email = 'daisy@qq.com';

  8. daisy.job = 'engineer';

  9. alice.job = 'engineer';

  10. alice.email = 'alice@qq.com';

對于這段代碼,它的隱藏類的生成過程如下:
首先兩個new Person()的時候,生成的隱藏類為C0,因為此時沒有任何屬性。當(dāng)執(zhí)行this.name = name;的時候多了一個屬性,于是又生成了C1。后面同理,到C2生成的時候,daisy跟alice的隱藏類都是一樣的,就是C2,此時有兩個屬性。
但是后面由于動態(tài)添加屬性的順序不同,就造成了屬性在類中的偏移量不同,也會生成不同的隱藏類。這樣就沒辦法共享隱藏類,導(dǎo)致浪費資源生成新的隱藏類。
所以我們動態(tài)賦值的時候,盡量保證順序也是一致的。
5、熱點函數(shù)會被直接編譯成機器碼
v8在運行的時候,會采集JS代碼運行數(shù)據(jù)。當(dāng)發(fā)現(xiàn)某個函數(shù)被頻繁調(diào)用,那么就會將它標(biāo)記成熱點函數(shù),并且認(rèn)為他是一個類型穩(wěn)定的函數(shù)。這時候會將它生成更為高效的機器碼。
但是在后面的運行中,萬一類型發(fā)生變化,V8又要回退到字節(jié)碼。
比如:
  1. function add(a, b){

  2. return a + b

  3. }

  4. // 這里使用add的時候一直傳入number類型

  5. for(var i=0; i<10000; ++i){

  6. add(i, i);

  7. }

  8. // 最后卻傳了string,會使得性能受損

  9. add('a', 'b');

同理,下面兩段代碼可以猜猜誰的執(zhí)行效率高?
  1. // 片段 1

  2. var person = {

  3. add: function(a, b){

  4. return a + b;

  5. }

  6. };

  7. obj.name = 'li';

  8. // 片段 2

  9. var person = {

  10. add: function(a, b){

  11. return a + b;

  12. }

  13. name: 'li'

  14. };

答案是2。結(jié)合前面知識,我們可以知道,方法一中動態(tài)添加屬性會生成一個新的隱藏類。如果add函數(shù)此時已經(jīng)被轉(zhuǎn)成機器碼,那么對于方法一來說,就沒辦法復(fù)用了。因為類都是新的了。
所以函數(shù)內(nèi)部參數(shù)類型越穩(wěn)定,V8的效率越高。

總結(jié)一下

從敲下一段JS代碼到它最終被計算機理解并執(zhí)行,中間經(jīng)歷了詞法分析,語法分析,生成機器碼,執(zhí)行機器碼。
當(dāng)然這個編譯的過程是很復(fù)雜的,尤其js還是動態(tài)語言,對于js引擎的性能要求就很高了。V8做了很多事情來提升瀏覽器的性能,其中包括但不限于:
  • 腳本流

下載的同時就已經(jīng)在解析,節(jié)省時間
  • 字節(jié)碼緩存

訪問同一個頁面的時候直接復(fù)用之前的字節(jié)碼,不在重新編譯生成
  • 內(nèi)聯(lián)

將主函數(shù)中調(diào)用的函數(shù),直接換成將要執(zhí)行的語句
  • 隱藏類

通過隱藏類快速定位到動態(tài)加入的屬性
注意:動態(tài)加入的屬性順序不一樣,會造成生成不同的隱藏類,我們動態(tài)賦值同一個構(gòu)造函數(shù)對象的時候,盡量保證順序也是一致的。
  • 熱點函數(shù)編譯成機器碼

將常用的函數(shù)直接一步到位編成機器碼。
注意:常用的函數(shù)傳入的類型保持固定。并且對象的屬性越穩(wěn)定,越有利于性能。

參考文檔

https:///post/5ada727c518825670b33a584 https://the-super-tiny-compiler./intro https://blog.csdn.net/weixin34184561/article/details/87999100 https://segmentfault.com/a/1190000016231512#comment-area https://blog.csdn.net/weixin34184561/article/details/87999100 
https://s0v80dev./blog/v8-release-78 https://blog.csdn.net/weixin_34184561/article/details/87999100 https:///post/5c36fc33518825253b5e94e3

    本站是提供個人知識管理的網(wǎng)絡(luò)存儲空間,所有內(nèi)容均由用戶發(fā)布,不代表本站觀點。請注意甄別內(nèi)容中的聯(lián)系方式、誘導(dǎo)購買等信息,謹(jǐn)防詐騙。如發(fā)現(xiàn)有害或侵權(quán)內(nèi)容,請點擊一鍵舉報。
    轉(zhuǎn)藏 分享 獻(xiàn)花(0

    0條評論

    發(fā)表

    請遵守用戶 評論公約

    類似文章 更多