前言
我们经常在JUC包下的ConcurrentHashMap、Atomic开头的原子操作类、AQS以及LockSupport里面看到Unsafe类的身影,这个Unsafe类究竟是干什么的,本文可以带着读者一探究竟。
Java和C++、C语言的一个重要区别,就是Java中我们无法直接操作一块内存区域,而在C++、C中却可以自己申请内存和释放内存。Unsafe类的设计,为我们提供了手动管理内存的能力。
如同它的名字一样,它被认定为不安全的。直接操纵内存,意味着实例化出来的对象不会受到JVM的管理,不会被GC,需要手动进行回收,容易出现内存泄露的问题。因此,官方并不建议我们在自己的应用程序中使用该类。
构造方法
public final class Unsafe {
private static final Unsafe theUnsafe;
private Unsafe() { } @CallerSensitive public static Unsafe getUnsafe() { Class var0 = Reflection.getCallerClass(); if (!VM.isSystemDomainLoader(var0.getClassLoader())) { throw new SecurityException("Unsafe"); } else { return theUnsafe; } }
//其他方法
}
可以看得出来,该类被final修饰,不允许被继承。构造方法是私有的,在外部不可被实例化。(关于final更多的作用,可以移步这篇文章关键词final的作用)
但在内部提供了一个获取单例的getUnsafe()方法,不过该方法做了限制。如果是普通调用的话,它会抛出一个SecurityException异常。只有由系统类加载器(BootStrap classLoader)加载的类才可以调用这个类中的方法。
如果var0由系统类加载器加载的话,那么var0.getClassLoader()会返回null,VM.isSystemDomainLoader(null)则直接返回true,此时便不会抛出SecurityException异常。
当然,也不是无法获取到Unsafe类的实例,我们在文章最后会通过反射来获取。
获取偏移量
public native long staticFieldOffset(Field var1);
public native long objectFieldOffset(Field var1);
staticFieldOffset用于获取某一个静态属性在对象地址中的偏移量
objectFieldOffset用于获取某一个非静态属性在对象实例地址中的偏移量
偏移量这个名词在Unsafe类中十分重要,该类中80%的方法都需要依赖这个偏移量。
分配、释放内存等
//分配内存 public native long allocateMemory(long var1); //扩展或重新分配内存 public native long reallocateMemory(long var1, long var3); //内存初始化 public native void setMemory(Object var1, long var2, long var4, byte var6); //内存复制 public native void copyMemory(Object var1, long var2, Object var4, long var5, long var7); //释放内存 public native void freeMemory(long var1); //创建对象实例并返回该实例 public native Object allocateInstance(Class<?> var1) throws InstantiationException;
其中allocateMemory()、reallocateMemory()、freeMemory()分别用于分配内存,扩展或重新分配内存和释放内存,与C语言中 malloc()、realloc()、free()对应。
allocateInstance()方***通过Class对象创建一个类的实例,且不需要调用其构造函数、初始化代码、JVM安全检查等等。
普通读写
public native int getInt(long var1);
public native void putInt(long var1, int var3);
getInt() 在指定内存地址var1处读取一个int
putInt() 在指定内存地址var1处写入一个新int类型的数据var3
普通的读写,无法保证有序性与可见性。关于可见性,可以先移步到我的另外一篇文章多线程之内存可见性
volatile读写
public native int getIntVolatile(Object var1, long var2);
public native void putIntVolatile(Object var1, long var2, int var4);
getIntVolatile 在对象var1的指定偏移处var2读取一个int
putIntVolatie 在对象var1的指定偏移处var2写入一个int类型的数据var4
volatie能够保证有序性以及可见性,volatie保证有序性的一个实例,可以参考我的另外一篇文章浅说Synchronized中使用synchronized与volatie实现单例模式中双重检验锁的部分。
CAS操作
public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);
以compareAndSwapInt为例,在对象var1指定偏移量var2处读取一个int值real,如果var4=real,则用var5更新这个real,并返回true,否则返回false。
CAS用于实现乐观锁,每次更新时,都假设不会有其他线程并发修改,而只是在修改的时候判断该值是否被修改过。如果符合预期的值,则直接更新它,否则进入忙循环中,一直判断是否符合期望。在循环次数少便可以直接更新值的情况下,CAS机制比悲观锁拥有更好的性能。当然,如果循环次数过多,也是会白白浪费CPU资源。
synchronized就是一中悲观锁的实现,关于synchronized原理,可以移步我的另外一篇文章Synchronized的优化
关于CAS机制的详细介绍,我会另开篇幅。
线程调度
public native void park(boolean var1, long var2);
public native void unpark(Object var1);
park() 用于阻塞当前线程,如果var1=true,则var2的单位为毫秒,否则为纳秒。
unpark() 用于恢复一个之前被park的线程var1
LockSupport里面的park()与unpark()方法内部正是通过以上两个本地方法来实现的。
内存屏障
public native void loadFence();
public native void storeFence(); public native void fullFence();
loadFence 保证在这个屏障之前,所有的读操作全部完成。这里的load对应于从局部变量表中读取某个位置上的元素到栈顶
storeFence 保证在这个屏障之前,所有的写操作全部完成。这里的store对应于从栈顶出栈某个元素保存到局部变量表的某个位置上
fullFence 保证在这个屏障之前,所有的读写操作全部完成,相当于load+store
反射获取Unsafe实例
package com.yang.testUnsafe;
import sun.misc.Unsafe;
import java.lang.reflect.Field;
public class Main {
static class Student { private String name; private int age; public Student() { System.out.println("通过构造方法"); } public String getName() { return name; } public void setName(String name) { this.name = name; } public int getAge() { return age; } public void setAge(int age) { this.age = age; } } public static void main(String[] args) throws NoSuchFieldException, IllegalAccessException, InstantiationException { //1.获取Unsafe类的实例 //但无法通过Unsafe.getUnsafe(),由于Main类不是系统类加载器加载,因此会抛出SecurityException异常 //Unsafe unsafe = Unsafe.getUnsafe(); Field theUnsafe = Unsafe.class.getDeclaredField("theUnsafe"); theUnsafe.setAccessible(true); Unsafe unsafe = (Unsafe) theUnsafe.get(null); //2.为Student对象分配内存 //该方法不需要调用构造方法 Student student = (Student) unsafe.allocateInstance(Student.class); //3.获取student实例中age属性的偏移量 Field age = student.getClass().getDeclaredField("age"); long ageOffset = unsafe.objectFieldOffset(age); //4.利用CAS操作,当age=0时,将age变为1 boolean casResult = unsafe.compareAndSwapInt(student, ageOffset, 0, 1); System.out.println(casResult);//输出true System.out.println(student.getAge());//输出1 }
}
总结
使用Unsafe类直接操纵内存,意味着速度更快,效率更高,但也更加危险。之前盛传Unsafe类将在Java9中移除,一时间风波四起,具体的文章可以参考这篇Java 9中将移除 Sun.misc.Unsafe(译)。
但其实Java9出现之后,只是对其进行了改进和优化,不过依然是不推荐开发者使用Unsafe类。