JavaScript定時器與執行機制解析

發表於2016-05-19

Timer

從JS執行機制說起

瀏覽器(或者說JS引擎)執行JS的機制是基於事件迴圈。

由於JS是單執行緒,所以同一時間只能執行一個任務,其他任務就得排隊,後續任務必須等到前一個任務結束才能開始執行。

為了避免因為某些長時間任務造成的無意義等待,JS引入了非同步的概念,用另一個執行緒來管理非同步任務。

同步任務直接在主執行緒佇列中順序執行,而非同步任務會進入另一個任務佇列,不會阻塞主執行緒。等到主執行緒佇列空了(執行完了)的時候,就會去非同步佇列查詢是否有可執行的非同步任務了(非同步任務通常進入非同步佇列之後還要等一些條件才能執行,如ajax請求、檔案讀寫),如果某個非同步任務可以執行了便加入主執行緒佇列,以此迴圈。

JS定時器

JS的定時器目前有三個:setTimeout、setInterval和setImmediate。

定時器也是一種非同步任務,通常瀏覽器都有一個獨立的定時器模組,定時器的延遲時間就由定時器模組來管理,當某個定時器到了可執行狀態,就會被加入主執行緒佇列。

JS定時器非常實用,做動畫的肯定都用到過,也是最常用的非同步模型之一。

有時候一些奇奇怪怪的問題,加一個setTimeout(fn, 0)(以下簡寫setTimeout(0))就解決了。不過,如果對定時器本身不熟悉,也會產生一些奇奇怪怪的問題。

setTimeout

setTimeout(fn, x)表示延遲x毫秒之後執行fn。

使用的時候千萬不要太相信預期,延遲的時間嚴格來說總是大於x毫秒的,至於大多少就要看當時JS的執行情況了。

另外,多個定時器如不及時清除(clearTimeout),會存在干擾,使延遲時間更加捉摸不透。所以,不管定時器有沒有執行完,及時清除已經不需要的定時器是個好習慣。

HTML5規範規定最小延遲時間不能小於4ms,即x如果小於4,會被當做4來處理。 不過不同瀏覽器的實現不一樣,比如,Chrome可以設定1ms,IE11/Edge是4ms。

setTimeout註冊的函式fn會交給瀏覽器的定時器模組來管理,延遲時間到了就將fn加入主程式執行佇列,如果佇列前面還有沒有執行完的程式碼,則又需要花一點時間等待才能執行到fn,所以實際的延遲時間會比設定的長。如在fn之前正好有一個超級大迴圈,那延遲時間就不是一丁點了。

結果是:setTimeout: 335.187ms,遠遠不止10ms。

setInterval

setInterval的實現機制跟setTimeout類似,只不過setInterval是重複執行的。

對於setInterval(fn, 100)容易產生一個誤區:並不是上一次fn執行完了之後再過100ms才開始執行下一次fn。 事實上,setInterval並不管上一次fn的執行結果,而是每隔100ms就將fn放入主執行緒佇列,而兩次fn之間具體間隔多久就不一定了,跟setTimeout實際延遲時間類似,和JS執行情況有關。

輸出
可見,雖然每次fn執行時間都很長,但下一次並不是等上一次執行完了再過100ms才開始執行的,實際上早就已經等在佇列裡了。

另外可以看出,當setInterval的回撥函式執行時間超過了延遲時間,已經完全看不出有時間間隔了。

如果setTimeout和setInterval都在延遲100ms之後執行,那麼誰先註冊誰就先執行回撥函式。

setImmediate

這算一個比較新的定時器,目前IE11/Edge支援、Nodejs支援,Chrome不支援,其他瀏覽器未測試。

從API名字來看很容易聯想到setTimeout(0),不過setImmediate應該算是setTimeout(0)的替代版。

在IE11/Edge中,setImmediate延遲可以在1ms以內,而setTimeout有最低4ms的延遲,所以setImmediate比setTimeout(0)更早執行回撥函式。不過在Nodejs中,兩者誰先執行都有可能,原因是Nodejs的事件迴圈和瀏覽器的略有差異。

Edge輸出:setImmediate: 0.555 毫秒

很明顯,setImmediate設計來是為保證讓程式碼在下一次事件迴圈執行,以前setTimeout(0)這種不可靠的方式可以丟掉了。

其他常用非同步模型

requestAnimationFrame

requestAnimationFrame並不是定時器,但和setTimeout很相似,在沒有requestAnimationFrame的瀏覽器一般都是用setTimeout模擬。

requestAnimationFrame跟螢幕重新整理同步,大多數螢幕的重新整理頻率都是60Hz,對應的requestAnimationFrame大概每隔16.7ms觸發一次,如果螢幕重新整理頻率更高,requestAnimationFrame也會更快觸發。基於這點,在支援requestAnimationFrame的瀏覽器還使用setTimeout做動畫顯然是不明智的。

在不支援requestAnimationFrame的瀏覽器,如果使用setTimeout/setInterval來做動畫,最佳延遲時間也是16.7ms。 如果太小,很可能連續兩次或者多次修改dom才一次螢幕重新整理,這樣就會丟幀,動畫就會卡;如果太大,顯而易見也會有卡頓的感覺。

有趣的是,第一次觸發requestAnimationFrame的時機在不同瀏覽器也存在差異,Edge中,大概16.7ms之後觸發,而Chrome則立即觸發,跟setImmediate差不多。按理說Edge的實現似乎更符合常理。

 Edge輸出:requestAnimationFrame: 16.66 毫秒

Chrome輸出:requestAnimationFrame: 0.698ms

但相鄰兩次requestAnimationFrame的時間間隔大概都是16.7ms,這一點是一致的。當然也不是絕對的,如果頁面本身效能就比較低,相隔的時間可能會變大,這就意味著頁面達不到60fps。

Promise

Promise是很常用的一種非同步模型,如果我們想讓程式碼在下一個事件迴圈執行,可以選擇使用setTimeout(0)、setImmediate、requestAnimationFrame(Chrome)和Promise。

而且Promise的延遲比setImmediate更低,意味著Promise比setImmediate先執行。

Edge輸出:Promise: 0.33 毫秒 setImmediate: 1.66 毫秒

儘管setImmediate的回撥函式比Promise先註冊,但還是Promise先執行。

可以肯定的是,在各JS環境中,Promise都是最先執行的,setTimeout(0)、setImmediate和requestAnimationFrame順序不確定。

process.nextTick

process.nextTick是Nodejs的API,比Promise更早執行。

事實上,process.nextTick是不會進入非同步佇列的,而是直接在主執行緒佇列尾強插一個任務,雖然不會阻塞主執行緒,但是會阻塞非同步任務的執行,如果有巢狀的process.nextTick,那非同步任務就永遠沒機會被執行到了。

使用的時候要格外小心,除非你的程式碼明確要在本次事件迴圈結束之前執行,否則使用setImmediate或者Promise更保險。

相關文章