Facebook开源Java竞争条件检测工具 RacerD
极客时间编辑部
讲述：丁婵大小：1.11M时长：02:26
由 Facebook 开源的静态分析工具 Infer，现已支持使用 RacerD 检测 Java 代码中竞争条件。
竞争条件是一种并发错误或软件缺陷。如果访问同一对象的两个线程中至少有一个需要执行写操作，而两者之间没有适当的同步操作，这时就会引发竞争条件，进而导致线程的执行存在彼此重叠。并发问题难以调试，更难以在发生问题后重现现场。而 RacerD 使用锁机制或 @ThreadSafe 注解，可以识别类中各方法间的竞争条件。
去年，Facebook 就在生产代码中使用了 RacerD，并在代码提交生产前，检测到了一千多处多线程问题。现在，如果 Java 开发人员使用 Infer 去检测 Java 代码中的软件缺陷，同样可以使用 RacerD 的并发检测能力。
RacerD 可以大规模快速并发执行一些有用的分析，原因在于它在检测并发问题时并没有力图去检查整个代码库，而是仅检查那些它认为是并发运行的代码。
RacerD 可以检查类、方法和接口定义中可并发运行的代码。这些代码或者是使用 @ThreadSafe 注解的，或者是根据关键字 synchronized 所创建锁而识别的。
不过，当前 RacerD 尚具有局限性，它只检测数据竞争情况，并不检测其它一些并发问题，例如死锁或原子性。在下面一些情况下，RacerD 会漏掉其中的数据竞争问题：
别名（aliasing）；
本地定义对象溢出了范围；
使用不同的锁访问受保护对象；
本地对象包含有非属主对象；
使用了弱引用内存，以及 Java 的 volatile 关键字。
RacerD 的这些局限性，是由于其设计目标针对的是降低误报率，即便会导致一些漏报。
RacerD 的共同作者萨姆·布莱克希尔（Sam Blackshear）和彼得·奥赫恩（Peter O'Hearn）在一份声明中指出： “Infer 当前已在 Facebook 使用，一种方式是批处理部署，另一种方式是作为参与代码审核的机器人。部署用于代码审核的 Infer，是作为 Facebook 持续集成系统的一部分运行的。对于开发人员提交的每次代码更改，持续集成会把 Infer 与其它一些编译和测试任务一并运行。”
公开
同步至部落
取消
完成
0/2000
荧光笔
直线
曲线笔记
复制
AI
- 深入了解
- 翻译
- 解释
- 总结
该免费文章来自《极客视点》，如需阅读全部文章，
请先领取课程
请先领取课程
免费领取
© 版权归极客邦科技所有，未经许可不得传播售卖。 页面已增加防盗追踪，如有侵权极客邦将依法追究其法律责任。
登录 后留言
全部留言(2)
- 最新
- 精选
煊少如果访问同一对象的两个线程中至少有一个需要执行写操作，而两者之间没有适当的同步操作，这时就会引发竞争条件，进而导致线程的执行存在彼此重叠。这个应该是数据竞争的公认定义，并不是竞争条件，两者有区别！
GeekAmI这个牛逼
收起评论