JavaScript单线程机制与任务队列原理详解

本文深入探讨JavaScript的单线程特性及其任务队列的工作原理，通过具体示例代码进行详细解析，旨在为读者的学习或工作提供具有实际价值的参考。

JavaScript为何采用单线程设计

一、JavaScript为何采用单线程设计

JavaScript的核心特征之一是单线程，这意味着在任意给定时刻，程序只能执行一项任务。

for(var j = 0; j < 5; j++) {
 console.log(j);
}
console.log('end');

如上述代码所示，只有当for循环完全执行结束后，才会继续执行end语句；

JavaScript之所以设计为单线程，与其应用场景密切相关。作为浏览器脚本语言，其主要职责是与用户交互以及操作DOM。这种定位决定了它必须是单线程的，否则将引发复杂的同步问题。

假设JavaScript同时拥有两个线程，一个线程负责在某个DOM节点上添加内容，而另一个线程却删除了该节点，此时浏览器应当依据哪个线程的结果进行操作？

因此，为了避免这种复杂性，JavaScript从诞生之初就确立了单线程模型，这已成为该语言的核心特征，且未来不会改变。

为了充分利用多核CPU的计算能力，HTML5提出了Web Worker标准，允许JavaScript脚本创建多个线程。然而，子线程完全受主线程控制，且被禁止操作DOM。因此，这一新标准并未改变JavaScript单线程的本质。

任务队列机制

二、任务队列机制

“任务队列”本质上是一个事件队列（也可理解为消息队列）。当IO设备完成一项任务时，会在“任务队列”中添加一个事件，表示相关的异步任务可以进入“执行栈”了。主线程通过读取“任务队列”，来获知其中包含哪些事件；

我们来具体解释一下：

由于JavaScript是单线程的，这意味着所有任务必须排队执行，前一个任务结束后，才会执行后一个任务。如果前一个任务耗时过长，后一个任务就不得不一直等待。

如果排队是因为计算量过大导致CPU占用率高，这尚在情理之中。但在很多时候，CPU实际上处于空闲状态或拥有大量未使用的资源，因为IO设备（输入输出设备）的速度较慢（例如Ajax操作需要从网络读取数据），必须等待结果返回后才能继续执行后续代码。

JavaScript语言的设计者意识到，主线程完全可以忽略IO设备，将这些等待中的任务挂起，先运行排在后面的其他任务。等到IO设备返回结果后，再去执行之前挂起的任务。

因此，所有任务可以分为两种类型：一种是同步任务（synchronous），另一种是异步任务（asynchronous）。

同步任务指的是在主线程上排队执行的任务，只有前一个任务执行完毕，才能执行后一个任务；

异步任务指的是不进入主线程，而是进入“任务队列”（task queue）的任务。只有当“任务队列”通知主线程某个异步任务可以执行时，该任务才会进入主线程执行。

具体来说，异步执行的运行机制如下（同步执行也是如此，因为它可以被视为没有异步任务的异步执行）。

所有同步任务都在主线程上执行，形成一个执行栈。

主线程之外，还存在一个“任务队列”（task queue）。只要异步任务有了运行结果，就在“任务队列”之中放置一个事件。

一旦“执行栈”中的所有同步任务执行完毕，系统就会读取“任务队列”，查看其中有哪些事件。那些对应的异步任务，于是结束等待状态，进入执行栈，开始执行。

主线程不断重复执行上述第三步。

for(var j = 0; j < 5; j++) {
  console.log(j);
  setTimeout(function() {
    console.log('timeout');
  }, 0);
}

console.log('end');

//结果0 1 2 3 4 end timeout timeout timeout timeout timeout

以上就是本文的全部内容，希望对大家的学习有所帮助，也希望大家多多支持本站。