内容简介：Facebook开源其Java竞争条件检测工具RacerD
看新闻很累？看技术新闻更累？试试 下载InfoQ手机客户端 ，每天上下班路上听新闻，有趣还有料！
由Facebook开源的 静态分析工具
Infer，现已支持使用 RacerD
检测 Java 代码中竞争条件。RacerD使用锁机制或 @ThreadSafe
注解，识别类中各方法间的竞争条件。
去年，Facebook就已在生产代码中使用了RacerD，并在代码提交生产前检测到了一千多处的多线程问题。现在，如果Java开发人员使用Infer去检测Java代码中的软件缺陷，同样可以使用RacerD的并发检测能力。
竞争条件是一种并发错误或软件缺陷。如果两个访问同一对象的线程（其中至少有一个需要做写操作）间没有做适当的同步操作，这时就会引发竞争条件，进而导致线程的执行存在彼此重叠。并发问题难以调试，更难以在发生问题后重现现场。
RacerD可以大规模快速并发地执行一些有用的分析。RacerD之所以可以做快速分析，原因在于它在检测并发问题时并没有非力图去检查整个代码库，而是仅检查那些它认为是并发运行的代码。
RacerD检查的类、方法和接口定义中可并发运行的代码。这些代码或者是使用 @ThreadSafe
注解的、或者是根据关键字 synchronized
所创建锁而识别的。如果一个类或结构使用了 @ThreadSafe
注解，那么RacerD也会评估该类或实现的所有子类。为增加代码覆盖，RacerD还额外添加了一些有用的注解，包括 @ThreadConfined
、 @Functional
、 @ReturnsOwnership
和 @VisibleForTesting
。
启动RacerD分析，需要在命令行调用命令 infer
。该命令可与其它Infer分析一并运行，也可以与只允许RacerD运行的 infer --racerd-only
命令一并运行。例如，输入命令 infer --racerd-only -- javac StockPortfolio.java
，将会对 StockPortfolio.java
运行RacerD。
下面给出一个例子代码。RacerD在检查该例子代码时，会对其中的竞争条件给出警告。
@ThreadSafe
public class StockPortfolio {
int shares = 0;
public void buy(int count) {
if (count > 0) {
shares += count;
}
}
public int sell(int count){
if (count >= 0 && shares - count >= 0) {
shares -= count;
return shares;
} else {
return 0;
}
}
}
RacerD会发现上面代码中的软件缺陷：
Read/Write race. Public method int StockPortfolio.sell(int) reads from field StockPortfolio.shares. Potentially races with writes in methods void StockPortfolio.buy(int), int StockPortfolio.sell(int)
可以看到，RacerD对代码中包含有未保护写、读写竞争等给出了警告。当前RacerD具有局限性，它只检测数据竞争情况，并不检测其它一些并发问题，例如死锁或原子性。在下面一些情况下，RacerD会漏掉其中的数据竞争问题：
- 别名（aliasing）；
- 本地定义对象溢出了范围；
- 使用不同的锁访问受保护对象；
- 本地对象包含有非属主对象；
-
使用了弱引用内存，以及Java的
volatile关键字。
RacerD的这些局限性，源自于其设计目标针对的是降低误报率，即便会导致一些漏报。
RacerD的共同作者Sam Blackshear和Peter O'Hearn在 一份声明 中指出：
Infer当前已在Facebook使用，一种方式是批处理部署，另一种方式是作为参与代码审核的机器人。部署用于代码审核的Infer，是作为Facebook持续集成系统的一部分运行。对于开发人员提交的每次代码更改，持续集成将Infer与其它一些编译和测试任务一并运行。
RacerD的代码开源提供在 GitHub 上。更多细节，可参见 用户指南 。
查看英文原文： Facebook Open-Sources RacerD - Java Race Condition Detector
以上所述就是小编给大家介绍的《Facebook开源其Java竞争条件检测工具RacerD》，希望对大家有所帮助，如果大家有任何疑问请给我留言，小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持！
猜你喜欢:
- 无条件“投诚”：微软Edge浏览器将采用开源内核Chromium
- 【产业互联网周报】欧盟无条件批准IBM收购红帽；微软计划在华扩招；腾讯首次全面公开开源路线图
- SQL where条件和jion on条件的详解及区别
- Python 条件语句
- React 行内条件渲染
- Golang: 条件和循环
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
