在tij中的volatile中有这么一句话:
当一个域依赖于它之前的值时(如自增), 那么volatile就无法工作了. 如果某个域的值受到其他域的值的限制, 那么volatile也无法工作, 例如Range类的lower和upper边界值必须遵循lower<=upper
这段话想要表达的意思是什么?
怪我咯2017-04-18 09:53:22
通俗的说，标记为volatile的值，可能不可预料的被改变，因此不可以缓存，每次应该从主存中读取。
自增操作，在读取和写入之间，这个值有可能改变，因此无法写入正确的结果。
同样，这个值改变不受控，所以可能不满足不变式。
