在tij中的volatile中有这么一句话:当一个域依赖于它之前的值时(如自增), 那么volatile就无法工作了. 如果某个域的值受到其他域的值的限制, 那么volatile也无法工作, 例如Range类的lower和upper边界值必须遵循lower<=upper这段话想要表达的意思是什么?
3 回答
慕桂英3389331
TA贡献2036条经验 获得超8个赞
通俗的说,标记为volatile的值,可能不可预料的被改变,因此不可以缓存,每次应该从主存中读取。
自增操作,在读取和写入之间,这个值有可能改变,因此无法写入正确的结果。
同样,这个值改变不受控,所以可能不满足不变式。
添加回答
举报
0/150
提交
取消