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

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 160,999评论 4 368
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 68,102评论 1 302
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 110,709评论 0 250
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 44,439评论 0 217
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 52,846评论 3 294
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 40,881评论 1 224
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 32,062评论 2 317
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 30,783评论 0 205
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 34,517评论 1 248
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 30,762评论 2 253
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 32,241评论 1 264
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 28,568评论 3 260
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 33,236评论 3 241
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 26,145评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,941评论 0 201
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 35,965评论 2 283
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 35,802评论 2 275

推荐阅读更多精彩内容