3对象的共享

加锁机制既可以确保可见性又可以确保原子性，而volatile变量只能确保可见性。

volatile变量的使用条件如下：

• 对变量的写入操作不依赖变量的当前值，或者你能确保只有单个线程更新变量的值。
• 该变量不会与其他状态变量一起纳入不变性条件中。
• 在访问变量是不需要加锁。

“发布(Publish)”一个对象的意思是指，使对象能够在当前作用域之外的代码中使用。

当某个不应该发布的对象被发布时，这种情况就被称为“逸出”。

不要在构造过程中使用this逸出。

如果仅在单线程内访问数据，就不要同步。这种技术被称为 线程封闭。

栈封闭是线程封闭的一种特例，在栈封闭中，只能通过局部变量才能访问对象。局部变量固有属性之一就是封闭在执行线程中。

ThreadLocal类(维持线程封闭性的一种更规范的方法)，这个类能够使线程中的某个值与保存值的对象关联起来。ThreadLocal提供了get与set等访问接口或方法，这些方法使每个使用该变量的线程都存有一份独立的副本，因此get总是返回与当前执行线程在调用set时设置的最新值。ThreadLocal对象通常用于防止对可变的单实例对象变量或全局变量进行共享。

不可变性，满足同步需求的另一种方法就是使用不可变对象。如果某个对象在被创建后其状态就不能被修改，那么这个对象就称为不可变对象。不可变对象一定是线程安全的。

final类型的域中可以保存对可变对象的引用。

当满足以下条件时，对象才是不可变的：

• 对象创建以后其状态就不能被修改
• 对象的所有域都是final类型的
• 对象是正确创建的（在对象创建期间，this引用没有逸出）

任何线程都可以在不需要额外同步的情况下安全地访问不可变对象，即使在发布这些对象时没有使用同步。然而，如果final类型的域指向的是可变对象，那么在访问这些域所指向的对象的状态时任然需要同步。

要安全发布一个对象，对象的引用及对象的状态必须同时对其他线程可见。一个正确构造的对象可以通过以下方式来安全地发布：

• 在静态初始化函数中初始化一个对象的引用。
• 将对象的引用保存到volatile类型的域或者AtomicReferance对象中。
• 将对象的引用保存到某个正确构造对象的final类型域中。
• 将对象的应用保存到一个由锁保护的域中。

事实不可变对象

如果对象从技术上来看是可变的，但其状态在对象发布后不会在改变，那么把这种对象称为“事实不可变对象(Effectively Immutable Object)”。

在没有额外同步的情况下，任何的线程都可以安全地使用被安全发布的事实不可变对象。

对象的发布需求取决于它的可变性：

• 不可变对象可以通过任意机制来发布。
• 事实不可变对象必须通过安全机制来发布。
• 可变对象必须通过安全方式来发布，并且必须是线程安全的或者由某个锁保护起来。

在并发编程中使用和共享对象时，可以使用一些使用的策略，包括：

• 线程封闭。线程封闭的对象只能由一个线程拥有，对象被封闭在这个线程中，并且只由这个线程修改。
• 只读共享。在没有额外同步的情况下，共享只读的对象可以由多个线程并发访问，但任何线程都不能修改它。共享只读对象包括不可变对象和事实不可变对象。
• 线程安全共享。线程安全的对象在其内部实现同步，因此多个线程可以通过对象的公有接口来进行访问而不需要进一步同步。
• 保护对象。被保护的对象只能持有特定的锁来访问。保护对象包括封装在其他线程安全对象中的对象，以及发布的由某个特定锁保护的对象。