APP下载

脸书开源并行程式设计除错工具RacerD,可避免程式码资源竞争

消息来源:baojiabao.com 作者: 发布时间:2024-04-24

报价宝综合消息脸书开源并行程式设计除错工具RacerD,可避免程式码资源竞争
图片来源: 

Facebook

脸书(Facebook)于上周五(10/20)宣布,开源旗下并行程式设计除错工具RacerD,协助开发者缩短并行程式设计(Concurrent Programming)除错的时间,以及避免并行程式中的竞争情况(Race Condition)。

并行程式设计是指,在系统中有至少2个以上的运算同时运作,此时则容易发生资料竞争(Data Race)的情况,且因为人工难以发现竞争情况的发生,造成开发者往往得费时除错,而RacerD工具则可以协助开发者侦测与避免Java程式中的资料竞争,及检察并行程式设计的错误。

RacerD工具是以Infer静态分析平台为基础,采用程式分析框架Infer.AI来侦测程式错误,且RacerD工具透过程式码编译时检查程式码,并产生系统中可能发生竞争情况的报告,提供给开发者。脸书声称,RacerD能够用低于15分钟的时间检查80行以上的程式码,且能找出程式码中大部分竞争情况的错误。

脸书也以自身的经验说明RacerD带来的效益,脸书的Android团队为行动App的新闻提要(News Feed)建置并行程式,运用RacerD抓到1,000个以上竞争情况的程式错误,为脸书的行动App改进了5%的效能。

此外,目前RacerD工具支援Java,脸书也计划未来RacerD将支援C++。

 

2018-01-11 08:25:00

相关文章