华为方舟编译器正式支持C语言:完全开源

2019 年 8 月底,华为方舟编译器(OpenArkCompiler)正式开源,迈出了跨越性的一步。
一年多来,方舟编程体系陆续实现了编译器、引擎、调试器的开源,其中编译器的重点功能主要集中在 Java 应用程序静态编译上。
华为强调,方舟项目的目标是构建一个基于 MapleIR 的跨语言编程环境,实现跨语言的全局分析及优化。
比如在现有 Java 编程环境下面,开发者经常需要同时编写 Java、C语言程序,通过 JNI 相互调用,而这两种语言之间目前是不直接互通的。
方舟编程体系的终极愿景之一,就是要通过一致的 IR 来表述不同语言,并跨越语言进行全局优化。
现在,方舟编译器加入了对C语言程序的支持,当然继续开源,也是实现 Java 和C混合编译的基础。
未来,方舟引擎不仅要对来自 Java 语言的 IR 代码进行 JIT 编译,也会支持对C、C++语言的 IR 代码进行 JIT 编译。
代码链接地址:“码云”
1、https://gitee.com/openarkcompiler-incubator/mapleall
2、https://gitee.com/openarkcompiler-incubator/maple_engine
本次开源内容主要限于 O0 的能力范围,针对C的 O2 以上的优化留待未来进一步开源。
目前,方舟编译器已经支持C语言的绝大部分常用特性,暂不支持的特性有 complex 类型、packedstruct、long double、alloca out-of-scope free。
当前支持 aarch64 后端,并支持绝大部分 gcc_torture 用例,比如配合一款第三方合作的C前端(开源时间待定),可以正确运行 spec2017 的所有C语言整型用例。
下一步,方舟社区计划在 Maple 编译器上做更多的拓宽和深耕工作。
广度上,一方面会尝试支持新的语言,进一步验证 Maple 基础平台的语言无关性,另一方面会增加对新后端如 RISC-V 的支持。
深度上,社区会尽快开源 O2 分析与优化 phase,性能对标 LLVM/GCC,同时利用统一的 Maple 表示,布局跨语言全局优化。
正式开源以来,方舟社区开源代码从 50K 增长到 170K,累计 6.9K Star,并孵化 5 个相关子项目。
方舟编译器作为方舟编程体系的重要一环,目前展现的还只是是静态编译,未来随着方舟引擎的完备,可以看到方舟编译器在各种 AOT 或者 JIT 编译时的运用,以及众多依赖于编译分析的软件分析和优化工具。
相关阅读
华为方舟编译器深入解读:已有 45 款第三方应用
8 月 31 日,华为方舟编译器(OpenArkCompiler)正式开源,官网已上线,源代码包、二进制包已提供下载,相关文档、演示等资料也一应俱全。
本次方舟编译器开源的是编译器框架部分源码,包括编译器中间表示(IR)和语言编译实现,同时搭配编译器其他二进制组件,实现 Java 程序到 aarch64 汇编指令的编译过程。
开发者可基于开源代码+二进制,编译构建出编译器工具链,尝试对 Java 程序进行编译。
社区参与者可以通过框架源码学习方舟编译器的编译器中间表达(IR)及基本的中端编译框架,熟悉方舟编译器的架构思想,并参与诸如对编译器中端优化的贡献。
【方舟编译器的优势】
按照华为的介绍,方舟编译器是为支持多种编程语言、多种芯片平台的联合编译、运行而设计的统一编程平台,包含编译器、工具链、运行时等关键部件,目前还在持续演进中,上述能力将陆续实现和开源。
通过多语言统一 IR 表示,方舟编译器可实现应用中多种编程语言联合编译优化提升性能,而且在支持多平台的同时,根据设备特征提供便捷的开发与部署策略提升效率。
华为方舟编译器提供了全新的系统及应用的编译和运行机制,从动态编译变为静态编译,就是直接将高级语言直接编译成机器码,彻底消除了虚拟机动态编译的额外开销,实现了开发和运行效率的兼容并举。
1、多语言联合
将同一应用中的不同语言代码联合编译、联合优化,消除语言间的性能“鸿沟”,降低开发者的优化成本
2、轻量运行时
通过编译器的语言实现能力和优化能力增强,应用运行时的开销更小
3、软硬件协同
编译器与芯片实现软硬件协同优化,充分发挥硬件能效,应用体验更佳
4、多平台支持
支持面向多样化的终端设备平台进行编译和运行,根据设备特征提供便捷的开发与部署策略,提高开发效率
【方舟编译器的架构设计】
当前方舟编译器支持Java/Kotlin 程序字节码的前端输入,C/C++/JS 等其它编程语言的支持还在规划中。
方舟编译器的中间表示(IR)转换器将前端输入转换成方舟 IR,并输送给后端的优化器,最终生成二进制文件,二进制文件与编译器运行时库文件链接生成可执行文件,在方舟的运行环境中就可执行该文件。
方舟编译器 IR 是支持程序编译和运行的中间程序表示。程序源代码中的任何信息对于程序分析和优化都是有帮助的,所以方舟 IR 的目标是尽可能完整详细地提供源程序的信息。
【方舟编译器的环境配置】
- 硬件配置推荐
方舟编译器的硬件配置需求不高,最低只需 2GHz 双核心处理器、2GB 内存、200GB 硬盘空间,当然要获得最高效率,更高配置是强烈推荐的。
- 开发环境推荐
需要 64 位版本的 Linux,尤其推荐Ubuntu 16.04
sudo apt-get -y install openjdk-8-jdk git-core gnupg flex bison gperf build-essential zip curl zlib1g-dev libc6-dev-i386 lib32ncurses5-dev x11proto-core-dev libx11-dev lib32z-dev ccache libgl1-mesa-dev libxml2-utils xsltproc unzip lib32z1-dev qemu g++-multilib gcc-multilib python3-paramiko python-paramiko python-jenkins python-requests python-xlwt libglib2.0-dev libpixman-1-dev linux-libc-dev:i386
sudo apt-get -y install gcc-5-aarch64-linux-gnu g++-5-aarch64-linux-gnu
- Clang 编译器
主要用于编译方舟编译器代码。
下载 clang+llvm-8.0.0-x86_64-linux-gnu-ubuntu-16.04,地址:
http://releases.llvm.org/download.html#8.0.0
放置到 openarkcompiler/tools 目录,打开 openarkcompiler/build/config/BUILDCONFIG.gn 文件,将 GN_C_COMPILER、GN_CXX_COMPILER 和 GN_AR 三个变量配置为 Clang 编译器所在路径。例如:
GN_C_COMPILER = "${MAPLE_ROOT}/tools/clang_llvm-8.0.0-x86_64-linux-gnu-ubuntu-16.04/bin/clang"
GN_CXX_COMPILER = "${MAPLE_ROOT}/tools/clang_llvm-8.0.0-x86_64-linux-gnu-ubuntu-16.04/bin/clang++"
GN_AR = "${MAPLE_ROOT}/tools/clang_llvm-8.0.0-x86_64-linux-gnu-ubuntu-16.04/bin/llvm-ar"
其中${MAPLE_ROOT}为 openarkcompiler 源码根目录。
安装 Ninja、GN 并完成配置
- Ninja、GN
下载 Ninja (v1.9.0) 及 GN (Linux Version) Ninja,地址:
https://github.com/ninja-build/ninja/releases
GN 下载地址:
将 GN 和 Ninja 可执行程序放置到 openarkcompiler/tools 目录,打开 openarkcompiler/Makefile 文件,将 GN 和 NINJA 两个变量配置为 GN 和 Ninja 可执行程序所在路径。例如:
GN := ${MAPLE_ROOT}/tools/gn/gn
NINJA := ${MAPLE_ROOT}/tools/ninja_1.9.0/ninja
【方舟编译器 FAQ】
Q1:方舟编译器开源有官方网站吗?
A1:
孵化期间,官方网站为 https://www.openarkcompiler.cn。正式毕业后的官网待定。
Q2:方舟编译器是一次性全部代码吗?
A2:
首次开源范围是编译器 IR (Intermediate Representation)、RC (Reference Counting)和多语言设计思想等,用于与业界、学术界沟通交流。后续将陆续开源编译器前端、后端,支持其它语言(比如 JavaScript)的编译等。
当前部分 Java 语言特性和 JVM 虚拟机特性的支持未包括在本次开源代码中,包括 annotation、lambda 表达式、泛型等。
目前仍有很多地方不完善,会在社区陆续迭代,遇到问题请在社区提交 issue。
Q3:通过哪些渠道可以获取方舟编译器的框架源码?
A3:
孵化期间,开发者可以通过如下代码托管网址获得相关代码和文档,供参考学习、了解方舟编译器的架构和代码。
华为云托管地址:
https://code.opensource.huaweicloud.com/HarmonyOS/OpenArkCompiler
开源中国码云托管地址:
https://gitee.com/harmonyos/OpenArkCompiler
Q4:方舟编译器开源路标是怎样的?
A4:
方舟编译器从 2019 年 8 月开始开源,欢迎广大的应用开发者、手机厂商、软件从业人员一起共建开源社区和生态。
开源计划大体上这样安排:2019 年 8 月重点开源框架部分;后续将陆续开源编译器前端、后端;支持 Jav 程序编译、JavaScript 语言应用的编译等。
Q5:还有哪些方式可以获取方舟编译器的相关信息?
A5:
方舟编译器有官方微信公众号:开源方舟编译器
Q6:方舟编译开源面向全球开发者吗?英文网站何时上线?
A6:
方舟编译器是向全球开发者进行开源,因此,官方网站和代码托管平台均面向全球开发者开放。
目前英文版网站正在紧张的开发及内测,计划将于 2019 年 Q4 上线。
Q7:方舟编译器源码托管计划是怎么的?
A7:
孵化委员会期间,方舟编译器代码是托管在华为云上面。
在未来走向开放治理以后,将由所挂靠机构选择的平台进行托管。如果挂靠的机构采取了X平台,就采用这个机构的代码托管模式进行托管。
当前代码托管的地址:
https://code.opensource.huaweicloud.com/HarmonyOS/OpenArkCompiler
所有相关信息请以方舟编译器开源官方网站发布为准。
Q8:方舟编译器开源使用的是什么 License?
A8:
方舟编译器采用木兰 License,由业界众多专家和公司集体共建,并非华为主导,具体好处详见专业点评:
开源中国:https://www.oschina.net/news/108840/mulanpsl-the-1st-opensource-license-of-china
开源社:https://mp.weixin.qq.com/s/1xqxxiNKhcgw4RRspAaW2A
InfoQ:https://www.infoq.cn/article/KrZAbAcJrxCU27vKj*JE
Q9: 如何确认下载包来源可靠?MD5 校验码是多少?
A9:
OpenArkCompiler-0.2-ubuntu-16.04-x86_64.tar.gz 二进制包的 MD5 码是:e7dc8b8c242f2d26429e2ad71dae3112
OpenArkCompiler-0.2.tar.gz 源代码包的 MD5 码是:1bf859a67c8b9a2d4080bdaf25ef6181
华为方舟编译器正式支持C语言:完全开源的更多相关文章
- 华为方舟编译器 下载 和 LiteOS Studio Setup 2019-04-16.exe SDK下载
华为方舟编译器是首个取代Android虚拟机模式的静态编译器,可供开发者在开发环境中一次性将高级语言编译为机器码.此外,方舟编译器未来将支持多语言统一编译,可大幅提高开发效率. 编译器下载 [Ark] ...
- 华为“方舟编译器”到底是啥?一文看懂TA如何让手机性能再突破【华为云技术分享】
版权声明:本文为博主原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接和本声明. 本文链接:https://blog.csdn.net/devcloud/article/detai ...
- 华为开发者联盟 方舟编译器 DevEco IDE
华为开发者联盟 https://developer.huawei.com/consumer/cn/ 方舟编译器是为支持多种编程语言.多种芯片平台的联合编译.运行而设计的统一编程平台,包含编译器.工具链 ...
- 编译器开发系列--Ocelot语言1.抽象语法树
从今天开始研究开发自己的编程语言Ocelot,从<自制编译器>出发,然后再自己不断完善功能并优化. 编译器前端简单,就不深入研究了,直接用现成的一款工具叫JavaCC,它可以生成抽象语法树 ...
- Win10 UWP 开发系列:使用多语言工具包让应用支持多语言
之前我在一篇blog中写过如何使用多语言工具包,见http://www.cnblogs.com/yanxiaodi/p/3800767.html 在WinEcos社区也发布过一篇详细的文章介绍多语言工 ...
- CI Weekly #18 | flow.ci iOS 最佳实践出炉,正式支持 Git@OSC 构建
如大家所期待,flow.ci 现已支持开源中国的代码仓库 - 码云,可以直接构建 Git@OSC 的项目了,点击创建项目-选择代码仓库-选择码云-绑定 OSChina 账户-选择要构建项目,教程看这里 ...
- 使用xmake检测编译器特性支持
如果我们要写跨平台的c/c++代码,很多时候需要处理由于不同编译器对c/c++各个标准支持力度不同导致的兼容性问题,一般通常的解决办法是:自己在代码中通过宏去判断各个编译器的版本.内置宏.标准库宏._ ...
- C 如何判断编译器是否支持C90 C99?
参考:<C Primer Plus>,Stephen Prata著,姜佑译. ANSI/ISO C标准 美国ANSI成立委员会X3J11,于89/90年,99年,11年,发布C标准:C89 ...
- XE3随笔21:系统默认语言与系统支持的语言列表
unit Unit1; interface uses Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, For ...
随机推荐
- Zabbix Server宕机报“__zbx_mem_malloc(): out of memory (requested 96 bytes)”
早上登录Zabbix的时候,发现其提示"Zabbix server is not running: the information displayed may not be current& ...
- 关于Vue-CLI的那些事儿
Vue CLI是基于Vue.js进行快速发展的完整系统,提供了: 交互式的项目脚手架 实现零配件的原型开发 图形化的创建和管理项目的界面 基本框架的构建: . ├── build/ # webpack ...
- Struts 2 漏洞专题 | S2-008
漏洞简介 为了防止攻击者在参数内调用任意方法,默认情况下将标志xwork.MethodAccessor.denyMethodExecution设置为true,并将SecurityMemberAcces ...
- Tomcat配置SSL
Tomcat配置SSL 查询网上资料配置如下: <Connector port="8443" protocol="HTTP/1.1" maxThreads ...
- 【NOIP2014模拟】高级打字机
题目描述 早苗入手了最新的高级打字机.最新款自然有着与以往不同的功能,那就是它具备撤销功能,厉害吧. 请为这种高级打字机设计一个程序,支持如下3种操作: T x:在文章末尾打下一个小写字母x.(typ ...
- CSS -- 元素简介
一.元素分类 在CSS中,html中的标签元素大体被分为三种不同的类型:块状元素.内联元素(又叫行内元素)和内联块状元素. 常用的块状元素有: <div>.<p>.<h1 ...
- Ruby探微初步
我的导师,曾经对我说过,常规编程语言大抵不过顺序.条件.循环 接下来以Ruby为例,简单说说 控制语句 控制语句能让程序在某种条件下,改变执行顺序,或者只执行某一部分. 控制语句的分类 控制语句大致可 ...
- [剑指Offer]57-和为s的数字
题目一 输入一个递增的数组和一个数字,在数组中查找2个数字,是他们的和正好为S,如果有多对的和为S,则输出任意一对即可. 题解 关键信息是数组有序.初始化i,j指向第一个和第二个数,与S比较,若小了, ...
- Linux宏:__ASSEMBLY__
汇编:assembly 猜测:所以这个宏跟汇编有关?! 引用:某些常量宏会同时被C和asm引用,而C与asm在对立即数符号的处理上是不同的.asm中通过指令来区分其操作数是有符号还是无符号的,而不是通 ...
- OKR工作法
OKR 目标与关键成果 [Objectives and Key Results] OKR是目标管理工具,它的价值不在于是否完成OKR,而在于呈现出团队最应该关注的事情,通过持续性的沟通确保每个人都聚焦 ...