微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

Java中的多线程状态可见性有没有办法将JVM转换成最坏的情况?

假设我们的代码有2个线程(A和B)有一个引用此类的同一个实例:
public class MyValueHolder {

    private int value = 1;

    // ... getter and setter

}

当线程A执行myValueHolder.setValue(7)时,不能保证线程B将会读取该值:myValueHolder.getValue()可能 – 理论上可以永远返回1.

然而,实际上硬件会早晚清除第二级缓存,所以线程B会迟早(通常会更早)读取7.

有没有办法使JVM模拟最坏的情况,它永远返回1线程B永远?这将是非常有用的测试我们的多线程代码与我们现有的测试在这种情况下.

解决方法

jcstress维护者在这里.有多种方法来回答这个问题.

>最简单的解决方案是将getter包装在循环中,让JIT提升它.这允许非易失性字段读取,并通过编译器优化来模拟可见性失败.
>更复杂的技巧包括获取OpenJDK的调试版本,并使用-XX:StressLCM -XX:StressGCM,有效地执行指令调度模糊.有可能是有问题的负载将浮动在您可以通过您的产品的常规测试检测的地方.
>我不知道是否有实用的硬件持有写入值足够长的透明度来缓存一致性,但是用jcstress构建测试用例很容易.你必须记住,(1)中的优化也可能发生,所以我们需要采取一个技巧来防止这种情况.我认为like this应该有效.

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 [email protected] 举报,一经查实,本站将立刻删除。

相关推荐