出品 | 网易科技《态℃》栏目组
4月25日,北京。
“它就是能让安卓上的应用,跑得跟苹果iOS上一样快。”面对台下的记者,华为消费者BG软件部总裁王成录这么描述方舟编译器的作用。
此时,距离这个吊起了安卓应用开发者们兴趣的编译器在发布会上被公开,正好过去了两周。
什么是方舟编译器?
在4月11日的华为P30中国发布会上,华为消费者业务CEO余承东正式发布了华为方舟编译器,并表示这个编译器能改善安卓应用编译效率,从原先的边解释边执行转变为全程机器码高效运行程序。
编译器,就是将“一种计算机语言(通常为高级语言)”翻译为“另一种计算机语言(通常为低级语言)”的程序。高级计算机语言便于开发者们编写、阅读交流以及维护,如Pascal、C、C++、Java等,而低级机器语言是计算机能直接解读、运行的机器代码(Machine code)。
华为的方舟编译器,就是将安卓应用开发者们所使用的JAVA、C/C++们转换成机器代码。据王成录透露,华为从2009年就开始考虑做编译器,“因为咱们海思做了芯片以后,需要有自己的编译器才能真正发挥芯片的能力,从2013年开始,有华为自己的自研编译器了,叫HCC。”
根据时间表显示,在2012年,华为成立了编译器与编程语言实验室,在2014年,技术大牛Fred Chow加入华为负责编译器的主架构,经过十年的摸索,华为终于推出了方舟编译器。
根据华为官方公布的数据显示,与此前的安卓应用开发相比,方舟编译器能够提升24%的系统操作流畅度,提升44%的系统响应能力,还能提升60%的第三方应用(微博极速版)操作流畅度。
它是怎么做到的?
一、 消除了跨语言调用开销
王成录向记者们详细阐述了方舟编译器能提升流畅度、响应能力的工作原理。
首先,方舟编译器是多语言联合优化编译器,“消除了跨语言调用开销,这是影响Android性能开销比较大的核心原因之一。”
据王成录介绍,目前Android应用市场里95%的APP都是多种开发语言:“逻辑部分,都是Java代码,但是为了增强它的能力,可能所有的APP的开发者,都会用C写个库供Java来调用。”
Java是一门面向对象编程语言,具有简单性、面向对象、分布式等特点,虽然运行效率不及C++,但开发效率高、跨平台性更强的优势,让JAVA成为了安卓开发的首选,而通过JNI调用本地C/C++库也是目前开发者们都在做的。
但,Java和C语言之间使用接口调用,必然会形成额外的性能开销;王成录表示,华为方舟编译器将不同语言代码在开发环境中编译成一套可执行文件,这样执行效率更高。
二、消除了影响性能的虚拟机机制并实时回收内存
王成录认为华为方舟编译器的第二大特点是消除了影响性能的虚拟机机制。
在安卓系统发展过程中,虚拟机不可被忽视:Android系统是以Linux为内核构建的,为了降低应用的开发难度,并将其适配到不同硬件配置的设备上,Google在Linux内核之上构建了一个虚拟机,Android应用使用java开发,运行在虚拟机之上。
在安卓4.4之前,Dalvik就是安卓系统上使用的虚拟机,基于寄存器。从Android 2.2开始,Dalvik开始使用JIT(Just In Time)技术来进行代码转译,将频繁调用的代码转换为二进制码,不用每次解释,而在此前Dalvik虚拟机将所有的Java语句逐句解释执行,效率很低。。
但Dalvik越来越不能满足需求,从Android 5.0开始,虚拟机从Dalvik换成了ART。
ART(Android RunTime)虚拟机,采用AOT(Ahead Of Time)技术,会在应用程序安装时就预编译字节码到机器语言,不再在执行时解释,从而优化了应用运行的速度。
所以,到目前为止,安卓系统的任何机器只要装上应用装上就会分配好虚拟机,占用额外的系统资源,消费者从应用市场下载APP以后,真正解释成机器指令和执行文件是在手机上的虚拟机里做的,因此对系统资源要求高。
王成录表示,ART的执行效率虽然提高了,但是对于那些Java动态特性的部分,仍然做不到直接编译,还是要解释执行。
这源于Java不是Python那样的动态语言,但开发者经常会用到它一个非常突出的动态相关机制:反射机制。Java反射机制主要提供了以下功能:在运行时判断任意一个对象所属的类、在运行时构造任意一个类的对象、在运行时判断任意一个类所具有的成员变量和方法、在运行时调用任意一个对象的方法、生成动态代理。
王成录表示,Java动态特性使得开发者“不需要把所有的程序都写好,只要能够运行时实现调用就可以了。”但这部分往往只能在运行时进行处理。而方舟编译器最大的突破就在于此:把动态的部分全部静态编译掉。
这确实很难。
王成录认为,这就像一个优秀的翻译官,一定要对汉语言文学理解的非常到位,然后再对英语理解非常到位;所以,核心是一定要对Java语言动态特性非常深入的了解和理解,“Java有非常多的库和业务逻辑,这些业务逻辑它生成各种各样的应用和代码和业务逻辑,这些业务逻辑就需要团队不断地去理解它,这个理解有点类似于做代码测试的遍历一样,我让这个代码全跑到,才知道可不可以,它需要非常多的时间去积累,我对于库的理解,当然需要技术,我理解这个库本身的具体含义,有点像AI里面,我要收集东西,训练一个模型。如果这个东西没有的话,我训练出来的模型不好,我这个机器没法执行,这个道理特别像。”
然后还需要对这些安卓现有的应用可能会用到哪些库、这些库之间需要怎么用,需要大量的分析运行状态,才能够将这些动态特性完成提前的编译。“实际上华为对于Android整个系统各种应用的运行,做了非常仔细去确认,相当于一个应用从底层起来,一直跑完以后,到底经过哪些过程,这些过程可能会带来什么问题?去哪些库取东西,这些东西积累越多,放到动态库里面,把它编译完了。有了这2个积累,才能做成这件事情。”
对于效果,有开发者向网易科技表示,“做成了静态编译,速度肯定会更快。”
方舟编译器还能提供更高效的内存回收机制。