1. AQS概述
- 全称: AbstractQueuedSynchronizer
- 目的: 提供一种用于构建锁和其他同步器的框架,用于控制对共享资源的访问。
2. 设计思想
- 基于队列的同步器: AQS使用一个FIFO队列来管理那些线程在等待某个资源。
- 公平性: 通过队列来确保先等待的线程先获得资源。
- 灵活性: 允许开发者自定义同步器的更多行为。
3. 核心概念
- state: 表示同步状态,通过CAS操作保证状态的原子性。
- exclusiveOwnerThread: 记录当前持有独占锁的线程。
4. 资源抢占
- CAS: 用于实现无锁的线程安全操作。
- UNSAFE: 用于执行低级别的内存操作。
5. 同步队列
- 双向链表: 所有等待的线程节点(Node)构成一个双向链表。
- head和tail: 表示队列的头部和尾部,AQS主要操作这两个节点。
6. 线程阻塞与唤醒
- LockSupport.park: 阻塞当前线程。
- LockSupport.unpark: 唤醒指定线程。
7. 线程通信
- Node结构: 包含线程引用(waiter)和状态(status),用于线程间的通信。
8. 被唤醒线程的行为
- 再次尝试抢占: 被唤醒的线程会再次尝试获取资源,而不是直接获得资源。
9. Condition队列
- await/signal: 类似于Object的wait/notify机制,用于线程间的协调。
10. 设计哲学
- 从使用到理解: 初学者学习如何使用,进阶者理解原理,高手思考设计原因。
11. 总结
- AQS是Java并发包的核心,理解其设计思想对于开发高性能并发应用至关重要。
- 设计者通过AQS展示了如何用一种通用的方式来处理并发问题,提供了构建各种锁和其他同步器的灵活性。