Java多线程与并发-原理

synchronized

线程安全问题的主要诱因

存在共享数据（也称临界资源）

存在多条线程共同操作这些共享数据

 

解决问题的根本方法：

同一时刻有且只有一个线程在操作共享数据，其他线程必须等待该线程处理完数据后在对共享数据进行操作

 

 

互斥锁的特性

互斥性：即在同一时间只允许一个线程持有某个对象锁，通过这种特性来实现多线程的协调机制，这样在同一时间只有一个线程对需要同步的代码块（复合操作）进行访问，互斥性也称为操作的原子性

 

可见性：必须确保在锁被释放之前，对共享变量所做的修改，对于随后获得该锁的另一个线程是可见的（即在获得锁时获得最新共享变量的值），否则另一个线程可能是在本地缓存的某个副本上继续操作，从而引起不一致。

synchronized锁的不是代码，锁的都是对象

 

 

根据获取的锁的分类：获取对象锁和获取类锁

获取对象锁的两种用法

1.同步代码块（synchronized(this),synchronized（类实例对象）），锁是小括号()中的实例对象

2,.同步非静态方法（synchronized method）,锁是当前对象的实例对象

获取类锁的两种用法

1. 同步代码块（synchronized(类.class)）,锁是小括号()中的类的对象（Class对象）

2.同步静态方法（synchronized static method），锁是当前对象的对象（class对象）

 

 

synchronized底层实现原理

对象在内存中的布局

对象头

实例数据

对齐填充

 

 

自旋锁与自适应自旋锁

 

自旋锁

许多情况下，共享数据的锁定状态持续时间较短，切换线程不值得

通过让线程执行忙循环等待锁的释放，不让出CPU

缺点：若锁被其他线程长时间占用，会带来许多性能上的开销

自适应自旋锁

自选的次数不在固定

由前一次在同一个锁的自选时间及锁的拥有者的状态来决定

 

锁消除

更彻底的优化

JIT编译时，对运行上下文进行扫描，去除不可能存在竞争的锁

 

锁粗化

另一种极端

通过扩大加锁的范围，避免反复加锁和解锁

 

synchronized的四种状态

无锁、偏向锁、轻量级锁、重量级锁

 

锁膨胀方向：无锁—>偏向锁—>轻量级锁—重量级锁

 

偏向锁：减少同一线程获取锁的代价

大多情况下，锁不存在多线程竞争，总是由同一线程多次获得

 

核心思想：

如果一个线程获得了锁，那么锁就进入偏向模式，此时Mark Word的结构也变为偏向锁结构，当该线程再次请求锁时，无需再做任何同步操作，即获取锁的线程再次请求锁时，无需再做任何同步操作，即获取锁的过程只需要检查Mark Word的锁标记位偏向锁以及当前线程Id等于Mark Word的ThreadID即可，这样就省去大量有关锁申请的操作

 

不适合于锁竞争比较激烈的多线程场合

 

 

轻量级锁

轻量级锁是由偏向锁升级来的，偏向锁运行在一个线程进入同步块的情况下，当第二个线程加入锁争用的时候，偏向锁就会升级为轻量级锁。

适应的场景：线程交替执行同步块

 

锁的内存语义

当线程释放锁时，Java内存模型会把该线程对应的本地内存中的共享变量刷新到主内存中;

而当线程获取锁时，Java内存模型会把该线程对应的本地内存置为无效，从而使得被监视器保护的临界区代码必须从主内存中读取共享变量