Java并发框架——AQS之原子性如何保证？

在研究AQS框架时，会发现这个类很多地方都使用了CAS操作，在并发实现中CAS操作必须具备原子性，而且是硬件级别的原子性，java被隔离在硬件之上，明显力不从心，这时为了能直接操作操作系统层面，肯定要通过用C++编写的native本地方法来扩展实现。JDK提供了一个类来满足CAS的要求，sun.misc.Unsafe，从名字上可以大概知道它用于执行低级别、不安全的操作，AQS就是使用此类完成硬件级别的原子操作。

Unsafe是一个很强大的类，它可以分配内存、释放内存、可以定位对象某字段的位置、可以修改对象的字段值、可以使线程挂起、使线程恢复、可进行硬件级别原子的CAS操作等等，但平时我们没有这么特殊的需求去使用它，而且必须在受信任代码（一般由JVM指定）中调用此类，例如直接Unsafe unsafe = Unsafe.getUnsafe();获取一个Unsafe实例是不会成功的，因为这个类的安全性很重要，设计者对其进行了如下判断，它会检测调用它的类是否由启动类加载器Bootstrap ClassLoader（它的类加载器为null）加载，由此保证此类只能由JVM指定的类使用。

public static Unsafe getUnsafe() {

Class cc = sun.reflect.Reflection.getCallerClass(2);

if (cc.getClassLoader() != null)

throw new SecurityException("Unsafe");

return theUnsafe;

}

当然可以通过反射绕过上面的限制，用下面的getUnsafeInstance方法可以获取Unsafe实例，这段代码演示了如何获取java对象的相对地址偏移量及使用Unsafe完成CAS操作，最终输出的是flag字段的内存偏移量及CAS操作后的值。分别为8和101。另外如果使用开发工具如Eclipse，可能会编译通不过，只要把编译错误提示关掉即可。

public class UnsafeTest {

privateint flag = 100;

privatestatic long offset;

privatestatic Unsafe unsafe = null;

static{

try{

unsafe= getUnsafeInstance();

offset= unsafe.objectFieldOffset(UnsafeTest.class

.getDeclaredField("flag"));

}catch (Exception e) {

e.printStackTrace();

}

publicstatic void main(String[] args) throws Exception {

intexpect = 100;

intupdate = 101;

UnsafeTestunsafeTest = new UnsafeTest();

System.out.println("unsafeTest对象的flag字段的地址偏移量为："+offset);

unsafeTest.doSwap(offset,expect, update);

System.out.println("CAS操作后的flag值为：" +unsafeTest.getFlag());

}

privateboolean doSwap(long offset, int expect, int update) {

returnunsafe.compareAndSwapInt(this, offset, expect, update);

}

publicint getFlag() {

returnflag;

}

privatestatic Unsafe getUnsafeInstance() throws SecurityException,

NoSuchFieldException,IllegalArgumentException,

IllegalAccessException{

FieldtheUnsafeInstance = Unsafe.class.getDeclaredField("theUnsafe");

theUnsafeInstance.setAccessible(true);

return(Unsafe) theUnsafeInstance.get(Unsafe.class);

}

Unsafe类让我们明白了java是如何实现对操作系统操作的，一般我们使用java是不需要在内存中处理java对象及内存地址位置的，但有的时候我们确实需要知道java对象相关的地址，于是我们使用Unsafe类，尽管java对其提供了足够的安全管理。

Java语言的设计者们极力隐藏涉及底层操作系统的相关操作，但此节我们本着对AQS框架实现的目的，不得不剖析了Unsafe类，因为AQS里面即是使用Unsafe获取对象字段的地址偏移量、相关原子操作来实现CAS操作的。

喜欢研究java的同学可以交个朋友，下面是本人的微信号：

巴特西

Java并发框架——AQS之原子性如何保证？

最新文章

热门文章