锁机制学习笔记

线程之间

ReentrantLock

ReentrantLock主要利用CAS+CLH队列来实现。它支持公平锁和非公平锁（即抢占锁），两者的实现类似。

synchronized

每个对象都有一个锁，也就是监视器（monitor）。
- synchronized语句：当源代码被编译成字节码的时候，会在同步块的入口位置和退出位置分别插入monitorenter和monitorexit字节码指令;
- synchronized方法：在Class文件的方法表中将该方法的access_flags字段中的synchronized标志位置1。这个在specification中没有明确说明。

进程之间

许多进程，它们共享各种资源，然而有很多资源一次只能供一个进程使用，这便是临界资源。注意临界资源指的是进程之间额。

信号量

对信号量的操作，主要是P操作（wait）和V操作（signal）。

应用之间

锁的设计考虑

• 锁状态判断要有原子性
  从读取锁的状态，到判断该状态是否为被锁，需要经历两步操作。如果不能保证这两步的原子性，就可能导致不止一个请求获取到了锁。
• 谁拿的锁，谁释放。
• 网络断开或主机宕机，锁状态要能清除。
• 可重入
• 避免惊群效应
  防止锁被释放后，许多等待方被唤醒，造成较大开销。
• 公平锁和非公平锁
  根据情况去考虑锁是否设计为可抢占的。
• 阻塞锁和自旋锁
  针对不同的使用场景，阻塞锁和自旋锁的效率也会有所不同。阻塞锁会有上下文切换，如果并发量比较高且临界区的操作耗时比较短，那么造成的性能开销就比较大了。但是如果临界区操作耗时比较长，一直保持自旋，也会对CPU造成更大的负荷。

常见实现

最普遍的外部存储空间就是数据库了，事实上也确实有基于数据库做分布式锁（行锁、version乐观锁），如quartz集群架构中就有所使用。除此以外，还有各式缓存如Redis、Tair、Memcached、Mongodb，当然还有专门的分布式协调服务Zookeeper，甚至是另一台主机。只要可以存储数据、锁在其中可以被多主机访问到，那就可以作为分布式锁的存储空间。

zookeeper实现

利用zk的顺序节点，取编号最小的节点作为拿到锁的节点，另外可以通过ThreadLocal存储进入的次数实现重入锁。具体实现见文章《分布式系统互斥性与幂等性问题的分析与解决》

redis实现

主要通过SETNX（即SET if Not eXists）来实现。为了防止主机宕机或网络断开之后的死锁，Redis没有ZK那种天然的实现方式，只能依赖设置超时时间来规避。

tair实现

与redis类似。

参考

分布式系统互斥性与幂等性问题的分析与解决 by 美团点评技术团队