如何解决挥发性背piggy这足以引起人们的注意吗?
Java内存模型定义了 事前发生 关系,具有以下属性(以及其他属性):
- “线程中的每个动作均发生在该线程中的每个动作之后,它们在程序顺序中排在后面”(程序顺序规则)
- “发生对易失性字段的写操作-在每次随后读取相同的易失性之前”(易失性变量规则)
这两个属性以及 之前发生的 关系的可传递性意味着OP以下列方式寻求的可见性保证:
- 写于
a
螺纹1 之前发生 一个写sync
在调用sync()
在线程1(程序顺序规则)。 -
sync
在对线程2 的调用(易变变量规则)中的读取操作 之前,发生 了sync()
对线程1 的调用中的写入操作。 __sync``sync
- 从读
sync
在调用sync()
中的线程2 之前发生 的读取距离a
在2线(程序顺序规则)。
这意味着,这个问题的答案是肯定的,即呼吁sync()
在线程1和2,确保变更的知名度每次迭代a
,b
并且c
给其他线程(或多个)。请注意,这仅确保可见性。不存在互斥保证,因此所有不变量都具有约束力a
,b
并且c
可能被违反。
另请参阅Java理论和实践:修复Java内存模型,第2部分。特别是“挥发性的新保证”部分说
在新的内存模型下,当线程A写入易失性变量V,而线程B从V读取时,现在保证了在写入V时A可见的任何变量值对B可见。
解决方法
这是关于易失性piggy带。目的:我想达到轻量级的vars可见性。a_b_c的一致性并不重要。我有一堆var,我不想让它们都变得不稳定。
此代码是线程安全的吗?
class A {
public int a,b,c;
volatile int sync;
public void setup() {
a = 2;
b = 3;
c = 4;
}
public void sync() {
sync++;
}
}
final static A aaa = new A();
Thread0:
aaa.setup();
end
Thread1:
for(;;) {aaa.sync(); logic with aaa.a,aaa.b,aaa.c}
Thread2:
for(;;) {aaa.sync(); logic with aaa.a,aaa.c}
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。