### 锁\(synchronized\) 作用：关键字synchronized的作用是实现线程间的同步； JVM规范定义了线程对主存的操作指令：read，load，use，assign，store，write JavaSE1.6中，锁一共有4种状态，级别从低到高依次是：无锁状态、偏向锁状态、轻量级锁状态和重量级锁状态，这几个状态会随着竞争情况逐渐升级。锁可以升级但不能降级，意味着偏向锁升级成轻量级锁后不能降级成偏向锁。这种锁升级却不能降级的策略，目的是为了提高获得锁和释放锁的效率 ### 锁的内存语义 * synchronized的底层是使用操作系统的mutex lock实现的； * 内存可见性：同步块的可见性是由“如果对一个变量执行lock操作，将会清空工作内存中此变量的值，在执行引擎使用这个变量前需要重新执行load或assign操作初始化变量的值”、“对一个变量执行unlock操作之前，必须先把此变量同步回主内存中（执行store和write操作）”这两条规则获得的； * 操作原子性：持有同一个锁的两个同步块只能串行地进入； * 当线程释放锁时，JMM会把该线程对应的本地内存中的共享变量刷新到主内存中； * 当线程获取锁时，JMM会把该线程对应的本地内存置为无效。从而使得被监视器保护的临界区代码必须从主内存中读取共享变量； ### Synchronized可重入锁 当线程请求一个未被持有的锁时，JVM记录锁的持有者且将计数器置为1，如果同一个线程再次获取这个锁计数器递增；当线程退出同步代码块时，计数器递减；当计数值为0时锁释放； ### 假唤醒 由于莫名其妙的原因，线程有可能在没有调用过notify\(\)和notifyAll\(\)的情况下醒来。这就是所谓的假唤醒（spurious wakeups） ### 锁释放和锁获取的内存语义 * 线程A释放一个锁，实质上是线程A向接下来将要获取这个锁的某个线程发出了（线程A对共享变量所做修改的）消息。 * 线程B获取一个锁，实质上是线程B接收了之前某个线程发出的（在释放这个锁之前对共享变量所做修改的）消息。 * 线程A释放锁，随后线程B获取这个锁，这个过程实质上是线程A通过主内存向线程B发送消息 ### 用法 Java中的每一个对象都可以作为锁： * 对于同步方法，锁是当前实例对象； * 对于静态同步方法，锁是当前对象的Class对象； * 对于同步方法块，锁是Synchonized括号里配置的对象\(monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处， JVM要保证每个monitorenter必须有对应的monitorexit与之配对\)； * JVM基于进入和退出Monitor对象来实现方法同步和代码块同步。代码块同步是使用monitorenter和monitorexit指令实现的，monitorenter指令是在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束处和异常处。任何对象都有一个monitor与之关联，当且一个monitor被持有后，它将处于锁定状态；JVM要保证每个monitorenter必须有对应的monitorexit与之配对； * synchronized同步块对同一个线程来说是可重入的，不会出现自己把自己锁死的问题； * 如果锁对象是静态对象或Class时，可以认为是一个JVM进程全局锁； ### 总结 * synchronized特点：保证内存可见性、操作原子性 * synchronized影响性能的原因： 1、 加锁解锁操作需要额外操作； 2、 互斥同步对性能最大的影响是阻塞的实现，因为阻塞涉及到的挂起线程和恢复线程的操作都需要转入内核态中完成（用户态与内核态的切换的性能代价是比较大的） * synchronized锁：对象头中的Mark Word根据锁标志位的不同而被复用 * 偏向锁：在只有一个线程执行同步块时提高性能。Mark Word存储锁偏向的线程ID，以后该线程在进入和退出同步块时不需要进行CAS操作来加锁和解锁，只需简单比较ThreadID。特点：只有等到线程竞争出现才释放偏向锁，持有偏向锁的线程不会主动释放偏向锁。之后的线程竞争偏向锁，会先检查持有偏向锁的线程是否存活，如果不存活，则对象变为无锁状态，重新偏向；如果仍存活，则偏向锁升级为轻量级锁，此时轻量级锁由原持有偏向锁的线程持有，继续执行其同步代码，而正在竞争的线程会进入自旋等待获得该轻量级锁 * 轻量级锁：在当前线程的栈帧中建立一个名为锁记录（Lock Record）的空间，尝试拷贝锁对象目前的Mark Word到栈帧的Lock Record，若拷贝成功：虚拟机将使用CAS操作尝试将对象的Mark Word更新为指向Lock Record的指针，并将Lock record里的owner指针指向对象的Mark Word。若拷贝失败：若当前只有一个等待线程，则可通过自旋稍微等待一下，可能持有轻量级锁的线程很快就会释放锁。 但是当自旋超过一定的次数，或者一个线程在持有锁，一个在自旋，又有第三个来访时，轻量级锁膨胀为重量级锁 * 重量级锁：指向互斥量（mutex），底层通过操作系统的mutex lock实现。等待锁的线程会被阻塞，由于Linux下Java线程与操作系统内核态线程一一映射，所以涉及到用户态和内核态的切换、操作系统内核态中的线程的阻塞和恢复。 #### Java对象头 锁存在Java对象头里。如果对象是数组类型，则虚拟机用3个Word（字宽）存储对象头，如果对象是非数组类型，则用2字宽存储对象头。在32位虚拟机中，一字宽等于四字节，即32bit | 长度 | 内容 | 说明 | | :--- | :--- | :--- | | 32/64bit | Mark Word | 存储对象的hashCode或锁信息等 | | 32/64bit | Class Metadata Address | 存储到对象类型数据的指针 | | 32/64bit | Array length | 数组的长度（如果当前对象是数组） | Java对象头里的Mark Word里默认存储对象的HashCode，分代年龄和锁标记位。32位JVM的Mark Word的默认存储结构如下： | | 25bit | 4bit | 1bit是否是偏向锁 | 2bit锁标志位 | | :--- | :--- | :--- | :--- | :--- | | 无锁状态 | 对象的hashCode | 对象分代年龄 | 0 | 01 | 在运行期间Mark Word里存储的数据会随着锁标志位的变化而变化。Mark Word可能变化为存储以下4种数据：  在64位虚拟机下，Mark Word是64bit大小的，其存储结构如下：  ### 锁消除 ``` synchronized (new Object()) {} ``` 这段代码其实不会执行任何操作，你的编译器会把它完全移除掉，因为编译器知道没有其他的线程会使用相同的监视器进行同步