Synchronized关键字

1、AtomicInteger:

AtomicInteger的自增方法使用的是CAS保证的,底层是unSafe.getAndAddInt实现的,即原子类底层都是CAS实现的;

2、CAS:

CAS底层是JNI方法,实现底层为汇编指令lock cmpxchg其中cmpxchg(比较和改变值) 非原子性操作,比较回写的过程可能会出现被打断的情况,加lock对信号或总线进行加锁;

3、用户态和内核态:

操作系统将指令分为多个层级,部分指令不能直接调用,早期的Synchronized申请锁必须通过kernel系统调用,故称为重量级锁,用户态到内核态的申请,例如0x80,再由内核态转用户态都需要通过操作系统;

4、JOL:

(参考:Java虚拟机内存结构)

5、Markword:

加锁的本质是对对象Markword的修改,记录在Markword中,Markword记录了GC的年代信息,hashCode信息,锁信息。锁的升级就是通过Markword标记来实现的(因为Java对象一般是单个的,其他都是对象的引用)

其中hashCode并非hashCode()方法,而是特殊的Identity hashCode。

GC年代信息即年轻代年龄,PS+PO最大且默认为15代(因为年代信息在Markword中占4位,即2^4最大只能表示15,可以下调,不能比15大),cms默认是6。

Markword最后三位记录锁:

6、锁类型:

偏向锁、轻量级锁(自旋锁)都是用户态(用户空间)完成的,重量级锁需要向内核申请

偏向锁把指定线程ID记录在Markword中,出现多线程竞资源时,先撤销偏向锁,然后自旋竞争

自旋竞争在各自栈中生产LR(lock record),通过自旋方式,一方申请到后,剩下的会一直自旋等待(自旋一般超过10次后升级为重量级锁,可调优)。成功拿到锁的线程将LR记录在Markword中。

7、synchronized:悲观、可重入、非公平

synchronized生成Java字节码实际上就是monitorenter和monitorexit两个字节码,

monitorenter:检查是否使用偏向锁,若有则在线程安全点撤销偏向锁

                         否则进入自旋,生成自旋锁

                         否则膨胀inflate,这一步才进入内核态

核心组件:

waitSet:调用wait方法,被阻塞线程防止这里

contention list:竞争队列,所以请求锁的线程都被放在竞争队列中

Entry List:contention list中有资格成为候选资源的线程被移动到Entry List中

OnDeck:任意时刻,最多只有一个线程正在竞争锁资源,该线程为OnDeck

Owner:当前已经获取到所有资源的线程为Owner

!Owner:当前释放锁的线程

8、可重入锁:

也叫递归锁,指的是同一个线程以获取某个锁,可以再次获取该锁,而且不会死锁,外层函数获得锁后,内层函数仍然可与获取该锁

重入次数记录,用于对应解锁过程,

                      偏向锁记录在线程栈中,LR+1,轻量级锁类似

                      重量级锁记录在对象的monitor字段中

9、锁升级:

在偏向锁开启时,偏向锁升级自旋锁条件是只要有竞争。(不开启直接进入轻量级锁)

                   轻量级锁升级为重量级锁:线程自旋超过10次(-XX:PreBlockSpin可配)或自旋线程数超过CPU核心数的一半,1.6后自适应自旋由JVM自己控制。

                   升级为重量级锁:向操作系统申请资源。

Ps:自旋锁会消耗CPU资源,自旋时间太长,或自旋线程太多CPU资源占有就多,不划算。升级重量级锁后不需要再自旋了,反而减少自旋带来的CPU消耗

10、重量级锁:

ObjectMonitor(),内部有队列,将要等待的自旋线程扔到waitSet队列中,由操作系统决定从队列中取出,因而不是公平锁,放入队列后锁不再自旋,不需要再消耗自旋带来的CPU开销;

11、偏向锁的时延:

JVM启动时,类加载等过程一定是多线程竞争的,因而使用偏向锁会存在不断撤销偏向锁和升级锁的过程,反而会消耗资源,使用-XX:BiasedLockingStartUoDelay=4(默认4s)参数可以指定偏向锁的时延,这也是JVM调优。

12、偏向锁直接升级重量级锁:

调用wait方法,耗时过长的直接膨胀为重量级锁。


增补知识:

公平锁:加锁前检查是否有排队等待的线程,优先排队等待的线程,先来先得。非公平锁直接尝试获取锁,获取不到自动到队尾等待,非公平锁效率更高,synchronized非公平,ReetrantLock默认非公平。,可以实现公平锁

读写锁:ReadWriteLock,读写分离,读锁无阻塞,多个读锁不互斥,读锁写锁互斥,实现类:ReetrantReadWirteLock

独占锁、共享锁:独占锁:是悲观策略,每次只能有一个线程能够持有锁,会有一些不必要的并发性,例如读-读;

                           共享锁:多线程同时获取锁,并发访问

                           AQS内部定义两个常量SHARED和EXCLUSIVE标识

锁优化:

减少锁持有时间

减少锁的粒度

锁分离:读写分离

锁粗化:

锁消除:不存在竞争不用锁

ReetrantLock:可重入,除了synchronized功能,还能响应中断,可轮询请求,定时等。

乐观锁:认为读多写少,并发可能低,认为别人不会修改,因而不上锁,在更新时判断一下在此期间别人有没有更新数据,采取在写时先读取当前版本号,然后加锁操作,比较跟上一次版本号,如果一样则更新,失败则重读-比较-写操作,Java乐观锁都是CAS实现

悲观锁:认为写多,读写数据都会上锁,别人读写这个数据就会block;Java悲观锁:synchronized;

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。