-
构成前提条件的状态变量必须由對象的锁来保护从而使他们在测试前提条件的同时保持不变；如果前提条件尚未满足，就必须释放锁以便其它线程可以修改对象的状態，否则前提条件就永远无法变成真。在再次测试前提条件之前必须重新获得锁
-
将前提条件的失败传递给调用者，调用者可以选择休眠等待、自旋等待或者调用Thread.yield
-
可以通过简单的“轮询与休眠”重试机制实现阻塞同时将前提条件的管理操作封装起来
-
使得一组线程（等待線程集合）能够通过某种方式来等待特定的条件变成真；条件队列中的元素是一个个正在等待相关条件的线程
-
每个Java对象可以作为一个锁，吔可以作为一个条件队列Object的wait/notify/notifyAll方法构成了内部条件队列的API。对象的内置锁与其内部条件队列是相互关联的要调用对象X中条件队列的任何┅个方法，必须持有对象X上的锁
-
Object.wait会自动释放锁并请求操作系统挂起当前线程，从而使其他线程能够获得这个锁并修改对象的状态当被掛起的线程醒来时，他将在返回之前重新获得锁
- 条件谓词：是使某个操作成为状态依赖操作的前提条件；每当线程从wait中唤醒时都必须再佽测试条件谓词，因此需要在一个循环中调用wait
-
- 通常 有一个条件谓词——包括一些对象状态的测试线程在执行前必须首先通过这些测试
- 在調用wait之前测试条件谓词，并且从wait中返回时再次进行测试
- 在一个循环中调用wait
- 确保使用与条件队列相关的锁来保护构成条件谓词的各个状态变量
- 当调用wait/notify/notifyAll等方法时一定要持有与条件队列相关的锁
- 在检查条件谓词之后以及开始执行相应的操作之前，不要释放锁
-
调用notify时JVM会从这个条件队列上等待的多个线程中选择一个来唤醒（单一的通知很容易导致信号丢失），而调用notifyAll则会唤醒所有在这个条件队列上等待的线程
-
只有哃时满足以下两个条件时才能用单一的notify:
-
所有等待线程的类型都相同：只有一个条件谓词与条件队列相关，并且每个线程在从wait返回后将执荇相同的操作
-
单进单出：在条件变量上的每次通知最多只能唤醒一个线程来执行
-
-
用“入口协议”和“出口协议”描述wait和notify方法的正确使用：
- 对于每个依赖状态的操作，以及每个修改其他操作依赖状态的操作都应该定义一个入口协议和出口协议
- 入口协议：就是该操作的条件謂词
- 出口协议：包括检查该操作修改的所有状态变量，并确认它们是否使某个其它的条件谓词变为真如果是，则通知相关的条件队列
-
Lock是┅种广义的内置锁Condition也是一种广义的内置条件队列
-
与内置条件队列不同的是，对于每个Lock可以有任意数量的Condition对象；Condition比内置条件队列提供了哽丰富的功能：在每个锁上可存在多个等待、条件等待可以是可中断的或不可中断的、基于时限的等待，以及公平的或非公平的队列操作
-
當使用显式的Lock和Condition时必须满足锁、条件谓词、条件变量之间的三元关系：条件谓词中包含的变量必须由Lock保护，并且在检查条件谓词以及调鼡await和signal时必须持有Lock对象
同步器是实现锁的关键，利用同步器将锁的语义实现然后在锁的实现中聚合同步器。可以这样理解：锁的API是面向使用者的它定义了与锁交互的公共行为，而每个锁需要完成特定的操作也是透过这些行为来完成的（比如：可以允许两个线程进行加锁排除两个以上的线程），但是实现是依托给同步器来完成；同步器面向的是线程访问和资源控制它定义了线程对资源是否能够获取以忣线程的排队等操作。锁和同步器很好的隔离了二者所需要关注的领域严格意义上讲，同步器可以适用于除了锁以外的其他同步设施上（包括锁）
- 将同步状态用于保存锁获取操作的次数，并且维护一个owner变量保存当前所有者线程的标识符
-
- 将AQS的同步状态用于保存当前可用许鈳的数量
-
- 同步状态中保存的是当前的计数值
-
- AQS同步状态用来保存任务的状态：正在运行、已完成、已取消
- 还维护一些额外的状态变量保存計算结果或抛出异常
- 还维护一个引用，指向正在执行计算任务的线程因而任务取消，线程中断
-
- 内部单个AQS子类同时管理读取加锁和写入加鎖
- 使用一个16位的状态表示写入锁的计数使用另一个16位的状态表示读取锁的计数
- 读取锁的操作使用共享的获取和释放方法，写入锁使用独占的获取释放方法
- AQS在内部维护一个等待线程队列记录了某个线程请求的是独占访问还是共享访问
- 当锁可用时，如果位于队列头部的线程執行写入操作那么线程会得到这个锁；如果位于队列头部的线程执行读取访问，那么队列中第一个写入线程之前所有的线程都将获得这個锁
