目录
线程安全性
对象的共享
线程封闭
对象的发布
无状态对象一定是线程安全的。要保持状态的一致性，就需要在单个原子操作中更新所有相关的状态变量。
线程安全：当多个线程访问某个类时，这个类始终都表现出正确的行为，那么这个类是线程安全的。
“重入”意味着获取锁的操作的粒度是”线程”，而不是调用。重入的一种实现方法是，为每一个锁关联一个获取计数值和一个所有者线程。当计数值为0时，这个锁就被认为是没有被任何线程所持有，当线程请求一个未被持有的锁时，JVM将记下锁的持有者，并且将获取计数值置为1，如果同一个线程再次获取这个锁，计数值将递增，而当线程退出同步代码块时，计数器会相应地递减。当计数值为0时，这个锁将被释放。
如果用同步来协调对某个变量的访问，那么在访问这个变量的所有位置上都需要使用同步。而且，当使用锁来协调多某个变量的访问时，在访问变量的所有位置上都要使用同一个锁。对于可能被多个线程同时访问的可变状态变量，在访问它时都需要持有同一个锁，在这种情况下，我们称状态变量是由这个锁保护。
加锁的含义不仅仅局限于互斥行为，还包括内存可见性。为了确保所有线程都看到共享变量的最新值，所有执行读操作或者写操作的线程都必须在同一个锁上同步。不要在构造过程中使this引用溢。
Volatile变量：当变量声明为volatile类型后，编译器与运行时都会注意到这个变量是共享的，因此不会将该变量上的操作与其他内存操作进行重排序。volatile变量不会被缓存在寄存器或者其他处理器不可见的地方，因此读取volatile变量总会返回最新写入的值。
栈封闭：只能通过局部变量访问对象，位于执行线程的栈中其他线程无法访问。
ThreadLocal对象通常用于防止对可变的单实例变量或全局变量进行共享。 假设你需要将一个单线程应用程序移植到多线程环境中，通过将共享的全局变量转换为ThreadLocal对象（如果全局变量的语义允许），可以维持线程安全性。
ThreadLocal变量类似于全局变量，它能降低代码的可重用性，并在类之间引入隐含的耦合性，因此在使用时要格外小心。
当满足以下条件时，对象才是不可变的：
1、对象创建完之后其状态就不能修改
2、对象的所有与都是 final 类型
3、对象时正确创建的（创建期间没有 this 的逸出）
满足以下条件的对象才是不可变的：
对象创建后其状态不能修改；对象所有域都是final；对象是正确创建的，this引用没有逸出
final类型的域是不能修改的，除了这一点外，在Java内存模型中，final域还有着特殊的语义，final域能确保初始化过程的安全性，从而可以不受限制地访问不可变对象，并在共享这些对象时无须同步。具体而言，就是被final修饰的字段在构造器中一旦被初始化完成，并且构造器没有把“this”的引用传递出去（this引用逃逸是一件很危险的事情，其他线程有可能通过这个引用访问到“初始化了一半”的对象），那么在其他线程中就能看到final字段的值，而且其外、外部可见状态永远也不会改变。它所带来的安全性是最简单最纯粹的。正如“除非需要更高的可见性，否则应将所有的域都声明为私有域”是一个良好的编程习惯，“除非需要某个域是可变的，否则应将其声明为final域”也是一个良好的编程习惯。
如果对象在发布后不会被修改，那么对于其他在没有额外同步的情况下安全地访问这些对象的线程来说，安全发布是足够的。所有的安全发布机制都能确保，当对象的引用对所有访问该对象的线程可见时，对象发布时的状态对于所有线程也将是可见的，并且如果对象状态不会再改变，那么就足以确保任何访问都是安全的。
如果对象从技术上来看是可变的，但其状态在发布后不会再改变，那么把这种对象称为“事实不可变对象（Effectively Immutable Object）”。这些对象不需要满足之前提出的不可变性的严格定义。在这些对象发布后，程序只需将它们视为不可变对象即可。通过使用事实不可变对象，不仅可以简化开发过程，而且还能由于减少了同步而提高性能。
在没有额外的同步的情况下，任何线程都可以安全地使用被安全发布的事实不可变对象。
许多人担心这种方式会带来性能问题，但这是没必要的。内存分配的开销比你想象的还要低，并且不可变对象还会带来其他优势，例如：减少了对加锁或者保护性副本的需求，以及降低对基于“代”的垃圾收集机制的影响。
即使某个对象的引用对其他线程是可见的，也并不意味着对象状态对于使用该对象的线程来说一定是可见的。为了确保对象状态能呈现出一致的视图，就必须使用同步。
任何线程都可以在不需要额外同步的情况下安全地访问不可改变对象，即使在发布这些对象时没有使用同步。
安全地发布一个对象，对象的应用以及对象的状态必须同时对其他线程可见。一个正确构造的对象可以通过以下方式来安全地发布：
1、在静态初始化函数中初始化一个对象引用
2、将对象的应用保存到volatile类型的域或者AtomicReferance对象中
3、将对象的引用保存到某个正确构造对象的final类型域中
4、将对象的引用保存到一个由锁保护的域中。
在线程安全容器内部的同步意味着，在将对象放入到某个容器，例如Vector或synchronizedList时，将满足上述最后一条需求。如果线程A将对象X放入一个线程安全的容器，随后线程B读取这个对象，那么可以确保B看到A设置的X状态，即便在这段读/写X的应用程序代码中没有包含显式的同步。尽管Javadoc在这个主题上没有给出很清晰的说明，但线程安全库中的容器类提供了以下的安全发布保证：
1、通过将一个键或者值放入Hashtable、synchronizedMap或者ConcurrentMap中，可以安全地将它发布给任何从这些容器中访问它的线程（无论是直接访问还是通过迭代器访问）
2、通过将某个元素放入Vector、CopyOnWriteArrayList、CopyOnWriteArraySet、synchronizedList或synchronizedSet中，可以将该元素安全地发布到任何从这些容器中访问该元素的线程
3、通过将某个元素放入BlockingQueue或者ConcurrentLinkedQueue中，可以将该元素安全地发布到任何从这些队列中访问该元素的线程。
类库中的其他数据传递机制（例如Future和Exchanger）同样能实现安全发布。
通常，要发布一个静态构造的对象，最简单和最安全的方式是使用静态的初始化器：
对象的发布需求取决于它的可变性：
1、不可变对象可以通过任意机制来发布
2、事实不可改变必须通过安全方式发布
3、可变对象必须通过安全方式发布，并且必须是线程安全的或者由某个锁保护起来、
如果在一个不变性条件中包含多个变量，那么在执行任何访问相关变量的操作时操作时，都必须持有保护这些变量的锁。
将数据封装在对象内部，可以将数据的访问限制在对象的方法上，从而更容易确保线程在访问数据时总能持有正确的锁。
客户端加锁是指：对于使用某个对象X的客户端代码，使用X本身用于保护其状态的锁来保护这段客户代码。要使用客户端加锁，你必须知道对象X使用的是哪一个锁。
活跃性和性能：通过缩小同步代码块的作用范围，确保同步代码块不能过小，并且不要将本应是原子的操作拆分到多个同步代码块中，应该尽量将不影响共享状态且执行时间较长的操作从同步代码块分离出去，从而在这些操作的执行过程中，其他线程可以访问共享状态。当执行时间较长的计算或者可能无法快速完成的操作时如IO操作一定不要持有锁
总结：在并发程序使用和共享对象时，使用的策略如下：
线程封闭：线程封闭的对象只能由一个线程拥有，对象被封闭在该线程中，并且只能由这个线程修改只读共享：在没有额外同步的情况下，共享的只读对象可以由多个线程并发访问，任何线程都不能修改线程安全共享：线程安全的对象在其内部实现同步，因此多个线程可以通过对象的公有接口来进行访问而不需要进一步的同步保护对象：被保护的对象只能通过持有特定的锁来访问，保护对象包括封装在其他线程安全对象中的对象，以及已发布的并且由某个特定锁保护的对象