synchronizedReentrantLock乐观锁悲观锁(Java线程安全实现)JVM9

Java语言的线程安全

1、不可变
2、相对线程 安全
3、相对线程安全
4、线程兼容
5、线程对立

线程安全实现

1、互斥同步
保持共享数据在同一时刻只被一条线程使用 互斥是实现同步的一种手段 临界区 互斥量和信号量
synchronized 关键字
synchronized关键字javac编译之后同步前后分别形成monitorenter 和monitorexit 两个字节码指令
（1）sychronized修饰的同步块对同一条线程来说是可重入的
（2）被synchronized修饰的同步块在持有锁的过程执行完成 释放锁之前 会无条件阻塞直到后面的线程进入

持有锁是一个是一个重量级操作

synchronized中的锁事非公平的
优先使用：
synchronized 是在java 语法层面的同步 足够清晰
Lock 应该确保在finally释放锁

ReentrantLock
是lock 接口最常见的一种实现
是可重入 一般具有高级功能
主要有以下三项：
等待可中断
可实现公平锁
锁可以绑定多个条件
（1）等待可中断： 是指在长期不释放锁的时候 正在等待的线程可以选择放弃等待 该位处理其他事情 可以中断特性对处理执行时间非常长的同步块

（2）公平锁：是指多个线程等待同一锁，必须按照申请锁的时间顺序来一次获取锁
ReentrantLock默认是非公平锁（在锁释放时 任何一个等待锁的线程都有机会获得锁）
（3）锁绑定多个条件：一个ReentrantLock对象可以同时绑定多个Condition对象

2、非阻塞同步

互斥同步 面临的问题是 进行线程阻塞和唤醒所带来的性能开销
这种同步也被称之为阻塞线程

悲观锁：总是认为不加锁就肯定会出现问题 无论共享的数据是否真的会出现竞争 他都会进行加锁 会导致用户态到核心态的转换、维护锁计数器和检查是否有被组设的线程需要被唤醒等开销

解决方法：基于冲突检测的乐观并发策略
就是当没有线程争夺的时候 会进行 直接操作 会进行时间戳标记
当有线程争夺，时间戳会改变 做重试 直到没有共享数据被争夺为止
这种策略不用将线程挂起被称为非阻塞同步称之为 无锁编程

乐观并发策略硬件实现

·测试并设置
·获取并增加
·交换
·比较并交换 CAS
·加载链接/条件存储

无同步方案

保证线程安全 并非一定要进行阻塞或非阻塞同步 同步和线程同步两者之间没有必然联系 同步只是保证存在数据征用时 正确手段，有一些天生代码安全

可重入代码：这种代码成为纯代码 是可以执行的任何时刻中断它，转而去执行另一段代码而控制权返回时，原来的程序不会出现任何错误，也不会对程序结果有所影响
特征：
不依赖全局变量
存储在堆上的数据和公用的系统资源
用到的状态量由参数传入
不调用非可重入的方法

线程本地存储：
如果一段代码中所需要的数据必须与其他代码共享 那就看看这些共享数据的代码能否保证在同一线程中执行 如果能保证 我们就可以把共享数据的可见范围现在同一线程中 这样无须同步也能保证线程之间不出现线程争取用的问题