并发编程笔记

Release

flag

flag

flag

比如说，线程池里面固定就100个线程，超过这个线程数就到队列里面去排队等待

适用于存在高峰的情况 | ps : 容易崩掉 ，4核8GB的100个线程就差不多了，cpu负载可能就 70%/80%了

各种组件源码中常用，比如eureka、rocketmq的心跳等等

作用于主存变量。Read操作把一个变量的值从主存传输到工作内存中，以便随后的Load操作使用

作用于工作内存的变量。Load 操作把Read操作从主存中得到的变量值载入工作内存的变量副本中。
变量副本可以简单理解为CPU的高速缓存。

作用于工作内存的变量。Use操作把工作内存中的一个变量的值传递给执行引擎。 每当JVM遇到
一个需要使用变量值的字节码指令时，执行Use操作。

作用于工作内存的变量。执行引擎通过Assign 操作给工作内存的工作内存变量赋值。 每当JVM遇到
一个给变量赋值的字节码指令时，执行Assign操作。

作用于工作内存的变量。Store 操作把工作内存中的一个变量的值传递到主存中，以便随后的Write 操作使用

作用于主存的变量。Write 操作把Store操作从工作内存中得到的变量值放入主存的变量中

作用于主存的变量，把一个变量标识为某个线程独占状态

作用于主存的变量，把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定

Mark Word

Class Pointer

Array Length

Mark Word字段中存放了Java内置锁的信息

Java内置锁的状态总共有4种，级别由低到高依次为：无锁、偏向锁、轻量级锁和重量级锁。并且4种状态会随着竞争的情况逐渐升级，而且是不可逆的过程，即不可降级，也就是说只能进行锁升级（从低级别到高级别）。

Java内置锁状态一览

示意图

定义

特点

Cxq

EntryList

WaitSet

如果是0，那么说明没人获取锁，他可以获取锁，然后对计数器 加 1

如果不是0，那么说明有其他线程获取到锁了，那么它就什么事也干不了，只能进入阻塞状态，等着获取锁

此时获取锁的线程就会对那个对象的monitor里的计数器减 1，如果有多次重入加锁，那就多次减 1 ，直至减为0

只有一个线程能成功获取锁

Load内存屏障

Store内存屏障

代码块内部不保证有序性

是一种JVM原生的锁实现方式

并保证对所有线程都能拥有对该int的可见性和原子修改，其本质是基于所谓的AQS框架

而Lock在发生异常时，如果没有主动通过unLock()去释放锁，则很可能造成死锁现象，因此需要再finally块中释放锁

使用synchronized时，等待的线程会一直等待下去，不能响应中断

而当竞争资源非常激烈时(即有大量线程同时竞争)，此时Lock的性能要远远优于synchronized

SynchronizedTest.init();

synchronized (MyService.class){}

SynchronizedTest synchronizedTest = new SynchronizedTest(); synchronizedTest.init();

synchronized (synchronizedTest){}

/**
* The synchronization state.
*/
private volatile int state;

lock()

图解

lock()

图解

CAS即基于底层硬件实现,给你保证一定是原子性的

并发包下AtomicInteger等类天然支持CAS保证原子性

只能保证一个变量的原子操作

长时间自旋，开销大

存在ABA问题

//字段所在的对象、字段内存位置、预期原值及新值。    
public final native boolean compareAndSwapObject(Object var1, long var2, Object var4, Object var5);

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

public final native boolean compareAndSwapLong(Object var1, long var2, long var4, long var6);

LongAdder

longAccumulate

主要通过CAS自旋+volatile的方案实现，既保障了变量操作的线程安全性，又避免了synchronized重量级锁的高开销，使得Java程序的执行效率大为提升。说明CAS用于保障变量操作的原子性，volatile关键字用于保障变量的可见性，二者常常结合使用。