Java原子操作与多线程操作测试一例

从别处发现这个有意思的测试, 加不加volatile来修饰变量是有不同的, 具体原因请详究Java的内存模型/线程运行机制/volatile关键字.

Java中的赋值, 除了long和double之外均为原子操作, 也就是说, 在多线程环境中, 在很小很小的几率下会拿到一个既非原值, 又不是其他所赋值的"半个变量". 但是这种情况只是理论上, 在现实中非常罕见, 因为Java强烈建议虚拟机(有很多Java虚拟机, 有些并非官方实现)实现时将long和double都实现成原子操作, 并且很多虚拟机都遵从了Java的建议.

直接贴代码:

/**
* 从别处发现这个有意思的测试, 加不加volatile来修饰变量是有不同的, 具体原因请详究Java的内存模型/线程运行机制/volatile关键字
*
* 由于check()方法中的if判断不是原子操作, 所以是会打印Error的
*
* @author David Ding
*
*/
public class ThreadSharedField {
//	private long shared = 0;
private volatile long shared = 0;

public void set0() {
shared = 0;
}

public void set1() {
shared = 1;
}

public void check() {
if (0 != shared && 1 != shared) {
System.err.println("Error");
}
}

public static void main(final String[] args) {
final ThreadSharedField v = new ThreadSharedField();

// 线程 1：设置 b = 0
final Thread set0Th = new Thread() {
public void run() {
while (true) {
v.set0();
}
};
};
set0Th.start();

// 线程 2：设置 b = 1
final Thread set1Th = new Thread() {
public void run() {
while (true) {
v.set1();
}
};
};
set1Th.start();

// 线程 3：检查 0 != b && 1 != b
final Thread testTh = new Thread() {
public void run() {
while (true) {
v.check();
}
};
};
testTh.start();
}
}