先直接上代码:
import sun.misc.Unsafe;
import java.lang.reflect.Field;
public class UnSafeTest {
private int i = 0;
private static Unsafe UNSAFE;
private static Long I_OFFSET;
static {
try {
Field field = Unsafe.class.getDeclaredField("theUnsafe");
field.setAccessible(true);
UNSAFE = (Unsafe)field.get(null);
//获取变量i的偏移量
I_OFFSET = UNSAFE.objectFieldOffset(UnSafeTest.class.getDeclaredField("i"));
}catch (Exception e){
}
}
public static void main(String[] args) {
final UnSafeTest test = new UnSafeTest();
new Thread(new Runnable() {
@Override
public void run() {
while (true){
//位置1
boolean flag = UNSAFE.compareAndSwapInt(test,I_OFFSET,test.i,test.i+1);
System.out.println(flag+" "+Thread.currentThread().getName());
// 位置2
if (flag){
//获取主内存中的变量i的值
System.out.println(UNSAFE.getIntVolatile(test,I_OFFSET));
}
try {
Thread.sleep(500);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
},"T2").start();
new Thread(new Runnable() {
@Override
public void run() {
while (true){
//位置1
boolean flag = UNSAFE.compareAndSwapInt(test,I_OFFSET,test.i,test.i+1);
System.out.println(flag+" "+Thread.currentThread().getName());
//位置2
if (flag){
System.out.println(UNSAFE.getIntVolatile(test,I_OFFSET));
}
try {
Thread.sleep(500);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
},"T1").start();
}
}
两个线程T1和T2,启动后都以CAS的方式去修改UnSafeTest对象里面的属性i,正常来讲是应该交替执行,顺序打印的:
但是出现了另外一种情况,打印出了1,2,4,4 ,5...
就此情况进行分析,当线程T1和T2同时进行到位置1的时候,假设此时i的值为2,那么因为是cas,只有一个线程会修改成功i的值,如果是线程T1修改成功,那么T1的flag就是true,T2为false,此时,线程T1的cpu发生了调度,在位置2的地方等了会,刚刚等到线程T2进入下一个循环,将T1改后的i的值(此时为3)改成了4,那么就会出现同时打印两个4的场景。
出现问题的原因是打印操作和cas的判断操作不是原子操作,具有失败的可能性。
另外还有一个cas里面的问题,如果将i的类型由基本类型int改成Integer,那么cas全部失败。