您当前的位置是:  首页 > 技术 > 企业通信 > 技术 > 开源通信 > 技术动态 >
技术 - 企业通信 - 开源通信技术频道
  首页 > 技术 > 企业通信 > 技术 > 开源通信 > 技术动态 > Facebook开源并行程式设计除错工具RacerD

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

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

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


  Facebook开源旗下并行程式设计除错工具RacerD,RacerD工具采用程式分析框架Infer.AI来侦测程式错误,以协助开发者加速并行程式码的除错,并且侦测与避免Java程式中的资料竞争。目前RacerD支援Java,未来将支援C++。
闂傚倸鍊搁崐鎼佸磹妞嬪海鐭嗗〒姘e亾妤犵偛顦甸崹楣冨箛娴e湱绋佺紓鍌氬€烽悞锕佹懌闂佸憡鐟ョ换姗€寮婚悢纰辨晬闁挎繂娲eЧ妤呮偡濠婂懎顣奸悽顖涘浮閹瑦绻濋崶銊у帾婵犵數鍊埀顒勫磻閹剧粯鐓涢悗锝庡亞婢у灚鎱ㄦ繝鍛仩闁圭懓瀚版俊鎼佸Ψ閿旀儳缍掗梻鍌欒兌閹虫捇宕甸弽顓炵闁跨噦鎷�...
  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论坛对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。

专题