不變式是指什么類型的式子
不變式是指什么類型的式子
meetyu
2015-05-16
3 回答
舉報(bào)
0/150
提交
取消
不變式是指什么類型的式子
2015-05-16
舉報(bào)
2015-05-28
這里面有兩個(gè)VOLATILE變量，它包含了一個(gè)不變式就是LOW<UP（?if (value > upper) 和???if (value < low)?）
public class A {
? ?private volatile?int low=0；
? ?private volatile?int?up=100;
? ?public int getLow() { return low; }
? ?public int getUp() { return up; }
? ?public void setLow(int value) {
? ? ? ?if (value > upper)
? ? ? ? ? ? system.out.print(".......");
? ? ? ?low = value;
? ?}
? ?public void setUp(int value) {
? ? ? ?if (value < low)
? ? ? ? ? ?system.out.print(".......");
? ? ? ?up = value;
? ?}
}
初始值是0和100，如果有兩個(gè)線程同時(shí)操作set函數(shù)，一比如A線程操作setlow(4),B線程setup(3),最后結(jié)果是4和3。
2017-08-01
還是因?yàn)関olatile不能實(shí)現(xiàn)原子性。
2015-05-20
同問(wèn)啊。
其他變量：是指的volatile變量，還是普通變量？
不變式：是什么樣的？