锁分类（独占锁、分拆锁、分离锁、分布式锁）

在共享内存的多处理器体系架构中，每个处理器都拥有自己的缓存，并且定期地与主内存进行协调。
在不同的处理器架构中提供了不同级别的缓存一致性（Cache Coherence）,
- 其中一部分只提供最小的保证，即允许不同的处理器在任意时刻从同一个存储位置上看到不同的值。
操作系统、编译器以及运行时（有时甚至包括应用程序）需要弥合这种在硬件能力与线程安全之间的差异。

java内存模型

抽象出线程独有的运行内存和共有的主存储
为了使java开发人员无须关心不同架构内存模型之间的差异，
Java还提供了自己的内存模型，并且JVM通过在适当的位置上插入内存栅栏（内存屏障）来屏蔽在JVM与底层之平台内存模型之间的差异。
线程中的变量何时同步回到内存是不可预期的
- java内存模型规定，通过关键词”synchronized“、”volatile“可以让java保证某些约束。
- “volatile” - 保证读写的都是主内存变量。
- “synchronized” - 保证在块开始时，都同步主内存值到工作内存，而快结束时，将工作内存同步会主内存。

指令重排序：：

    public class PossibleReordering {
        static int x = 0, y = 0;
        static int a = 0, b = 0;

        public static void main(String[] args) throws InterruptedException {
            Thread one = new Thread(new Runnable() {

                @Override
                public void run() {
                    a = 1;
                    x = b;
                }
            });

            Thread two = new Thread(new Runnable() {

                @Override
                public void run() {
                    b = 2;
                    y = a;
                }
            });
            one.start();
            two.start();
            one.join();
            two.join();
            System.out.println("x:" + x + ",y:" + y);
        }
    }

执行结果，一般人可能认为是1，1；真正的执行结果可能每次都不一样。
拜JMM重排序所赐，JMM使得不同线程的操作顺序是不同的，
从而导致在缺乏同步的情况下，要推断操作的执行结果将变得更加复杂。
同步将限制编译器和硬件运行时对内存操作重排序的方式。

锁synchronized

锁实现了对临界资源的互斥访问，是严格的排它锁、互斥锁。
JVM规范通过两个内存屏障（memory barrier）命令来实现排它逻辑。
- 内存屏障可以理解成顺序执行的一组CPU指令，完全无视指令重排序。
类锁（锁是TestSTatic.class对象）、对象锁

独占锁

如果你不敢确定该用什么锁，就用这个吧，在保证正确的前提下，后续在提高开发效率。

分拆锁

如果将这些锁请求分到更多的锁上，就能有效降低锁竞争程度。
由于等待而被阻塞的线程将更少，从而可伸缩性将提高。
同时使用俩

分离锁

在某些情况下，可以将锁分解技术进一步扩展为对一组独立对象上的锁进行分解，这种情况称为锁分段
例如ConcurrencyHashMap是有一个包含16个锁的数组实现
锁分段的劣势在于：
- 与采用单个锁来实现独占访问相比，
- 要获取多个锁来实现独占访问将更加困难并且开销更高，
- 比如计算size、重hash。

分布式锁

zookeeper，判断临时节点是否存在，存在就说明已经有人争抢到锁；
不存在就创建节点，表明拥有该锁。

volatile

volatile是比synchronized更轻量级的同步原语，
volatile可以修饰实例变量、静态变量、以及数组变量（引用）。
被volatile修饰的变量，JVM规范规定，一个线程在修改完，另外的线程能读取最新的值。
仅仅保证可见性，不保证原子性

来源：oschina

链接：https://my.oschina.net/u/3847203/blog/2988502

标签

Coherence

java

ZooKeeper