您当前的位置是:  首页 > 新闻 > 国际 >
 首页 > 新闻 > 国际 >

Facebook开源并行程式设计除错工具RacerD

--可避免程式码资源竞争

2017-10-23 14:55:35   作者:   来源:CTI论坛   评论:0  点击:


  Facebook开源旗下并行程式设计除错工具RacerD,RacerD工具采用程式分析框架Infer.AI来侦测程式错误,以协助开发者加速并行程式码的除错,并且侦测与避免Java程式中的资料竞争。目前RacerD支援Java,未来将支援C++。
  Facebook(Facebook)於上周五(10/20)宣布,开源旗下并行程式设计除错工具RacerD,协助开发者缩短并行程式设计(Concurrent Programming)除错的时间,以及避免并行程式中的竞争情况(Race Condition)。
  并行程式设计是指,在系统中有至少2个以上的运算同时运作,此时则容易发生资料竞争(Data Race)的情况,且因为人工难以发现竞争情况的发生,造成开发者往往得费时除错,而RacerD工具则可以协助开发者侦测与避免Java程式中的资料竞争,及检察并行程式设计的错误。
  RacerD工具是以Infer静态分析平台为基础,采用程式分析框架Infer.AI来侦测程式错误,且RacerD工具透过程式码编译时检查程式码,并产生系统中可能发生竞争情况的报告,提供给开发者。Facebook声称,RacerD能够用低於15分钟的时间检查80行以上的程式码,且能找出程式码中大部分竞争情况的错误。
  Facebook也以自身的经验说明RacerD带来的效益,Facebook的Android团队为行动App的新闻提要(News Feed)建置并行程式,运用RacerD抓到1,000个以上竞争情况的程式错误,为Facebook的行动App改进了5%的效能。
  此外,目前RacerD工具支援Java,Facebook也计画未来RacerD将支援C++。
【免责声明】本文仅代表作者本人观点,与CTI论坛无关。CTI论坛对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。

专题