一、JIT 与 AOT
借助于先进的工具链和编译器,Dart 是少数同时支持 JIT(Just In Time,即时编译)和 AOT(Ahead of Time,运行前编译)的语言之一。
JIT 和 AOT 是最常见的 两种编译模式。
- JIT
JIT 在运行时即时编译,在开发周期中使用,可以动态下 发和执行代码,开发测试效率高,但运行速度和执行性能 则会因为运行时即时编译受到影响。- AOT
即提前编译,可以生成被直接执行的二进制代码, 运行速度快、执行性能表现好,但每次执行前都需要提前 编译,开发测试效率低。
- AOT 的典型代表是 C/C++,它们必须在执行前编译成机器 码。
而 JIT 的代表,则包括了如 JavaScript、Python 等几 乎所有的脚本语言。
总结来讲,在开发期使用 JIT 编译,可以缩短产品的开发周 期。Flutter 最受欢迎的功能之一热重载,正是基于此特 性。而在发布期使用 AOT,就不需要像 React Native 那样 在跨平台 JavaScript 代码和原生 Android、iOS 代码之间 建立低效的方法调用映射关系。所以说,Dart 具有运行速 度快、执行性能好的特点。
二、内存分配与垃圾回收
- Dart VM 的内存分配策略比较简单,创建对象时只需要在 堆上移动指针,内存增长始终是线性的,省去了查找可用内 存的过程。
Dart 中,并发是通过 Isolate(隔离区) 实现的。Isolate 类似于 线程但不共享内存,是独立运行的 worker。这样的机制,就可以让 Dart 实现无锁的快速内存分配。
- Dart 的垃圾回收,则是采用了多生代算法。新生代在回收 内存时采用“半空间”机制,触发垃圾回收时,Dart 会将 当前半空间中的“活跃”对象拷贝到备用空间,然后整体释 放当前空间的所有内存。回收过程中,Dart 只需要操作少 量的“活跃”对象,没有引用的大量“死亡”对象则被忽 略,这样的回收机制很适合 Flutter 框架中大量 Widget 销 毁重建的场景。
三、单线程模型
Dart 是单线程模型,Dart 中并没有多线程概念,只有 Isolate(隔离区)。 Isolates 之间不会共享内存,通过事件循环(Event Looper)在事件队列 (Event Queue)上传递消息通信。
- 支持并发线程执行的高级语言(比如,C++、Java、 Objective-C),大都以抢占的方式切换线程,即:每个 线程都会被分配一个固定的时间片来执行,超过了时间片后 线程上下文将被抢占后切换。如果这时正在更新线程间的共 享资源,抢占后就可能导致数据不同步的问题。
解决这一问题的典型方法是,使用锁来保护共享资源,但锁本身又可能会带来性能损耗,甚至出现死锁等更严重的问题。- 这时,Dart 是单线程模型的优势就体现出来了,因为它天 然不存在资源竞争和状态同步的问题。这就意味着,一旦某 个函数开始执行,就将执行到这个函数结束,而不会被其他 Dart 代码打断。
所以,Dart 中并没有线程,只有 Isolate(隔离区)。 Isolates 之间不会共享内存,就像几个运行在不同进程中的 worker,通过事件循环(Event Looper)在事件队列 (Event Queue)上传递消息通信。
网友评论