上节课介绍了 Dart 基础数据类型、基础运算符、类以及库与调用。本课时着重通过实践带你掌握 Dart 的运行原理。
Dart 单线程
单线程在流畅性方面有一定安全保障,这点在 JavaScript 中存在类似的机制原理,其核心是分为主线程、微任务和宏任务。主线程执行主业务逻辑,网络 I/O 、本地文件 I/O 、异步事件等相关任务事件,应用事件驱动方式来执行。在 Dart 中同样是单线程执行,其次也包含了两个事件队列,一个是微任务事件队列,一个是事件队列。
- 微任务队列
微任务队列包含有 Dart 内部的微任务,主要是通过 scheduleMicrotask 来调度。
- 事件队列
事件队列包含外部事件,例如 I/O 、 Timer ,绘制事件等等。
事件循环
既然 Dart 包含了微任务和事件任务,那么这两个任务之间是如何进行循环执行的呢?我们可以先看下 Dart 执行的逻辑过程(如图 1):
-
首先是执行 main 函数,并生产两个相应的微任务和事件任务队列;
-
判断是否存在微任务,有则执行,执行完成后再继续判断是否还存在微任务,无则判断是否存在事件任务;
-
如果没有可执行的微任务,则判断是否存在事件任务,有则执行,无则继续返回判断是否还存在微任务;
-
在微任务和事件任务执行过程中,同样会产生微任务和事件任务,因此需要再次判断是否需要插入微任务队列和事件任务队列。
图 1 Dart 事件循环机制
为了验证上面的运行原理,我实现了下面的示例代码,首先 import async 库,然后在 main 函数中首先打印 flow start ,接下来执行一个微任务事件,再执行一个事件任务,最后再打印 flow end 。
import 'dart:async';
void main() {
print('flow start'); // 执行打印开始
// 执行判断为事件任务,添加到事件任务队列
Timer.run((){
print('event'); // 执行事件任务,打印标记
});
// 执行判断为微任务,添加到微任务队列
scheduleMicrotask((){
print('microtask'); // 执行微任务,打印标记
});
print('flow end'); // 打印结束标记
}
使用 Dart 运行如上命令。
dart flow.dart
代码的实际运行过程如下:
-
首先主线程逻辑,执行打印 start ;
-
执行 Timer,为事件任务,将其增加到事件任务队列中;
-
执行 scheduleMicrotask,为微任务队列,将其增加到微任务队列中;
-
执行打印 flow end;
-
判断是否存在微任务队列,存在则执行微任务队列,打印 mcrotask;
-
判断是否还存在微任务队列,无则判断是否存在事件任务队列,存在执行事件任务队列,打印 event。
flow start
flow end
microtask
event
为了更清晰描述,可以我们使用图 2 动画来演示。
图 2 Dart 主线程运行逻辑
介绍完 Dart 的运行原理,你可能会产生以下疑问。
疑问1,为什么事件任务都执行完成了,还需要继续再循环判断是否有微任务?
核心解释是:微任务在执行过程中,也会产生新的事件任务,事件任务在执行过程中也会产生新的微任务。产生的新微任务,按照执行流程,需要根据队列方式插入到任务队列最后。
我们通