Experience Developing and Deploying Concurrency Analysis at Facebook
Experience Developing and Deploying Concurrency Analysis at Facebook
复制标题
拥有在 Facebook 开发和部署并发分析的经验
DOI：
10.1007/978-3-319-99725-4_5
复制
发表时间：
2018
期刊：
影响因子：
1.6
通讯作者：
P. O'Hearn
中科院分区：
文献类型：
--
作者：
P. O'Hearn
本文讲述了RacerD的开发故事，RacerD是Facebook正在生产的一种用于检测数据竞争的静态程序分析。RacerD的技术细节在另一篇论文中描述;我们在这里集中讨论该项目如何从人类的角度展开。本文介绍了，在这个特定的情况下，科学和工程之间的反馈的好处，原则和妥协之间遇到的紧张局势，以及如何在不断变化的工程背景下灵活和适应性可以导致令人惊讶的结果，远远超过最初的预期。我希望给读者一个印象，即在工业中发展先进的静态分析是什么样的，它与为了推进科学而发展分析既有区别又有相似之处。
This paper tells the story of the development of RacerD, a static program analysis for detecting data races that is in production at Facebook. The technical details of RacerD are described in a separate paper; we concentrate here on how the project unfolded from a human point of view. The paper describes, in this specific case, the benefits of feedback between science and engineering, the tension encountered between principle and compromise, and how being flexible and adaptable in the presence of a changing engineering context can lead to surprising results which far exceed initial expectations. I hope to give the reader an impression of what it is like to develop advanced static analyses in industry, how it is both different from and similar to developing analyses for the purpose of advancing science.
影响因子：
--
作者：
Sam Blackshear;Nikos Gorogiannis;P. O'Hearn;Ilya Sergey
通讯作者：
Sam Blackshear;Nikos Gorogiannis;P. O'Hearn;Ilya Sergey
影响因子：
2.5
作者：
Calcagno, Cristiano;Distefano, Dino;Yang, Hongseok
通讯作者：
Yang, Hongseok