java保证多线程安全的一种机制 ： 锁

为了保证共享数据在同一时刻只被一个线程使用，我们有一种很简单的实现思想，就是 

在共享数据里保存一个锁 ，当没有线程访问时，锁是空的。

当有第一个线程访问时，就 在锁里保存这个线程的标识 并允许这个线程访问共享数据。

在当前线程释放共享数据之前，如果再有其他线程想要访问共享数据，就要 等待锁释放 。

• 在共享数据里保存一个锁
• 在锁里保存这个线程的标识
• 其他线程访问已加锁共享数据要等待锁释放

 

锁其实是对象内存堆中头部的一部分数据。当线程获得一个锁，即是在锁内存区域设置一些标志。线程释放锁也是改变这些标记

 

java 中有内置锁 synchronized 和显示锁ReenTrantLock 两种锁。

内置锁内部实现 又分为 偏向锁 ，轻量锁 重量锁。

其中偏向锁和轻量锁的 锁标记 是在共享对象的头的markword 中 有锁标记。

重量锁 的锁标记 是在 是在共享对象的头的markword 中和对象监控器 中。

 

修改锁标记如何保证同步呢？

偏向锁和轻量锁 依赖于cas （Compare and Swap 比较并设置。用于在硬件层面上提供原子性操作。在 Intel 处理器中，比较并交换通过指令cmpxchg实现。比较是否和给定的数值一致，如果一致则修改，不一致则不修改）

重量级锁(监视器锁（Monitor)）本质是依赖于底层的操作系统的Mutex Lock（互斥锁）来实现的（监视器本身只是一个拥有多个队列的对象，他可以控制哪个线程是下一个执行线程，但是具体互斥量修改还是依赖于操作系统互斥锁机制）。每个监视器对象都有一个可称为" 互斥量” 的标记，这个标记用来保证在任一时刻，只能有一个线程访问该对象。

对共享资源的访问，先对互斥量进行加锁，如果互斥量已经上锁，调用线程会阻塞，直到互斥量被解锁。在完成了对共享资源的访问后，要对互斥量进行解锁。

 

synchronized内置锁是如何保证内存可见性、操作原子性 是如何做到的？

内存可见性：同步快的可见性是由“如果对一个变量执行lock操作，将会清空工作内存中此变量的值，在执行引擎使用这个变量前需要重新执行load或assign操作初始化变量的值”、“对一个变量执行unlock操作之前，必须先把此变量同步回主内存中（执行store和write操作）”这两条规则获得的。

操作原子性：持有同一个锁的两个同步块只能串行地进入

锁的内存语义：

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

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

锁释放和锁获取的内存语义：

线程A释放一个锁，实质上是线程A向接下来将要获取这个锁的某个线程发出了（线程A对共享变量所做修改的）消息。

线程B获取一个锁，实质上是线程B接收了之前某个线程发出的（在释放这个锁之前对共享变量所做修改的）消息。

线程A释放锁，随后线程B获取这个锁，这个过程实质上是线程A通过主内存向线程B发送消息