脸书开源并行程式设计除错工具RacerD,可避免程式码资源竞争
2017-10-23 10:54:41 | 来源:ithome | 投稿:米娜 | 编辑:dations

原标题:脸书开源并行程式设计除错工具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++。

?

tags:

上一篇  下一篇

相关:

【国外eID实例:爱沙尼亚】技术、法源、开源三管齐下,2千项数位服务才能安心用eID

爱沙尼亚资讯系统管理局 eID区域经理Margus△Arm表示,为了取信于人民,爱沙尼亚将eID系统的程式码都公布于开源软件程式码平台GitHub上,一旦开发者发现漏洞或程式臭虫,都可以向上通报要求修复,才能进一步提高这些

花了10年,开源资料库MongoDB终于上市,首日大涨33%

打造开源NoSQL资料库的MongoDB△Inc.于本周四(10/19)正式登上美国那斯达克股市(NASDAQ),交易代号为MDB的MongoDB的股票发行价格为24美元,上市首日股票上涨了33.62%,以32.07美元作收。MongoDB公司前身是10gen团

手机上的亲密照不想让人看到吗?智慧程式Nude可将它们藏起来

图片来源: Nude 两名21岁的年轻创业家Jessica△Chiu及Y.C. Chen近日释出了支援iOS的Nude程式,它能够自动扫描手机上的“相机胶卷”(camera△roll△),并把裸露的照片或视频藏起来,以保障使用者的隐私。当Nude程式

社交程式tbh才成立2个月就被脸书买下

图片来源: tbh 什么样的公司有这样的魅力吸引脸书(Facebook)?今年8月才创立的tbh社交程式周一(10/16)宣布已被脸书买下,宣布页面也配上了含有庆祝之意的撒纸花背景。tbh目前只推出支援iOS平台的行动程式,这是匿

Windows版Chrome大幅强化安全,可侦测移除垃圾软件、广告程式

示意图,与新闻事件无关。 图片来源: Google Google周一(10/16)宣布,即日起开始于Windows版上的Chrome浏览器部署多项安全功能,将可侦测遭到扩充程式擅自变更的浏览器设定,也强化了垃圾软件移除机制Chrome△Cl

站长推荐: