资讯专栏INFORMATION COLUMN

Java unsafe操作指北

StonePanda / 3113人阅读

摘要:本文主要介绍下中的主要操作。所谓的内存屏障,是之虚拟机在对于这样的语句,在及后续写入操作执行前,保证的写入操作对其它处理器可见。是会插入的内存屏障,效率略低本篇为俺的课堂基础手写的前置知识,欢迎大家围观

Unsafe是Java无锁操作的基石,在无锁并发类中都少不了它们的身影,比如ConcurrentHashMap, ConcurrentLinkedQueue, 都是由Unsafe类来实现的。相对于与Java中的锁,它基本无开销,会原地等待。本文主要介绍下Unsafe中的主要操作。

1 compareAndSwap
/**
* 比较obj的offset处内存位置中的值和期望的值,如果相同则更新。此更新是不可中断的。
* 
* @param obj 需要更新的对象
* @param offset obj中整型field的偏移量
* @param expect 希望field中存在的值
* @param update 如果期望值expect与field的当前值相同,设置filed的值为这个新值
* @return 如果field的值被更改返回true
*/
public native boolean compareAndSwapInt(Object obj, long offset, int expect, int update);

这个就是著名的CAS操作了,分为三步来做

获取obj对象中为offset的偏移值,这里假设为realVal

比较realVal和expect

如果相同,将该值更新为update,否则不更新

CAS家族还包括有,compareAndSwapObject(), compareAndSwapLong(), compareAndSwapInt()等等

用AtomicInteger中一个经典的例子来说明:

public final int getAndAdd(int delta) {    
    return unsafe.getAndAddInt(this, valueOffset, delta);
}

//unsafe.getAndAddInt
public final int getAndAddInt(Object var1, long var2, int var4) {
    int var5;
    do {
    /**获取原始值*/
        var5 = this.getIntVolatile(var1, var2);
    /**确认原始值没有被其它线程修改时,再执行更新var5+var4操作,如果
        被其它线程修改过了,则会原地等待,持续循环*/
    } while(!this.compareAndSwapInt(var1, var2, var5, var5 + var4));
    return var5;
}

这里可以看出CAS操作存在的问题,在低竞态情况下是ok的,但是在高竞态情况下,while循环会一直消耗cpu资源

2 putOrder
/***
   * Sets the value of the integer field at the specified offset in the
   * supplied object to the given value.  This is an ordered or lazy
   * version of putIntVolatile(Object,long,int), which
   * doesn"t guarantee the immediate visibility of the change to other
   * threads.  It is only really useful where the integer field is
   * volatile, and is thus expected to change unexpectedly.
   *
   * @param obj the object containing the field to modify.
   * @param offset the offset of the integer field within obj.
   * @param value the new value of the field.
   * @see #putIntVolatile(Object,long,int)
   */
  public native void putOrderedInt(Object obj, long offset, int value);

将obj对象的偏移量为offset的位置修改为value,因为Java中没有内存操作,而Unsafe的这个操作正好补充了内存操作的不足。也可以用于数组操作,比如ConcurrentHashMap中就大量用到了该操作

 Segment s0 =
        new Segment(loadFactor, (int)(cap * loadFactor),
                         (HashEntry[])new HashEntry[cap]);
    Segment[] ss = (Segment[])new Segment[ssize];
    // 往数组下标为0的位置,写入s0: ss[0]=s0
    UNSAFE.putOrderedObject(ss, SBASE, s0); // ordered write of segments[0]

需要注意的是obj需要设置为Volatile,否则对于其它线程会不可见

该操作会插入一个#storestore的内存屏障,而非putXxxVolatile的#storeload的内存屏障,所以效率会高。所谓#storestore的内存屏障,是之虚拟机在对于这样的语句Store1; StoreStore; Store2,在Store2及后续写入操作执行前,保证Store1的写入操作对其它处理器可见。

3 putXxxVolatile
/***
   * Sets the value of the integer field at the specified offset in the
   * supplied object to the given value, with volatile store semantics.
   *
   * @param obj the object containing the field to modify.
   * @param offset the offset of the integer field within obj.
   * @param value the new value of the field.
   */
  public native void putIntVolatile(Object obj, long offset, int value);

Volatile是会插入#storeload的内存屏障,效率略低

本篇为俺的课堂《Java基础:手写jdk》的前置知识,欢迎大家围观

文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。

转载请注明本文地址:https://www.ucloud.cn/yun/68871.html

相关文章

  • 后端API从入门到放弃指北

    摘要:菜鸟教程框架中文手册入门目标使用搭建通过对数据增删查改没了纯粹占行用的拜 后端API入门学习指北 了解一下一下概念. RESTful API标准] 所有的API都遵循[RESTful API标准]. 建议大家都简单了解一下HTTP协议和RESTful API相关资料. 阮一峰:理解RESTful架构 阮一峰:RESTful API 设计指南 RESTful API指南 依赖注入 D...

    Jeffrrey 评论0 收藏0
  • 后端API从入门到放弃指北

    摘要:菜鸟教程框架中文手册入门目标使用搭建通过对数据增删查改没了纯粹占行用的拜 后端API入门学习指北 了解一下一下概念. RESTful API标准] 所有的API都遵循[RESTful API标准]. 建议大家都简单了解一下HTTP协议和RESTful API相关资料. 阮一峰:理解RESTful架构 阮一峰:RESTful API 设计指南 RESTful API指南 依赖注入 D...

    sf190404 评论0 收藏0
  • 后端API从入门到放弃指北

    摘要:菜鸟教程框架中文手册入门目标使用搭建通过对数据增删查改没了纯粹占行用的拜 后端API入门学习指北 了解一下一下概念. RESTful API标准] 所有的API都遵循[RESTful API标准]. 建议大家都简单了解一下HTTP协议和RESTful API相关资料. 阮一峰:理解RESTful架构 阮一峰:RESTful API 设计指南 RESTful API指南 依赖注入 D...

    Airmusic 评论0 收藏0
  • Java魔法类——Unsafe应用解析

    摘要:典型应用锁和同步器框架的核心类,就是通过调用和实现线程的阻塞和唤醒的,而的方法实际是调用的方式来实现。 前言 Unsafe是位于sun.misc包下的一个类,主要提供一些用于执行低级别、不安全操作的方法,如直接访问系统内存资源、自主管理内存资源等,这些方法在提升Java运行效率、增强Java语言底层资源操作能力方面起到了很大的作用。但由于Unsafe类使Java语言拥有了类似C语言指针...

    reclay 评论0 收藏0
  • Java多线程进阶(十二)—— J.U.C之atomic框架:Unsafe

    摘要:本身不直接支持指针的操作,所以这也是该类命名为的原因之一。中的许多方法,内部其实都是类在操作。 showImg(https://segmentfault.com/img/remote/1460000016012251); 本文首发于一世流云的专栏:https://segmentfault.com/blog... 一、Unsafe简介 在正式的开讲 juc-atomic框架系列之前,有...

    赵连江 评论0 收藏0

发表评论

0条评论

StonePanda

|高级讲师

TA的文章

阅读更多
最新活动
阅读需要支付1元查看
<