【AICon】探索RAG 技术在实际应用中遇到的挑战及应对策略!AICon精华内容已上线73%>>> 了解详情
写点什么

可信编程 – Rust 语言开发的实践和愿景

  • 2021-02-11
  • 本文字数:2426 字

    阅读完需:约 8 分钟

可信编程 – Rust语言开发的实践和愿景

作者:

Yijun Yu

可信编程首席专家

华为可信软件工程与开源实验室

华为爱尔兰研究所

Amanieu d’Antras

Rust 高级专家

华为可信软件工程与开源实验室

华为爱尔兰研究所


Rust 带来的创新

StackOverflow 的调查表明, 自 2015 年以来,Rust 一直是开发者最爱的编程语言。

学术界对于 Rust 也越来越重视,在编程语言和软件工程顶会上发表的关于 Rust 的论文正逐年增加。

不仅如此,《自然》杂志 2020 年尾的文章《Why Scientists are Turning to Rust》中也强调:科学家极为推崇 Rust。

Rust 在华为的初步推进

华为的目标是引领通信系统软件向安全可信演进,其中 Rust 语言正在发挥很大的作用。例如,我们希望通过部分 C/C++代码向 Rust 的迁移,在保证高性能的同时,拥有更高的安全性。在此过程中, 我们为开发者提供一套自动化工具支持:基于开源的 C2Rust 转译工具, 首先从 C 代码生成 Rust 代码, 然后通过源到源变换工具自动重构。


华为内部还基于 actor 的并发编程模式开发了 Rust 库,例如 async, await,方便程序员充分利用 Rust 的语言特性。


华为的通信系统软件开发以 C/C++ 代码为主, 在需要的时候,这些 Rust 库将使 C/C++ 到 Rust 的迁移更加顺畅。作为业界领先公司和 Rust 基金会创始成员,华为致力于推进 Rust 在通信软件行业的发展,并将持续为 Rust 社区做出贡献。

华为对 Rust 社区的贡献

我们为 Rust 社区贡献了许多重要的功能特性。例如,我们最近为 Rust 编译器提交了一系列代码,使得 Rust 编译目标可以支持 ARM AArch64 32 位大端变体 ILP32 芯片组, 以便用于我们的通信产品中。这些改进使得我们和友商可以在这些常用网络硬件架构上执行 Rust 原生程序。这些代码已经通过我们的 Rust 专家 Amanieu d’Antras 提交给了 LLVM 编译器, libc 库, 以及 Rust 编译器等开源项目。


这些对 Rust 编译器的更改引入了新的端到端交叉编译目标,基于此针对定制硬件构建 Rust 产品变得更容易, 只需要简单的命令,比如:

cargo build --target aarch64_be-unknown-linux-gnucargo build --target aarch64-unknown-linux-gnu_ilp32cargo build --target aarch64_be-unknown-linux-gnu_ilp32
复制代码

华为在中国 Rust 社区贡献方面也走在前列。去年 12 月 26 日至 27 日,在深圳战略赞助了 Rust China Conf 2020 ,并推行多项社区活动,包括为中国的开发者提供 Rust 教程和 Rust 编码规范。

配置华为的端到端 Rust 工具链

(C、C++、Rust 代码在 Fuchsia 项目的占比)

Rust 社区中有几种端到端的工具,我们已经开始从开发人员和工具的交互中获取信息。

这里有一些例子

tokei

由于可信编程项目通常涉及多个编程语言,我们采用了 tokei 作为多语言代码复杂性度量工具,可识别多达 200 种编程语言。例如,开源的 Fuchsia 项目涉及了多种编程语言,下面的统计信息显示有多少行不同语言的代码:

另外,为了在大型项目中满足处理多种编程语言的场景需求,我们为 tokei 提供新特性,使其支持识别编程语言的批处理。

cargo-geiger

为了提高安全性,我们经常想知道有多少代码已经被 Rust 编译器检查过。幸运的是,通过统计带有“unsafe”关键字的 fn、expr,struct、impl、trait 及其在各相关库, cargo-geiger 几乎做到了这点。

不过,统计数字中并没有反映安全性,所以没办法展现 Rust 项目总体上取得了多少进展的比例。因此,我们提交了代码,在改进的 cargo-geiger 计数器报告中提供 Rust 项目的安全检查比率。这些代码被采纳后,我们的研发团队现在每天都在使用这个工具,这份典型的报告能够很容易看出哪些代码库还没被 Rust 编译器完全检查到。


通过深度代码学习研究 Rust

随着 Rust 开源社区代码的发展和革新,初学者需要学习掌握 Rust 最佳的实践,其包括但不限于 Rust 语言本身。把统计机器学习的方法应用到源代码数据上,也称为 Big Code,正被全世界的软件工程研究团队关注:类似于图像处理和自然语言处理中的机器学习问题,这些问题都需要通过深度神经网络 (deep neural networks DNN) 提取大量的特征,Big Code 可能同样需要去训练 DNN 来反映程序的统计特性,所以也称为“深度代码学习”。


在这方面,华为与英国开放大学和新加坡管理大学进行技术合作,在现在最先进的“跨语言”深度代码学习基础上进行优化研究。


例如,最初的深度代码学习方法应用于北京大学编程课程收集到的 104 个算法类的 5.2 万个 C/C++ 程序。对此数据集,树基卷积神经网络 (TBCNN) 算法分类准确率达到 94%(AAAI’16)。最近的 SOTA 在语句级使用抽象语法树 (ICSE ’19) 准确率达到 98%。近期我们同英国开放大学和新加坡管理大学在树基胶囊网络的合作研究进展推动了 SOTA 进一步提高,达到 98.4% 的准确率 (AAAI’21)。


早些时候我们已经使用跨语言的数据集证明,对一种编程语言的深度代码学习模型也适用于另一种编程语言。例如,从 GitHub 爬取的数据集 Rosetta Code,从 Java 到 C 语言,可以获得 86% 的算法分类准确度 (SANER’19),在 Java 到 C# 的跨语言 API 映射问题中也能发挥重要作用 (ESEC/FSE’19)。这些统计语言模型在软件工程中可以应用于很多方面,比如代码分类、代码搜索、代码推荐、代码摘要、方法名称预测、代码克隆检测等等 (ICSE’21)。


为了进一步研究分析 Rust 项目,我们向 Rust 解析器项目 tree-sitter 和 XML 序列化 quick-xml 等项目提交了代码,通过 Rust 程序的抽象语法树来训练深度代码学习模型。研究的初步结果显示,算法检测任务在 Rust 代码上的精度高达 85.5%。随着工具链的改进,这个比例还有望进一步提升。


在 Visual Studio Code IDE 上,我们开发扩展插件,使得程序员可以得到合适的算法推荐和可解释性的帮助。

结      论

综上所述,华为可信软件工程与开源实验室正在开展的 Rust 工作为程序员提供智能化端到端 IDE 工具链,以期最大限度地提高代码的安全性和性能。走向可信编程远景的旅程刚刚开始,我们希望与 Rust 社区和 Rust 基金会深度合作,引领电信软件产业的可信革新。


英文原文链接

https://trusted-programming.github.io/2021-02-07/index.html

公众号推荐:

2024 年 1 月,InfoQ 研究中心重磅发布《大语言模型综合能力测评报告 2024》,揭示了 10 个大模型在语义理解、文学创作、知识问答等领域的卓越表现。ChatGPT-4、文心一言等领先模型在编程、逻辑推理等方面展现出惊人的进步,预示着大模型将在 2024 年迎来更广泛的应用和创新。关注公众号「AI 前线」,回复「大模型报告」免费获取电子版研究报告。

AI 前线公众号
2021-02-11 10:003647

评论

发布
暂无评论
发现更多内容

StreamX: 流批一体大数据平台正式开源

ApacheStreamPark

「 人气作者 TOP10 公布 」—— InfoQ 写作平台【 1 周年盛典 】

InfoQ写作社区官方

1 周年盛典 热门活动

交易所跟单软件搭建,合约跟单系统开发

思维导图学《Java性能权威指南》

Yano

Java 性能 思维导图

视频云全球创新挑战赛 —— 视频目标分割经典算法解析

阿里云视频云

阿里云 计算机视觉

Javacv 音视频小工具 - 下载抖音无水印视频

张音乐

Java 音视频 ffmpeg 抖音 javacv

情指勤指挥调度平台搭建,公安重点人员管控平台搭建

TimSort — 以人命名的排序法

D

更揽群碑荟一堂|靠谱点评

无量靠谱

专业开发者眼中的HarmonyOS:专访资深软件工程师李宁

Geek_283163

华为

BERT和GAN咋压缩,且看咱PaddleSlim新利器—— OFA

百度大脑

百度 飞桨

OSI七层模型

赖猫

TCP 后台开发 后端 网络编程 网络协议

课程完结有感

Kalman

产品经理 产品经理训练营

数据中台在企业数字化转型中的践行(下篇)

EAWorld

回归主流:区块链新大门的“密钥”

CECBC

区块链

跟着源码学IM(八):万字长文,手把手教你用Netty打造IM聊天

JackJiang

Netty 即时通讯 IM

字节三面:对于Spring你了解多少?如果你会了这150道题 ,吊打面试官岂不是洒洒水?

北游学Java

Java spring Spring Framework spring Boot Starter spring cloud alibaba

快速定制OCR识别模型好帮手:百度EasyDL OCR自训练平台上线啦!

百度大脑

EasyDL-OCR

数据中台在企业数字化转型中的践行(上篇)

EAWorld

身份和访问管理标准及挑战

龙归科技

物联网 云服务 认证授权 身份和访问管理

用 JavaScript 实现三次贝塞尔动画库 - 前端组件化

三钻

JavaScript 大前端 动画 组件化

Hadoop的发展及其架构

五分钟学大数据

hadoop 4月日更

实时 OLAP, 从 0 到 1

Apache Flink

flink OLAP 区块链技术

融云音视频产品免费 20 万分钟 助力通信场景全搭建

融云 RongCloud

攻击区块链网络的都有哪些方式方法

CECBC

区块链

积极研发区块链技术落地应用业务 这家A股上市企业试水云算力挖矿

CECBC

区块链

如何将区块链打造为城市底层基础设施

CECBC

区块链

架构训练营作业-模块二

西伯利亚鼯鼠

聪明人的训练(十二)

Changing Lin

4月日更

混音新手必备软件:FL Studio,用它简单制作混音

奈奈的杂社

好运转购物商城

飞亚科技

可信编程 – Rust语言开发的实践和愿景_架构_施尧_InfoQ精选文章