Unsafe及CAS介绍

一、概览

在这篇文章中,我们将介绍一个由JRE提供的很有趣的类---sun.misc.包下的Unsafe。这个类为我们提供了底层机制,这些底层机制原本是设计用来供Java核心类库使用的,而非普通Java用户。

二、获取Unsafe的实例

首先,要想使用Unsafe类,我们需要获取一个实例-该实例并没有直接给出,因为这个类是设计用来为内部使用的。获取该实例的方式就是通过getUnsafe()方法。默认的警告-它会抛出一个SecurityException。

幸运地是,我们可以使用反射来获取该实例:

Field f = Unsafe.class.getDeclaredField("theUnsafe");
f.setAccessible(true);
unsafe = (Unsafe) f.get(null);

三、使用Unsafe实例化一个类

现在我们有一个简单类,它的构造函数会在对象创建的时候,设置一个变量值:

class InitializationOrdering {
    private long a;

    public InitializationOrdering() {
        this.a = 1;
    }

    public long getA() {
        return this.a;
    }
}

当我们使用它的构造函数初始化它时,其getA()方法的返回值为1:

InitializationOrdering o1 = new InitializationOrdering();
assertEquals(o1.getA(), 1);

但是,我们也可以使用Unsafe的allocateInstance()方法,它只会为此类分配内存,而不会调用其构造函数:

Field f = Unsafe.class.getDeclaredField("theUnsafe");
f.setAccessible(true);
Unsafe  unsafe = (Unsafe) f.get(null);
InitializationOrdering o3
        = (InitializationOrdering) unsafe.allocateInstance(InitializationOrdering.class);

assertEquals(o3.getA(), 0);

可以看到构造函数并没有被调用,因为getA()方法的返回值是long类型的默认值-即值为0。

四、修改私有变量

假如说我们有一个类,该类持有了一个私有变量:

class SecretHolder {
    private int SECRET_VALUE = 0;

    public boolean secretIsDisclosed() {
        return SECRET_VALUE == 1;
    }
}

使用Unsafe的putInt()方法,我们可以改变私有变量SECRET_VALUE 的值,改变/破坏该实例的状态:

SecretHolder secretHolder = new SecretHolder();

Field f = secretHolder.getClass().getDeclaredField("SECRET_VALUE");
unsafe.putInt(secretHolder, unsafe.objectFieldOffset(f), 1);

assertTrue(secretHolder.secretIsDisclosed());

一旦我们通过反射拿到了某个字段之后,我们就可以使用Unsafe修改它的值。

五、抛出异常

通过Unsafe调用的代码不会像正常的Java代码一样被编译器检查。我们可以使用throwException()方法抛出任何的异常,而无需限制用户处理该异常,即使它是检查异常:

@Test(expected = IOException.class)
public void givenUnsafeThrowException_whenThrowCheckedException_thenNotNeedToCatchIt() {
    unsafe.throwException(new IOException());
}

在抛出IOException之后,我们既不需要捕获它也不需要在方法声明上指定。

六、Off-heap 内存

如果某个应用正在耗尽JVM可用内存的话,我们会强制GC进程频繁运行。理想情况下,我们可以想要一个特殊的内存区域,off-heap并且不被GC进程控制。

Unsafe类的allocateMemory()方法使我们有能力把大量的对象分配在堆内存之外,这意味着该内存不会被GC看到,也不会被GC管理。

这可能很有用,但是我们需要记住,当我们不用的时候,我们需要手动地管理好这片内存,使用freeMemory()对其进行回收。

比如说,我们想创建大量堆外字节数组。我们可以使用使用allocateMemory()函数来实现:

public class OffHeapArray {

    private final static  int BYTE = 1;
    private long  size ;
    private long address;


    public OffHeapArray(long size ) throws NoSuchFieldException,IllegalAccessException{
        this.size = size;
        address =  getUnsafe().allocateMemory(size * BYTE);
    }

    private Unsafe getUnsafe() throws  IllegalAccessException,NoSuchFieldException {
        Field f=  Unsafe.class.getDeclaredField("theUnsafe");
        f.setAccessible(true);
        return (Unsafe)  f.get(null);
    }

    public  void set(long i, byte value) throws NoSuchFieldException,IllegalAccessException{
        getUnsafe().putByte(address + i * BYTE,value);
    }

    public int get(long idx) throws  NoSuchFieldException,IllegalAccessException{
        return getUnsafe().getByte(address + idx * BYTE);
    }


    public long size (){
        return size;
    }

    public void freeMemory() throws  NoSuchFieldException,IllegalAccessException{
        getUnsafe().freeMemory(address);
    }

}

在OffHeapArray的构造函数中,我们以给定的大小初始化数组。我们把数组的起始地址保存在address字段中。set()方法接收了脚标,以及要在数组中存储的值。get()方法使用脚标来获取值。

下一步,我们可以使用它的构造函数分配一个off-heap数组:

long SUPER_SIZE = (long) Integer.MAX_VALUE * 2;
OffHeapArray array = new OffHeapArray(SUPER_SIZE);

我们可以把N个字节的值放入该数组中,并且取回这些值,把他们加起来,检查一下我们的地址是不是可以正常的工作:

int sum = 0;
for (int i = 0; i < 100; i++) {
    array.set((long) Integer.MAX_VALUE + i, (byte) 3);
    sum += array.get((long) Integer.MAX_VALUE + i);
}

assertEquals(array.size(), SUPER_SIZE);
assertEquals(sum, 300);

最后,我们需要调用freeMemory()方法手动地把内存释放给操作系统。

七、CompareAndSwap 操作

java.concurrent包下许多高效的构造函数,像 AtomicInteger,在本质上使用的就是Unsafe的CompareAndSwap()方法,以提供最佳的性能。该构造在lock-free算法中被广泛使用,相较于java的悲观锁,它可以利用CAS处理器指令提供更快的速度。

我们构造一个基于CAS的counter,使用Unsafe的compareAndSwapLong()方法:

class CASCounter {
    private Unsafe unsafe;
    private volatile long counter = 0;
    private long offset;

    private Unsafe getUnsafe() throws IllegalAccessException, NoSuchFieldException {
        Field f = Unsafe.class.getDeclaredField("theUnsafe");
        f.setAccessible(true);
        return (Unsafe) f.get(null);
    }

    public CASCounter() throws Exception {
        unsafe = getUnsafe();
        offset = unsafe.objectFieldOffset(CASCounter.class.getDeclaredField("counter"));
    }

    public void increment() {
        long before = counter;
        while (!unsafe.compareAndSwapLong(this, offset, before, before + 1)) {
            before = counter;
        }
    }

    public long getCounter() {
        return counter;
    }
}

在CASCounter的构造函数中,我们得到了counter字段的地址,以便于在后面的increment()方法中使用。我们需要把counter字段声明为volatile以便对其他正在读写的线程可见。我们使用objectFieldOffset()方法得到了offset字段的内存地址。

该类最重要的部分是increment()方法,我们在while循环中使compareAndSwapLong()把之前获取的值自增,并检查该值自我们上次获取它之后,有没有发生改变。

如果它发生了改变了的话,我们就不断重试直到成功。这里没有阻塞操作,这也就是它为什么被称为lock-free算法的原因。

我们可以在多线程中测试我们的代码:

int NUM_OF_THREADS = 1_000;
int NUM_OF_INCREMENTS = 10_000;
ExecutorService service = Executors.newFixedThreadPool(NUM_OF_THREADS);
CASCounter casCounter = new CASCounter();

IntStream.rangeClosed(0, NUM_OF_THREADS - 1)
  .forEach(i -> service.submit(() -> IntStream
    .rangeClosed(0, NUM_OF_INCREMENTS - 1)
    .forEach(j -> casCounter.increment())));

下一步,我们可以获取该计数器的值,判断它的状态是不是正确:

assertEquals(NUM_OF_INCREMENTS * NUM_OF_THREADS, casCounter.getCounter());

八、Park/Unpark

在Unsafe的API中,还有两个比较有趣的方法,JVM会使用它们完成线程的上下文切换。
当线程在等待某些动作的时候,JVM可以使用Unsafe类的park()方法把该线程阻塞住。

@Test
public void testPark() throws Exception {
  final boolean[] run = new boolean[1];
  Thread thread = new Thread() {
    @Override
    public void run() {
      unsafe.park(true, 100000L);
      run[0] = true;
    }
  };
  thread.start();
  unsafe.unpark(thread);
  thread.join(100L);
  assertTrue(run[0]);
}

park方法和Object.wait()方法很相似,但是它是在本地OS代码层面调用的,因此可以利用
一些架构细节获取最佳性能。

当线程被阻塞后,如果需要使它重新变成runnable的话,JVM会使用unpark()方法。我们经常
在线程的堆栈中看到这些方法调用,尤其是使用了线程池的那些应用。

九、总结

在本文中,我们研究了Unsafe类及其最有用的构造。
我们了解了如何访问私有字段,如何分配堆外内存,以及如何使用compare-and-swap来实现无锁算法。

十、参考文献

参考文献1
参考文献2
参考文献3

你可能感兴趣的:(Unsafe及CAS介绍)