What is Thread Safety?
-首先，重要的是如何定义'正确性'
-正确性即是：当我们使用他时，我们知道他应该如何运转。例如，我们有一个add(x,y)方法，那么我们知道他时做x和y的加法而不是其他的。
-线程安全的含义即是：当在多线程中使用他时，他的行为还是正确的。
<b>a class is thread‐safe when it continues to behave correctly when accessed from multiple threads. </b>A class is thread‐safe if it behaves correctly when accessed from multiple threads, regardless of the scheduling or interleaving of the execution of those threads by the runtime environment, and with no additional synchronization or other coordination on the part of the calling code.
<b>PS.</b>Stateless objects are always thread‐safe.
Race Condition
竞态条件(Race Condition)是指，某些条件由于不恰当的执行时序，出现不恰当的结果的一种情况。
最常见的竞态条件是[先判断状态，然后执行的场景]。
比如实例初始化，两个实例同时初始化，他们都判断当前没有实例，所以他们都做了初始化操作，这是就出现了两个实例，这一般不是期望的结果。(一般的，得到一个实例是希望得到一个类的单一实例对象。)
Intrinsic Locks
内置锁(Intrinsic Locks)是一种java本身带有的锁，由两部分组成，一是一个object作为锁(lock);一个是被这个锁包裹的代码块。Eg.
synchronized (<b>lock_part1</b>) {
// Access or modify shared state guarded by lock_part2
<b>doSomething...</b>
}
ps. 以关键字synchronized修饰的function是一个跨越整个方法体的代码块，他的锁是方法调用所在的对象。
Intrinsic Locks -> Reentrancy
内置锁的特性包括可重入(Reentrancy),可重入的意思是，这个锁可以被同一个线程多次进入，这样的特性使得内置锁的线程安全维度是线程级别而不是调用级别。
Reentrancy means that locks are acquired on a<b> per‐thread</b> rather than per‐invocation basis. Reentrancy is implemented by associating with each lock an acquisition count and an owning <b>thread</b>.
Locking and Visibility
共享同一个变量时，要求所有线程在同一个锁上同步。
volatile
一种比synchronized要轻的同步机制
3.5.4
update
- 20170409 初稿.
- 20170410 新增intrinsic locks,reentrancy读书笔记.
