我读过" 什么时候在Java中使用'volatile'？ "但我仍然感到困惑.我怎么知道何时应该标记变量volatile？如果我弄错了,要么在需要它的东西上省略volatile,要么在不需要的东西上放置volatile呢？在确定多线程代码中哪些变量应该是易变的时,有哪些经验法则？
在单线程程序中使用:volatile-mutable限定符是否安全deftype？这是一个跟进这个问题,这一个和这一个.(这是一个Clojure问题,但我添加了"Java"标签,因为Java程序员也可能对它有洞察力.)
我发现在一个程序中我可以通过使用:volatile-mutable字段deftype而不是原子来获得显着的性能提升,但我很担心,因为文档字符串deftype说:
请注意,可变字段非常难以正确使用,并且只是为了便于在Clojure本身中构建更高级别的构造,例如Clojure的引用类型.它们仅供专家使用 - 如果:volatile-mutable或:unynchronized-mutable的语义和含义对您来说不是很明显,那么您就不应该使用它们.
事实上,语义和影响:volatile-mutable都不会马上对我明显.
然而,Emerick,Carper和Grand 的Clojure Programming第6章说:
这里的"Volatile"与Java中的volatile字段修饰符含义相同:读取和写入都是原子的,必须按程序顺序执行; 即,它们不能由JIT编译器或CPU重新排序.因此,挥发性物质并不令人惊讶,并且不会引起线程安全 - 但不协调,仍然完全对种族条件开放.
这似乎暗示只要访问单个volatile-mutable deftype字段都发生在一个线程中,就没有什么特别值得担心的了.(没有什么特别的,因为我还是要小心,我是如何处理的状态,如果我可能会使用懒惰序列.)因此,如果没有引入并行到我的Clojure程序,应该使用没有特殊的危险deftype用:volatile-mutable.
那是对的吗？我不明白有什么危险？