我的班级是线程安全的吗？如果不是为什么？
class Foo {
boolean b = false;
void doSomething() throws Exception {
while (b) Thread.sleep();
}
void setB(boolean b) {
this.b = b;
}
}
问问题
439 次
5 回答
10
代码不是线程安全的，因为正在运行的线程可能会在代码编译之前看到更改（稍后可能是随机点）并且您不再看到更改。
顺便说一句：这使得测试变得非常困难。例如，如果您睡 1 秒钟，您可能会在将近三个小时内看不到这种行为。
即它可能会或可能不会起作用，你不能说它已经起作用了，它会继续起作用。
因为JIT 不能也不会b优化volatile
while (b) Thread.sleep(N);
成为
boolean b = this.b;
if (b) while (true) Thread.sleep(N);
所以b不是每次都读取的值。
于 2012-10-01T14:19:34.860 回答
7
它不是。setB()更新实例变量b值但不是synchronized。
多个线程可能会尝试setB()在同一时间点执行方法可能会导致无法预测的结果。
您需要synchronize方法（或）使用synchronize锁定this对象的块。
于 2012-10-01T14:17:04.143 回答
5
看看AtomicBoolean。这意味着任何时候只有一个线程可以访问它。
于 2012-10-01T14:20:41.200 回答
3
但是，它与线程安全有什么关系呢？有点困惑。
它可以追溯到“线程安全”的定义。维基百科是这样说的：
“线程安全是适用于多线程程序上下文的计算机编程概念。如果一段代码在多个线程同时执行期间正确运行，则它是线程安全的。”
这里的关键是功能正确。如果您查看 Peter Lawrey 解释的场景，您会发现 JIT 编译可能导致代码不会注意到值何时b从trueto更改false，而是永远循环。这显然是不正确的行为。而且由于这仅在有两个线程时才会出现，因此这是一个线程安全问题。
于 2012-10-01T15:10:44.640 回答
0
这里有一个有争议的概念是可见性，在 Concurrent Java 中讨论过。如果 doSomething() 在不同的线程上运行，JVM 不保证在 setB 中执行的操作将适用于 doSomething 看到的 b 版本。所以你可以调用 setB 并且 doSomething 不能保证永远终止。
于 2012-10-01T14:19:01.677 回答