重入锁

crossoverJie · crossoverJie · commit 521a5865c70f · 2018-01-25T15:51:46.000+08:00
diff --git a/MD/ReentrantLock.md b/MD/ReentrantLock.md
@@ -4,6 +4,8 @@
 
 而 `ReentrantLock` 就是一个普通的类，它是基于 `AQS(AbstractQueuedSynchronizer)`来实现的。
 
+它是一个**重入锁**，一个线程获得了锁之后仍然可以**反复**的加锁，不会出现自己阻塞自己的情况。
+
 > `AQS` 是 `Java` 并发包里实现锁、同步的一个基础框架。
 
 
@@ -90,4 +92,67 @@ ReentrantLock 分为**公平锁**和**非公平锁**，可以通过构造方法
             return false;
         }
     }
-```
+```
+
+首先会判断 `AQS` 中的 `state` 是否等于0，0 就表示当前没有其他线程获得锁，当前线程就可以尝试获取锁。
+
+注意:尝试之前会利用 `hasQueuedPredecessors()` 方法来判断 AQS 的队列中中是否有其他线程，如果有则就不会尝试获取锁了(**这是公平锁特有的情况**)。
+
+如果队列中没有线程就利用 CAS 来将 AQS 中的 state 修改为1，也就是获取锁，获取成功则将当前线程置为获得锁的独占线程(`setExclusiveOwnerThread(current)`)。
+
+如果 `state` 大于 0 时，说明锁已经被获取了，则需要判断获取锁的线程是否为当前线程(`ReentrantLock` 支持重入)，是则需要将 `state + 1`，并将值更新。
+
+
+#### 写入队列
+如果 `tryAcquire(arg)` 获取锁失败，则需要用 `acquireQueued(addWaiter(Node.EXCLUSIVE), arg)` 将当前线程写入队列中。
+
+写入之前需要将当前线程包装为一个 `Node` 对象(`addWaiter(Node.EXCLUSIVE)`)。
+
+> AQS 中的队列是由 Node 节点组成的双向链表实现的。
+
+
+包装代码:
+
+```java
+    private Node addWaiter(Node mode) {
+        Node node = new Node(Thread.currentThread(), mode);
+        // Try the fast path of enq; backup to full enq on failure
+        Node pred = tail;
+        if (pred != null) {
+            node.prev = pred;
+            if (compareAndSetTail(pred, node)) {
+                pred.next = node;
+                return node;
+            }
+        }
+        enq(node);
+        return node;
+    }
+
+```
+
+首先判断队列是否为空，不为空时则将封装好的 `Node` 利用 `CAS` 写入队尾，如果出现并发写入失败就需要调用 `enq(node);` 来写入了。
+
+```java
+    private Node enq(final Node node) {
+        for (;;) {
+            Node t = tail;
+            if (t == null) { // Must initialize
+                if (compareAndSetHead(new Node()))
+                    tail = head;
+            } else {
+                node.prev = t;
+                if (compareAndSetTail(t, node)) {
+                    t.next = node;
+                    return t;
+                }
+            }
+        }
+    }
+```
+
+这个处理逻辑就相当于自旋加上 `CAS` 保证一定写入队列。
+
+
+
+ 
