背景:JS是一种单线程语言,一次只能执行一个任务,如果有多个任务,就排队,执行完一个再执行下一个任务,会造成资源浪费,无法及时响应用户的行为。JS的创造就是为了解决一些简单问题,且JS没有锁机制,若存在多线程,DOM的操作也会变得复杂且不可控。
当这种等待机制运行时,会造成阻塞,也就是同步机制,Event Loop就是为了解决这个问题。
Event Loop是一个程序结构,用于等待和发送消息和事件。
在程序中设置两个线程,一个负责程序本身的运行,称为“主线程”,另一个负责主线程与其他进程的通信,被称为“Event Loop线程”(消息线程)。
每当遇到I/O的时候,主线程就会让Event Loop线程去通知相应的I/O程序,然后接着往后运行,等到I/O程序完成操作,Event Loop线程再把结果返回主线程,主线程就调用事先设定的回调函数完成整个任务。这种模式就被称为“异步模式”或“非阻塞模式”。本质上来讲,JS中的异步行为还是同步行为。
JS在执行过程中会产生执行环境,这些执行环境会被顺序的加入到执行栈中。如果遇到异步的代码,会被挂起并加入到 Task 队列中,会有多种Task。一旦执行栈为空,Event Loop就会从Task队列中拿出需要执行的代码并放入执行栈中执行。不同的任务源会被分配到不同的 Task 队列中,任务源可以分为微任务(microtask)和宏任务(macrotask),在ES6规范中,微任务称为 jobs,宏任务称为 task。
一次Event Loop执行顺序是:
- 执行同步代码,这属于宏任务
- 执行栈为空,查询是否有微任务需要执行
- 执行所有微任务
- 必要的话渲染UI
- 开始下一轮Event Loop,执行宏任务中的异步代码
微任务包括 process.nextTick, promise, Object.observe, MutationObserver
宏任务包括 script, setTimeout, setInterval, setImmediate, I/O, UI rendering