转载

Google 提出 StrongMode 和 SoundScript议案，增强 V8 性能

JavaScript 引擎性能大战硝烟迷漫，Chrome V8 引擎团队宣布了一个新的计划，在这个计划里他们介绍了两个新的虚拟机概念：强化模式（StrongMode）和强化脚本（StrongScript）。

强化模式是 ES5 严格模式（strict mode）的一个扩展，在这个模式下只允许使用性能可预测的 JavaScript 特性。它是 JavaScript 语言的一个子集，在允许的情况下关闭妨碍虚拟机充分优化代码的部分特性。

举个例子，强化模式下的其中一个限制是数组不能有空洞。在一篇描述 SoundScript 的博客文章中，Dr. Axel Rauschmayer 说：

如果数组没有空洞，它们的元素就会被存储在连续内存中并且可以被索引访问，如果数组一旦有了空洞，就必须使用由索引到元素的映射。

所以，只要消除数组空洞就可以提升性能。如果想要使用这个模式，开发者需要在代码的最前面加入如下声明：

use strong

按照强化模式规范编写的 JavaScript 仍然可以在其它浏览器中运行，启用强化模式意味着 V8 会进行额外的性能优化，当你使用了不被建议的代码时会抛出错误提示。Mozilla 的研究员， Emscripten 的负责人 Alon Zakai 对此感到非常担忧：

这让我感到很困扰，如果它正常运行，那么没问题，但是如果遇到增强模式不推荐使用的代码，那么事情就大有不同，其它浏览器可能以不同的方式执行。当然，如果想避免这个问题发生，强化模式需要抛出警告（warnings）而非错误（errors），作为规范，仅提示人们他们可以优化的内容就足够了。

在一个有潜力成为 JavaScript 重大改变的相关议案中，SoundScript 旨在向运行时 JavaScript 中添加面向用户的类型。JavaScript 的其中一个特性就是它的动态类型系统，然而随着应用规模的增加，为了满足运行大型项目的需求，像 TypeScript 一样的外部类型系统如雨后春笋般涌现。

事实上，SoundScript 将会基于 TypeScript 实现一套尽可能与 TypeScript 相似的标准，V8 团队表示在虚拟机中支持强类型会让它可以使用类型信息以尽早地积极优化。

在 Hacker News 上的一个讨论中，JavaScript 的创始人 Brendan Eich，希望 Chrome 在这些提案上有所作为：

V8 团队承诺与 TC39 一起为语义化工作并且开源这些代码，这么做大有裨益。最糟糕的情况是，这会变成另一个 Chrome 掌权的游戏，变成另一个Chrome的权力场。但是所有迹象都表明，到目前为止事情并没有像这样发展下去。

Google 声称强化模式和 SoundScript 暂时是实验性的，像这样的新特性在加入标准之前还有很长的路要走。ECMAScript 负责的标准核心 TC39 在形成新标准之前，像 SoundScript 这样的提案还需要充分地实践。

我们鼓励开发者阅读强化模式的提案，开发者们可以在命令行中使用如下 flag 打开 Chrome canary：