为什么方舟编译器要搞 10 年?这波分析让人惊艳

昨天华为正式开源了其方舟编译器,一时间引起热议。在方舟技术专家所在的微信群中,JFinal 作者詹波对于华为方舟编译器战略的分析十分令人惊艳。

詹波最初的疑惑是为什么方舟编译器需要花费 10 年时间才实现

方舟编译器官网的深度解密文章表明,做出方舟编译器的难度极大。我理解为比做一个 C++ 编译器的难度要大得多得多,否则打造方舟编译器不会需要十年时间。

而 C++ 远比 Java 复杂度高,为什么做一个 Java 编译器的难度会远比做 C++ 编译器要高得多呢?

官网的方舟深度解密文章中并未透彻说明核心难点在哪里。

关于方舟编译器的深度解析,可以查看:拜拜虚拟机,全面深度解密华为方舟编译器

方舟专家不闲解答了他的疑惑,他介绍,首先在构思方舟的时候华为并没有选择 C++,是因为国内生态开发者主要还是 Java/Kotlin 为主,而 Java 本身是动态语言,如果要能够在服务器侧做到静态编译,又不能动手裁剪语言的动态能力,就需要 IR,运行时,编译器以及编程框架一起修改。这还要考虑复杂的兼容问题,导致技术方案选型的困难

其次要想提高流畅度,需要提升内存使用效率、提升 JNI 效率,需要想尽办法控制动态绑定对性能的影响,需要 profile 上有更准确的信息,这是系统工程上的困难

而业界其实也有 Kotlin 原生的技术路线,但一方面其精简了语言,另一方面,借助了 JVM 的大量技术,难度低了,价值也小了。

不闲表示,其实二进制编译也只是一种技术路线,简单的 AOT 也是生成二进制,问题的关键是如何提升编译后的代码执行效率,这是当前的主要困难。做出一个可以工作的不难,难在做出世界顶尖性能。“甲骨文、Jetbrains 等很多海外公司都在做类似尝试,如果不是有大牛压台……我们国内能做 IR 设计和内存模型的人很少,大家也都不再用汇编编程了。”

随后詹波提出观点,他认为华为有了自家的 IR layer 与方舟之后,在 IR layer 之上可以拥有现有的各种程序语言生态,以及 Android 的 app 生态;在 IR layer 之下可以接入自家操作系统与自家硬件

他甚至直言“方舟+IR”是核弹级战略武器:“在核心软硬件生态被西方全面把控的局面下,采用这种战略,太过高明,超越了市面上各种建立生态讨论的高度。”

你觉得詹波的分析有没有道理,欢迎留言探讨。

猜你喜欢

转载自www.oschina.net/news/109511/what-does-ark-mean