不变式是指什么类型的式子
不变式是指什么类型的式子
5 回答
这里面有两个VOLATILE变量，它包含了一个不变式就是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，如果有两个线程同时操作set函数，一比如A线程操作setlow(4),B线程setup(3),最后结果是4和3。
举报
0/150
提交
取消
