java 多线程安全源码,纯干货，从源码解析多线程与高并发，再说不会，我再也不踏足IT圈...

最新推荐文章于 2022-09-16 18:12:49 发布

李轶林

最新推荐文章于 2022-09-16 18:12:49 发布

阅读量123

点赞数

文章标签： java 多线程安全源码

没什么太多说的，多线程与高并发，面试重点，咱直接进入正题，联合底层源码，咱们从源码看一下，多线程与高并发底层的知识点，这也是阿里p8+的面试官建议的学习到的级别java

CAS

Compare And Swap (Compare And Exchange) / 自旋 / 自旋锁 / 无锁linux

由于常常配合循环操做，直到完成为止，因此泛指一类操做git

cas(v, a, b) ，变量v，期待值a, 修改值b面试

ABA问题，你的女友在离开你的这段儿时间经历了别的人，自旋就是你空转等待，一直等到她接纳你为止bootstrap

解决办法(版本号 AtomicStampedReference)，基础类型简单值不须要版本号安全

Unsafe

AtomicInteger:多线程

public final int incrementAndGet(){

for (;;) {

int current = get();

int next = current + 1;

if (compareAndSet(current, next))

return next;

}

public final boolean compareAndSet(int expect, int update){

return unsafe.compareAndSwapInt(this, valueOffset, expect, update);

}

Unsafe:架构

public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5);

运用：并发

package com.mashibing.jol;

import sun.misc.Unsafe;

import java.lang.reflect.Field;

public class T02_TestUnsafe{

int i = 0;

private static T02_TestUnsafe t = new T02_TestUnsafe();

public static void main(String[] args) throws Exception{

//Unsafe unsafe = Unsafe.getUnsafe();

Field unsafeField = Unsafe.class.getDeclaredFields()[0];

unsafeField.setAccessible(true);

Unsafe unsafe = (Unsafe) unsafeField.get(null);

Field f = T02_TestUnsafe.class.getDeclaredField("i");

long offset = unsafe.objectFieldOffset(f);

System.out.println(offset);

boolean success = unsafe.compareAndSwapInt(t, offset, 0, 1);

System.out.println(success);

System.out.println(t.i);

//unsafe.compareAndSwapInt()

}

jdk8u: unsafe.cpp:app

cmpxchg = compare and exchange

UNSAFE_ENTRY(jboolean, Unsafe_CompareAndSwapInt(JNIEnv *env, jobject unsafe, jobject obj, jlong offset, jint e, jint x))

UnsafeWrapper("Unsafe_CompareAndSwapInt");

oop p = JNIHandles::resolve(obj);

jint* addr = (jint *) index_oop_from_field_offset_long(p, offset);

return (jint)(Atomic::cmpxchg(x, addr, e)) == e;

UNSAFE_END

jdk8u: atomic_linux_x86.inline.hpp

is_MP = Multi Processor

inline jint Atomic::cmpxchg (jint exchange_value, volatile jint* dest, jint compare_value) {

int mp = os::is_MP();

__asm__ volatile (LOCK_IF_MP(%4) "cmpxchgl %1,(%3)"

: "=a" (exchange_value)

: "r" (exchange_value), "a" (compare_value), "r" (dest), "r" (mp)

: "cc", "memory");

return exchange_value;

}

jdk8u: os.hpp is_MP()

static inline bool is_MP(){

// During bootstrap if _processor_count is not yet initialized

// we claim to be MP as that is safest. If any platform has a

// stub generator that might be triggered in this phase and for

// which being declared MP when in fact not, is a problem - then

// the bootstrap routine for the stub generator needs to check

// the processor count directly and leave the bootstrap routine

// in place until called after initialization has ocurred.

return (_processor_count != 1) || AssumeMP;

}

jdk8u: atomic_linux_x86.inline.hpp

#define LOCK_IF_MP(mp) "cmp $0, " #mp "; je 1f; lock; 1: "

最终实现：

cmpxchg = cas修改变量值

lock cmpxchg 指令

硬件：

lock指令在执行后面指令的时候锁定一个北桥信号

(不采用锁总线的方式)

工具：JOL = Java Object Layout

org.openjdk.jol

jol-core

0.9

jdk8u: markOop.hpp

// Bit-format of an object header (most significant first, big endian layout below):

// 32 bits:

// --------

// hash:25 ------------>| age:4 biased_lock:1 lock:2 (normal object)

// JavaThread*:23 epoch:2 age:4 biased_lock:1 lock:2 (biased object)

// size:32 ------------------------------------------>| (CMS free block)

// PromotedObject*:29 ---------->| promo_bits:3 ----->| (CMS promoted object)

// 64 bits:

// --------

// unused:25 hash:31 -->| unused:1 age:4 biased_lock:1 lock:2 (normal object)

// JavaThread*:54 epoch:2 unused:1 age:4 biased_lock:1 lock:2 (biased object)

// PromotedObject*:61 --------------------->| promo_bits:3 ----->| (CMS promoted object)

// size:64 ----------------------------------------------------->| (CMS free block)

// unused:25 hash:31 -->| cms_free:1 age:4 biased_lock:1 lock:2 (COOPs && normal object)

// JavaThread*:54 epoch:2 cms_free:1 age:4 biased_lock:1 lock:2 (COOPs && biased object)

// narrowOop:32 unused:24 cms_free:1 unused:4 promo_bits:3 ----->| (COOPs && CMS promoted object)

// unused:21 size:35 -->| cms_free:1 unused:7 ------------------>| (COOPs && CMS free block)

synchronized的横切面详解

synchronized原理

升级过程

汇编实现

vs reentrantLock的区别

java源码层级

synchronized(o)

字节码层级

monitorenter moniterexit

JVM层级(Hotspot)

package com.mashibing.insidesync;

import org.openjdk.jol.info.ClassLayout;

public class T01_Sync1{

public static void main(String[] args){

Object o = new Object();

System.out.println(ClassLayout.parseInstance(o).toPrintable());

}

com.mashibing.insidesync.T01_Sync1$Lock object internals:

OFFSET SIZE TYPE DESCRIPTION VALUE

0 4 (object header) 05 00 00 00 (00000101 00000000 00000000 00000000) (5)

4 4 (object header) 00 00 00 00 (00000000 00000000 00000000 00000000) (0)

8 4 (object header) 49 ce 00 20 (01001001 11001110 00000000 00100000) (536923721)

12 4 (loss due to the next object alignment)

Instance size: 16 bytes

Space losses: 0 bytes internal + 4 bytes external = 4 bytes total

com.mashibing.insidesync.T02_Sync2$Lock object internals:

OFFSET SIZE TYPE DESCRIPTION VALUE

0 4 (object header) 05 90 2e 1e (00000101 10010000 00101110 00011110) (506368005)

4 4 (object header) 1b 02 00 00 (00011011 00000010 00000000 00000000) (539)

8 4 (object header) 49 ce 00 20 (01001001 11001110 00000000 00100000) (536923721)

12 4 (loss due to the next object alignment)

Instance size: 16 bytes

Space losses: 0 bytes internal + 4 bytes external = 4 bytes tota

InterpreterRuntime:: monitorenter方法

IRT_ENTRY_NO_ASYNC(void, InterpreterRuntime::monitorenter(JavaThread* thread, BasicObjectLock* elem))

#ifdef ASSERT

thread->last_frame().interpreter_frame_verify_monitor(elem);

#endif

if (PrintBiasedLockingStatistics) {

Atomic::inc(BiasedLocking::slow_path_entry_count_addr());

}

Handle h_obj(thread, elem->obj());

assert(Universe::heap()->is_in_reserved_or_null(h_obj()),

"must be NULL or an object");

if (UseBiasedLocking) {

// Retry fast entry if bias is revoked to avoid unnecessary inflation

ObjectSynchronizer::fast_enter(h_obj, elem->lock(), true, CHECK);

} else {

ObjectSynchronizer::slow_enter(h_obj, elem->lock(), CHECK);

}

assert(Universe::heap()->is_in_reserved_or_null(elem->obj()),

"must be NULL or an object");

#ifdef ASSERT

thread->last_frame().interpreter_frame_verify_monitor(elem);

#endif

IRT_END

synchronizer.cpp

revoke_and_rebias

void ObjectSynchronizer::fast_enter(Handle obj, BasicLock* lock, bool attempt_rebias, TRAPS) {

if (UseBiasedLocking) {

if (!SafepointSynchronize::is_at_safepoint()) {

BiasedLocking::Condition cond = BiasedLocking::revoke_and_rebias(obj, attempt_rebias, THREAD);

if (cond == BiasedLocking::BIAS_REVOKED_AND_REBIASED) {

return;

}

} else {

assert(!attempt_rebias, "can not rebias toward VM thread");

BiasedLocking::revoke_at_safepoint(obj);

}

assert(!obj->mark()->has_bias_pattern(), "biases should be revoked by now");

}

slow_enter (obj, lock, THREAD) ;

}

void ObjectSynchronizer::slow_enter(Handle obj, BasicLock* lock, TRAPS) {

markOop mark = obj->mark();

assert(!mark->has_bias_pattern(), "should not see bias pattern here");

if (mark->is_neutral()) {

// Anticipate successful CAS -- the ST of the displaced mark must

// be visible <= the ST performed by the CAS.

lock->set_displaced_header(mark);

if (mark == (markOop) Atomic::cmpxchg_ptr(lock, obj()->mark_addr(), mark)) {

TEVENT (slow_enter: release stacklock) ;

return ;

}

// Fall through to inflate() ...

} else

if (mark->has_locker() && THREAD->is_lock_owned((address)mark->locker())) {

assert(lock != mark->locker(), "must not re-lock the same lock");

assert(lock != (BasicLock*)obj->mark(), "don't relock with same BasicLock");

lock->set_displaced_header(NULL);

return;

}

#if 0

// The following optimization isn't particularly useful.

if (mark->has_monitor() && mark->monitor()->is_entered(THREAD)) {

lock->set_displaced_header (NULL) ;

return ;

}

#endif

// The object header will never be displaced to this lock,

// so it does not matter what the value is, except that it

// must be non-zero to avoid looking like a re-entrant lock,

// and must not look locked either.

lock->set_displaced_header(markOopDesc::unused_mark());

ObjectSynchronizer::inflate(THREAD, obj())->enter(THREAD);

}

inflate方法：膨胀为重量级锁

锁升级过程

JDK8 markword实现表：

无锁 - 偏向锁 - 轻量级锁 (自旋锁，自适应自旋)- 重量级锁

synchronized优化的过程和markword息息相关

用markword中最低的三位表明锁状态其中1位是偏向锁位两位是普通锁位

Object o = new Object() 锁 = 0 01 无锁态

o.hashCode() 001 + hashcode00000001 10101101 00110100 00110110

01011001 00000000 00000000 00000000little endian big endian 00000000 00000000 00000000 01011001 00110110 00110100 10101101 00000000

默认synchronized(o) 00 -> 轻量级锁默认状况偏向锁有个时延，默认是4秒 why? 由于JVM虚拟机本身有一些默认启动的线程，里面有好多sync代码，这些sync代码启动时就知道确定会有竞争，若是使用偏向锁，就会形成偏向锁不断的进行锁撤销和锁升级的操做，效率较低。-XX:BiasedLockingStartupDelay=0

若是设定上述参数 new Object () - > 101 偏向锁 ->线程ID为0 -> Anonymous BiasedLock 打开偏向锁，new出来的对象，默认就是一个可偏向匿名对象101

若是有线程上锁上偏向锁，指的就是，把markword的线程ID改成本身线程ID的过程偏向锁不可重偏向批量偏向批量撤销

若是有线程竞争撤销偏向锁，升级轻量级锁线程在本身的线程栈生成LockRecord ，用CAS操做将markword设置为指向本身这个线程的LR的指针，设置成功者获得锁

若是竞争加重竞争加重：有线程超过10次自旋， -XX:PreBlockSpin，或者自旋线程数超过CPU核数的一半， 1.6以后，加入自适应自旋 Adapative Self Spinning ， JVM本身控制升级重量级锁：-> 向操做系统申请资源，linux mutex , CPU从3级-0级系统调用，线程挂起，进入等待队列，等待操做系统的调度，而后再映射回用户空间

(以上实验环境是JDK11，打开就是偏向锁，而JDK8默认对象头是无锁)

偏向锁默认是打开的，可是有一个时延，若是要观察到偏向锁，应该设定参数

没错，我就是厕所所长

加锁，指的是锁定对象

锁升级的过程

JDK较早的版本 OS的资源互斥量用户态 -> 内核态的转换重量级效率比较低

现代版本进行了优化

无锁 - 偏向锁 -轻量级锁(自旋锁)-重量级锁

偏向锁 - markword 上记录当前线程指针，下次同一个线程加锁的时候，不须要争用，只须要判断线程指针是否同一个，因此，偏向锁，偏向加锁的第一个线程。hashCode备份在线程栈上线程销毁，锁降级为无锁

有争用 - 锁升级为轻量级锁 - 每一个线程有本身的LockRecord在本身的线程栈上，用CAS去争用markword的LR的指针，指针指向哪一个线程的LR，哪一个线程就拥有锁

自旋超过10次，升级为重量级锁 - 若是太多线程自旋 CPU消耗过大，不如升级为重量级锁，进入等待队列(不消耗CPU)-XX:PreBlockSpin

自旋锁在 JDK1.4.2 中引入，使用 -XX:+UseSpinning 来开启。JDK 6 中变为默认开启，而且引入了自适应的自旋锁(适应性自旋锁)。

自适应自旋锁意味着自旋的时间(次数)再也不固定，而是由前一次在同一个锁上的自旋时间及锁的拥有者的状态来决定。若是在同一个锁对象上，自旋等待刚刚成功得到过锁，而且持有锁的线程正在运行中，那么虚拟机就会认为此次自旋也是颇有可能再次成功，进而它将容许自旋等待持续相对更长的时间。若是对于某个锁，自旋不多成功得到过，那在之后尝试获取这个锁时将可能省略掉自旋过程，直接阻塞线程，避免浪费处理器资源。

偏向锁因为有锁撤销的过程revoke，会消耗系统资源，因此，在锁争用特别激烈的时候，用偏向锁未必效率高。还不如直接使用轻量级锁。

synchronized最底层实现

public class T{

static volatile int i = 0;

public static void n(){ i++; }

public static synchronized void m(){}

publics static void main(String[] args){

for(int j=0; j<1000_000; j++) {

m();

n();

}

java -XX:+UnlockDiagonositicVMOptions -XX:+PrintAssembly T

C1 Compile Level 1 (一级优化)

C2 Compile Level 2 (二级优化)

找到m() n()方法的汇编码，会看到 lock comxchg .....指令

synchronized vs Lock (CAS)

在高争用高耗时的环境下synchronized效率更高

在低争用低耗时的环境下CAS效率更高

synchronized到重量级以后是等待队列(不消耗CPU)

CAS(等待期间消耗CPU)

一切以实测为准

锁消除 lock eliminate

public void add(String str1,String str2){

StringBuffer sb = new StringBuffer();

sb.append(str1).append(str2);

}

咱们都知道 StringBuffer 是线程安全的，由于它的关键方法都是被 synchronized 修饰过的，但咱们看上面这段代码，咱们会发现，sb 这个引用只会在 add 方法中使用，不可能被其它线程引用(由于是局部变量，栈私有)，所以 sb 是不可能共享的资源，JVM 会自动消除 StringBuffer 对象内部的锁。

锁粗化 lock coarsening

public String test(String str){

int i = 0;

StringBuffer sb = new StringBuffer():

while(i < 100){

sb.append(str);

i++;

}

return sb.toString():

}

JVM 会检测到这样一连串的操做都对同一个对象加锁(while 循环内 100 次执行 append，没有锁粗化的就要进行 100 次加锁/解锁)，此时 JVM 就会将加锁的范围粗化到这一连串的操做的外部(好比 while 虚幻体外)，使得这一连串操做只须要加一次锁便可。

关注公众号：Java架构师联盟，每日更新技术好文

部分资料已经上传到个人git仓库中：有须要的能够下载

李轶林

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
java 多线程安全源码,纯干货，从源码解析多线程与高并发，再说不会，我再也不踏足IT圈...

没什么太多说的，多线程与高并发，面试重点，咱直接进入正题，联合底层源码，咱们从源码看一下，多线程与高并发底层的知识点，这也是阿里p8+的面试官建议的学习到的级别javaCASCompare And Swap (Compare And Exchange) / 自旋 / 自旋锁 / 无锁linux由于常常配合循环操做，直到完成为止，因此泛指一类操做gitcas(v, a, b) ，变量v，期待值a, ...
复制链接

扫一扫