- 公平锁 & 非公平锁
- 共享锁 & 排他锁
AQS的底层是state, 以及监控这个state的双向链表
一个线程想要执行, 核心代码都是围绕state变量来的, 不管是公平的还是非公平的
private volatile int state; // The synchronization state.
非公平锁
一上来直接抢state: 先看下state是不是等于0, 如果等于0 , 就用compareAndSet的方式 ( 这个时候有可能其他的线程读到的也是0, 而且先一步抢着了 ) , 尝试改成1, 如果改成功了, 那就抢着了, 接着执行setExclusiveOwnerThread, 防止别人再来抢, 再return true告诉上层抢着了
addWaiter的优化: 用CAS保持线程的活跃, 防止线程被挂起
场景: 多个线程在链表的尾部添加Node
一般的做法, 用synchronized把整个链表锁住
Doug Lea是用无锁的方式compareAndSetTail(pred, node)
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;
}