Unsafe类位于sun.misc包下,它是java实现高并发的基础,通过它可以执行一些不安全的操作,如像C语言一样直接操作内存资源,
它提供的这些方法增强了java对底层资源的操作能力,但同时也增加了程序出错的风险,所以对它的使用一定要慎重。
Unsafe提供的API大致可分为内存操作、CAS、Class相关、对象操作、线程调度、系统信息获取、内存屏障相关、数组相关等。下面介绍几个方法的使用。
public final class Unsafe { // 单例对象 private static final Unsafe theUnsafe; private Unsafe() { } @CallerSensitive public static Unsafe getUnsafe() { Class var0 = Reflection.getCallerClass(); // 仅在引导类加载器`BootstrapClassLoader`加载时才合法 if(!VM.isSystemDomainLoader(var0.getClassLoader())) { throw new SecurityException("Unsafe"); } else { return theUnsafe; } } static { theUnsafe = new Unsafe(); } }
Unsafe提供的getUnsafe()方法只能被根类加载器加载的类所调用,也就是jdk内部的类。我们可以通过反射来获取Unsafe对象。
import java.lang.reflect.Field; import sun.misc.Unsafe; public class TestUnSafe2 { public static void main(String[] args) throws NoSuchFieldException, IllegalAccessException { Field theUnsafe = Unsafe.class.getDeclaredField("theUnsafe"); theUnsafe.setAccessible(true); Unsafe unsafe = (Unsafe) theUnsafe.get(null); System.out.println(unsafe); } }
CAS(compareAndSwap)即比较并替换,是实现并发算法时常用到的一种技术,CAS操作包含三个参数,要修改变量的内存位置、预期原值、要修改为的值,
如果变量的值和预期原值相等,就修改为新值,否则不做处理。CAS底层为一条原子指令cmpxchg,可以保证原子性,
Unsafe提供的CAS方法如compareAndSwapInt底层就是CPU指令cmpxchg。
/** * CAS * @param o 包含要修改field的对象 * @param offset 对象中某field的偏移量 * @param expected 期望值 * @param update 更新值 * @return true | false */ public final native boolean compareAndSwapObject(Object o, long offset, Object expected, Object update); public final native boolean compareAndSwapInt(Object o, long offset, int expected,int update); public final native boolean compareAndSwapLong(Object o, long offset, long expected, long update);
CAS在java并发包中的原子类如AtomicInteger,AQS(AbstractQueuedSynchronizer),ConcurrentHashMap等实现中都有广泛的使用。
public class AtomicInteger extends Number implements java.io.Serializable { private static final long serialVersionUID = 6214790243416807050L; // setup to use Unsafe.compareAndSwapInt for updates private static final Unsafe unsafe = Unsafe.getUnsafe(); private static final long valueOffset; static { try { valueOffset = unsafe.objectFieldOffset (AtomicInteger.class.getDeclaredField("value")); } catch (Exception ex) { throw new Error(ex); } } private volatile int value; }
在AtomicInteger的实现中,静态属性valueOffset即为属性value的内存偏移地址,在静态代码块中通过Unsafe的objectFieldOffset方法对valueOffset赋值。
在AtomicInteger中提供的线程安全方法中,通过属性valueOffset可以定位到属性value的内存地址,从而可以根据CAS实现对value属性的原子操作。
上图为某个AtomicInteger对象自增操作前后的内存示意图,对象的基地址baseAddress=“0x110000”,通过baseAddress+valueOffset得到value的
内存地址valueAddress=“0x11000c”;然后通过CAS进行原子性的更新操作,成功则返回,否则继续重试,直到更新成功为止。
此部分主要包含对象成员属性相关操作及非常规的对象实例化方式等相关方法。
//返回对象成员属性在内存地址相对于此对象的内存地址的偏移量 public native long objectFieldOffset(Field f); //获得给定对象的指定地址偏移量的值,与此类似操作还有:getInt,getDouble,getLong,getChar等 public native Object getObject(Object o, long offset); //给定对象的指定地址偏移量设值,与此类似操作还有:putInt,putDouble,putLong,putChar等 public native void putObject(Object o, long offset, Object x); //从对象的指定偏移量处获取变量的引用,使用volatile的加载语义 public native Object getObjectVolatile(Object o, long offset); //存储变量的引用到对象的指定的偏移量处,使用volatile的存储语义 public native void putObjectVolatile(Object o, long offset, Object x); //有序、延迟版本的putObjectVolatile方法,不保证值的改变被其他线程立即看到。只有在field被volatile修饰符修饰时有效 public native void putOrderedObject(Object o, long offset, Object x); //绕过构造方法、初始化代码来创建对象 public native Object allocateInstance(Class<?> cls) throws InstantiationException;
public class User { private User() { System.out.println("User.Constructor"); } @Override public String toString() { return "User.toString()"; } }
定义一个构造器为私有的类
import java.lang.reflect.Field; import sun.misc.Unsafe; public class TestUnSafe { public static void main(String[] args) throws InstantiationException { Unsafe unsafe = getUnsafe(); System.out.println(unsafe.allocateInstance(User.class));//User.toString() } private static Unsafe getUnsafe() { try { Class<Unsafe> unsafeClass = Unsafe.class; Field theUnsafe = unsafeClass.getDeclaredField("theUnsafe"); theUnsafe.setAccessible(true); return unsafeClass.cast(theUnsafe.get(null)); } catch (NoSuchFieldException | IllegalAccessException e) { e.printStackTrace(); } return null; } }
通过Unsafe的allocateInstance()方法来创建对象,根据输出结果发现确实可以绕过构造器。
Gson(一个解析json的库)中的UnsafeAllocator在反序列化创建对象时会使用到该方法。
Java魔法类:Unsafe应用解析