您當前的位置是:  首頁 > 新聞 > 國際 >
 首頁 > 新聞 > 國際 >

Facebook開源并行程式設計除錯工具RacerD

--可避免程式碼資源競爭

2017-10-23 14:55:35   作者:   來源:CTI論壇   評論:0  點擊:


  Facebook開源旗下并行程式設計除錯工具RacerD,RacerD工具采用程式分析框架Infer.AI來偵測程式錯誤,以協(xié)助開發(fā)者加速并行程式碼的除錯,并且偵測與避免Java程式中的資料競爭。目前RacerD支援Java,未來將支援C++。
  Facebook(Facebook)於上周五(10/20)宣布,開源旗下并行程式設計除錯工具RacerD,協(xié)助開發(fā)者縮短并行程式設計(Concurrent Programming)除錯的時間,以及避免并行程式中的競爭情況(Race Condition)。
  并行程式設計是指,在系統(tǒng)中有至少2個以上的運算同時運作,此時則容易發(fā)生資料競爭(Data Race)的情況,且因為人工難以發(fā)現(xiàn)競爭情況的發(fā)生,造成開發(fā)者往往得費時除錯,而RacerD工具則可以協(xié)助開發(fā)者偵測與避免Java程式中的資料競爭,及檢察并行程式設計的錯誤。
  RacerD工具是以Infer靜態(tài)分析平臺為基礎,采用程式分析框架Infer.AI來偵測程式錯誤,且RacerD工具透過程式碼編譯時檢查程式碼,并產(chǎn)生系統(tǒng)中可能發(fā)生競爭情況的報告,提供給開發(fā)者。Facebook聲稱,RacerD能夠用低於15分鐘的時間檢查80行以上的程式碼,且能找出程式碼中大部分競爭情況的錯誤。
  Facebook也以自身的經(jīng)驗說明RacerD帶來的效益,F(xiàn)acebook的Android團隊為行動App的新聞提要(News Feed)建置并行程式,運用RacerD抓到1,000個以上競爭情況的程式錯誤,為Facebook的行動App改進了5%的效能。
  此外,目前RacerD工具支援Java,F(xiàn)acebook也計畫未來RacerD將支援C++。
【免責聲明】本文僅代表作者本人觀點,與CTI論壇無關。CTI論壇對文中陳述、觀點判斷保持中立,不對所包含內容的準確性、可靠性或完整性提供任何明示或暗示的保證。請讀者僅作參考,并請自行承擔全部責任。

專題