浏览器事件循环Event Loop
引言:
事件循環不是瀏覽器獨有的,從字面上看,“循環”可以簡單地認為就是重復,比如for循環,就是重復地執行for循環體中的語句,所以事件循環,可以理解為重復地處理事件,那么下一個問題是,處理的是什么事件,事件的相關信息從哪里獲取。
因為我沒有用nodejs做過什么項目,所以這里我暫且只關注瀏覽器的事件循環,但我想就“事件循環”本身而言,原理應該是相同的,不過就具體的實現可能存在一些差異。
一道面試題
相信應該有部分小伙伴和我一樣,在面試中曾遇到過類似于這種問打印結果的題目。
(async function main() {
console.log(1);
setTimeout(() => {
console.log(2);
}, 0);
setTimeout(() => {
console.log(3);
}, 100);
let p1 = new Promise((resolve, reject) => {
console.log(4);
resolve(5);
console.log(6);
});
p1.then((res) => {
console.log(res);
});
let result = await Promise.resolve(7);
console.log(result);
console.log(8);
})()
這種題目就是變相的在考察事件循環的知識。
我個人感覺事件循環這個點,也是隨著Promise的出現,成為了一個常見的考點。
什么是事件循環
一提到事件循環,我想很多人會和我一樣,立刻想到異步、宏任務、微任務什么的。
WIKI
先不著急,我們先看下Wiki上,對事件循環的通用性描述。
In computer science, the event loop is a programming construct or design pattern that waits for and dispatches events or messages in a program. The event loop works by making a request to some internal or external "event provider" (that generally blocks the request until an event has arrived), then calls the relevant event handler ("dispatches the event"). The event loop is also sometimes referred to as the message dispatcher, message loop, message pump, or run loop.
The event-loop may be used in conjunction with a reactor, if the event provider follows the file interface, which can be selected or 'polled' (the Unix system call, not actual polling). The event loop almost always operates asynchronously with the message originator.
When the event loop forms the central control flow construct of a program, as it often does, it may be termed the main loop or main event loop. This title is appropriate, because such an event loop is at the highest level of control within the program.
簡而言之,事件循環是一種編程結構或設計模式,用于在程序中等待和派發事件或消息。
它的工作原理是,向內部或外部的“事件提供者”發出請求(通常會阻止請求,直到事件發生)這就回答了我們之前的問題:事件的信息從哪里來,是由“事件提供者”提供,然后調用相關的事件處理程序(“派發事件”)關于如何處理事件。
事件循環有時也被稱為消息派發器、消息循環、消息泵或者運行循環。
事件循環幾乎總是與消息發送者異步運行。
這里我覺得可以這么理解,“消息發送者”這邊將事件的消息交給了“事件提供者”,而事件循環這邊會向“事件提供者”發出請求獲取事件,然后調用相關的事件處理程序;所以說,事件循環與消息發送者是異步運行。
事件循環必然是在“消息發送者”將事件的消息交出之后,才會去執行事件處理程序;也就是說,事件循環的操作是在當下之后,在”將來“才會發生的。
當事件循環構成程序的中心控制流結構時(通常如此),它可以被稱為主循環或主事件循環。這個稱謂是恰當的,因為這樣的事件循環處于程序的最高控制層。
MDN
WIKI上提供的是通用性的描述。我們再看一下MDN,MDN上直接搜索事件循環,可以看到是位于JavaScript路徑下,針對JavaScript事件循環的描述。
JavaScript has a runtime model based on an event loop, which is responsible for executing the code, collecting and processing events, and executing queued sub-tasks. This model is quite different from models in other languages like C and Java.
第一段很直白的描述:JavaScript的運行時模型,是基于事件循環的,負責執行代碼、收集和處理事件以及執行隊列中的子任務。
執行隊列中的子任務:這基本上等于說,JavaScript的運行時給JavaScript提供了事件循環的能力;可以說JavaScript運行時中事件循環的部分,提供了JavaScript異步的具體實現方式。給JavaScript提供了支持異步的能力。
那么JavaScript為什么要處理異步呢?這就不得不提JavaScript的單線程運行特性 ,線程是什么?是進行運算調度的最小單位,而JavaScript設計之初,是為了處理網頁上的交互事件,如果JavaScript允許多線程,也就是允許多個觸發的事件同時進行運算,這可能就會呈現出各種不一樣的計算結果,在用戶看來就會顯得交互很混亂,為了減少不確定性,JavaScript干脆就選擇了單線程運行,所有代碼都在同一個線程中執行;另外,JavaScript中的交互事件很多,如果每個觸發事件都單獨開辟線程來處理,也是不小的開銷吧。
但是呢,雖然JavaScript是單線程運行的,但也存在需要在將來完成的操作,也就是存在異步代碼,比如定時器。如果在Java中,我們也許可以選擇new一個線程,sleep多少秒,然后再執行,但是JavaScript中不能這樣做,因為它沒有多線程,而如果直接在主線程等待,必定會引發阻塞和卡頓。事件循環就是對這種情況的一種解決方案,為了協調瀏覽器中的各種事件,必須使用事件循環;而事件循環中的消息隊列就由JavaScript運行時來管理。
運行時概念
相信不少前端同學都聽過“運行時”這個詞,那運行時到底是什么呢?我覺得可以這么簡單理解,既然運行時的功能是負責執行代碼、收集和處理事件以及執行隊列中的子任務,那么運行時中必須定義一套規則,關于如何去處理這些事情。所以可以簡單地把運行時認為是定義了一套執行規則的JavaScript執行環境。
關于運行時,可以看到MDN上有一個直觀演示的圖,其中包含了函數調用形成的執行棧、分配對象的堆,以及消息隊列。
根據WIKI給出的描述,運行時模型中,與事件循環關系最密切的,是消息隊列,也就是我們前面提到的“事件提供者”。現在我們來看這個隊列。
A JavaScript runtime uses a message queue, which is a list of messages to be processed. Each message has an associated function that gets called to handle the message.
At some point during the event loop, the runtime starts handling the messages on the queue, starting with the oldest one. To do so, the message is removed from the queue and its corresponding function is called with the message as an input parameter. As always, calling a function creates a new stack frame for that function's use.
The processing of functions continues until the stack is once again empty. Then, the event loop will process the next message in the queue (if there is one).
我們來看翻譯的內容:
JavaScript 運行時使用消息隊列,這是一個待處理消息列表。每條消息都有一個相關函數被調用來處理該消息。
在事件循環中的某個時刻,運行時開始處理隊列中的消息,從最舊的消息開始。(”隊“這個數據結構我們知道,是先進先出的,所以先進隊的消息會先被處理。)為此,會從隊列中移除消息,并將消息作為輸入參數調用相應的函數。一如既往,調用函數會創建一個新的堆棧框架供該函數使用。
函數的處理將一直持續到堆棧再次清空為止。然后,事件循環將處理隊列中的下一條消息(如果有的話)。(也就是,消息隊列中的消息是一條接一條處理的。這里的堆棧指的就是函數調用形成的執行棧和分配對象的堆)
那么隊列中的消息是哪里來的呢? 從這段內容中我們可以知道,進隊的消息已經在等待處理了;所以比如有個定時器setTimeout,定義了有段代碼需要等待3秒才執行,那這段代碼就不能直接就進隊,為了保證動作3秒后才執行,會在3秒后才進隊,也就是說,setTimeout的第二個參數代表的是將消息推入隊列的延遲時間。
那么肯定需要有什么東西,來管理這段代碼,將這段代碼在給定的延時后,推入消息隊列。既然js沒法去開線程管理,所以也是瀏覽器在管理;Chrome就有一個定時器線程,專門用于處理定時器,在定時器計時結束后,通知事件觸發線程將消息推入隊列;同樣的,在用戶觸發交互事件時,事件觸發線程也會將已在代碼中定義的消息推入隊列,也就是在事件監聽程序addEventListener中監聽的操作;還有異步HTTP請求線程,來管理請求回調的消息入隊。等等,瀏覽器的這些線程共同作用來實現事件循環這個機制。
在JS主線程空閑時,就會將這些消息隊列中的消息出列,交由主線程來執行。
那么接下來就是事件循環的執行步驟的問題。
事件循環執行步驟
首先,關于微任務:我們來看HTML的文檔。
Each event loop has a microtask queue, which is a queue of microtasks, initially empty. A microtask is a colloquial way of referring to a task that was created via the queue a microtask algorithm.
每個事件循環都有一個微任務隊列,這是一個初始為空的微任務隊列。微任務是一種通俗的說法,指通過微任務隊列算法創建的任務。
也就是說,每個事件循環都會維護一個自己的微任務隊列。它和我們之前看的消息隊列,不是同一個隊列,消息隊列指的是這個文檔中的任務隊列,也就是task queue。
總所周知,常見的產生宏任務的方式有script、setTimeout、setInterval、UI事件等等;常見的產生微任務的方式有Promise.prototype.then、MutationObserver等等。
假設我們在瀏覽器中加載了一個頁面,現在我們來看事件循環的處理步驟:
- 初始狀態:運行時的調用棧空。微任務隊列空,消息隊列里有且僅有一個script腳本(整體代碼)
- 然后消息隊列中的script腳本被推入調用棧,同步代碼開始執行。
- 當碰到微任務時,比如Promise.then,就將微任務推入事件循環的微任務隊列中;這里要注意一下,Promise執行器函數中的代碼屬于同步代碼,會被順序執行;
- 當碰到宏任務時,就將它們丟給相應的瀏覽器線程;
- 當本次代碼中的同步代碼都執行完畢后,就將微任務隊列中的任務一一處理并出隊;
- 這樣就完成了一次循環;
- 本次的宏任務script腳本也被出隊。
- 此時DOM修改完成,然后瀏覽器會執行渲染操作,更新界面。
- 如果宏任務在各自的線程中被處理完畢后,就會被推入消息隊列。
- 再接著就是當JS主線程空閑后,會去查詢隊列中是否還有任務,開啟新一輪的循環。
這個步驟我大概畫了個圖:
現在我們照著最開始的面試題進行舉例。
首先,這段代碼是一整個script腳本,其中的同步代碼會首先被按順序執行,
可以看到這個script腳本中有一個async異步函數,async函數中的同步代碼會首先被執行,所以先會打印1,
然后碰到兩個產生宏任務的setTimeout,丟給定時器線程,為了后面方便講述,這里分別把它們叫做宏任務1和宏任務2;
然后執行promise執行器函數中的同步代碼,打印4和6;
接著碰到Promise.then這個微任務,我們給它記為微任務1,將它推入微任務隊列,
然后我們又碰到一個await,await之后的代碼相當于是Promise.then中的代碼,也就是會被推入微任務隊列,我們給它記為微任務2;
到這里,本次循環中的同步代碼都執行完畢了;
接著就是開始把微任務隊列中的微任務取出執行,首先是執行微任務1,打印5;
接著執行微任務2,打印7和8;
本次事件循環就結束了。
等到計時結束,宏任務1會先被推入消息隊列,在JS主線程空閑,去查詢消息隊列后,代碼就會被執行,會打印2;
同理,宏任務2后面也會被執行,并打印3。
這樣我們就完成了這道面試題的解答。
總結
總的來說,事件循環就是JS中異步的具體實現方式,它的實現需要來自宿主環境的支持,比如瀏覽器中的各種線程,運行時中的消息隊列等等。
總結
以上是生活随笔為你收集整理的浏览器事件循环Event Loop的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: Spring5学习随笔-Spring5的
- 下一篇: 01_实验一_操作系统的启动start