并发编程初探-对象的共享

对象的共享

　　　1、可见性

　　　　在没有同步的状况下，编译器以及运行时等收可能对操做的执行顺序进行一些意想不到的调整，在缺少足够同步的多线程程序中，要想对内存操做的执行顺序进行判断，几乎没法获得正确的结论。

　　　　1.缺少同步的程序中可能出产生错误结果的一种状况：失效数据

　　　　2.非原子操做

　　　　　　当线程在没有同的状况下读取变量时，可能会获得一个失效值，但至少这个值是由某个线程设置的值，而不是一个随机值。这种安全性保证也被称为最低安全性。

　　　　　　最低安全性适用于绝大多数变量，可是存在一个例外：非volatile类中的64位数值变量。

　　　　　　Java内存模型要求，变量的读取操做和写入操做都必须是原子操做，但对非volatile类型的long和double变量,JVM容许将64位的读操做或写操做分解为两个32位操做。

　　　　　　当读取一个非volatile类型的long变量时，若是对该变量的读操做和写操做在不一样的线程中执行，俺么极可能会读到某个值得高32位和另外一个值得低32位。所以，即便不考虑失效数据问题，在多线程程序中使用共享可变的long和double等类型的变量也是不安全的。除非用关键字volatile来声明他们，或者用锁来保护起来。

　　　　3.加锁与可见性

　　　　　　加锁的含义不只仅局限于互斥行为，还包括内存可见性，为了确保全部线程都能看到共享变量的最新值，全部执行读操做或者写操做的线程必须在同一个锁上同步。

　　　　4.volatile变量

　　　　　　volatile变量，用来确保将变量的更新操做通知到其余线程。当变量声明为volatile类型后，编译器与运行时都会注意到这个变量是共享德的，所以不会将该变量上的操做与其余内存操做仪器重排序。

　　　　　　volatile变量不会被缓存在寄存器或者其余处理器不可见的地方，所以在读取volatile类型的变量时总会返回最新写入的值。

　　　　　　在访问volatile变量时会执行加锁操做，所以，也就不会执行线程阻塞，所以volatile变量时一种比synchronized关键字更轻量级的同步机制。

　　　　　　仅当volatile变量能简化代码的实现以及对同步策略的验证时，才应该使用它们。若是在验证正确性时须要对可见性进行复杂的判断，那么久不要使用volatile变量。volatile变量的正确性使用方式包括：确保它们自身状态的可见性，确保它们所引用对象的状态的可见性，以及标识一些更重要的程序生命周期事件的发生（例如，初始化或关闭）。

　　　　　　volatile变量的一种典型用法：检查某个标记状态以判断是否退出循环。

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

　　　　　　当且仅当知足一下全部条件时，才因该使用volatile变量：

　　　　　　　　a）对变量的写入操做不依赖变量的当前值，或者你能确保只有单个线程更新变量的值。

　　　　　　　　b）该变量不会与其余装调变量一块儿归入不变性条件中

　　　　　　　　c）在访问变量时不须要加锁

 　　2、发布与逸出

　　　　发布（Publish）一个对象的意思是指，是对象可以在当前做用域以外的代码中使用。

　　　　当某个不该该发布的对象被发布时，这种状况就被成为逸出（Escape）。 

　　　　发布对象的最简单的方法是将对象的引用保存到一个公有的静态变量中，以便任何类和线程都能看见该对象。

　　　　1.安全对象的构造过程

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

　　　　　当对象在其构造函数中建立一个线程时，不管是显式建立（经过将它传给构造函数）仍是隐式建立（由Thread或Runnable是该对象的一个内部类），this引用都会被新建立的线程共享。在对象还没有彻底构建以前，先的线程就能够看见它。在构造函数中建立线程并无错，可是最好不要当即启动它，而是经过一个start或initialize方法来启动。在构造函数中调用一个不可改写的实例方法时，一样会致使this引用在构造过程当中逸出。

 

　　3、线程封闭

　　　　当访问共享的可变数据时，一般须要使用同步。一种避免使用同步的方式就是不共享数据。若是仅在单线程内访问数据，就不须要同步，这种技术称为线程封闭（Thread Confinement）　，它是实现线程安全性的最简单方式之一。当某一个对象封闭在一个线程中时，这种用法将自动实现线程安全性，即便被封闭的对象自己不是线程安全的。

　　　　在Swing中大量使用了线程封闭技术。

　　　　线程封闭技术另外一种常见应用使JDBC的connection对象，JDBC规范并要求connection对象必须是线程安全的。在典型的服务器应用程序中，线程从链接池中获取一个connection对象，而且用该对象来处理请求，使用完成后再将对象返回给链接池。因为大多数请求都是由的单个线程采用同步的方式来处理，而且在connection对象返回以前，链接池不会再将它分配给其余线程，所以，这种链接管理模式在处理请求时隐含地将connection对象封闭在线程中。

　　　　在Java语言中并无强制规定某个变量必须锁来保护，一样在Java语言中也没有强制将一个对象封闭在 某个线程中。线程封闭式在程序设计中的一个考虑因素，必须在程序中实现，Java语言及核心库提供了一些机制来帮助维持线程封闭性，例如局部变量和ThreadLocal类，但即使如此，程序员仍然须要负责确保在线程中的对象不会从线程中逸出。

　　　　1.Ad_hoc线程封闭

　　　　Ad_hoc线程封闭是指，维护线程封闭性的职责彻底由程序实现类承担，Ad_hoc线程封闭式很是脆弱的，由于没有任何一种语言特性，例如可见性修饰符或局部变量，能将对象封闭到目标线程上。

　　　　当决定使用线程封闭技术时，一般是由于要将某个特定的子系统实现为一个单线程子系统。在某种状况下，单线程子系统提供的简便性要赛过Ad_hoc线程封闭技术的脆弱性。使用单线程子系统的另外一个缘由是为了不死锁。

　　　　2.栈封闭

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

　　　　若是在线程内部上下文中使用非线程安全的对象，那么该对象仍然是线程安全的。

　　　　

　　　　3.ThreadLocal类

　　　　维持线程封闭的一种更规范的方法是ThrashLocal，这个类能使线程中的某个值域保存值得对象关联起来。ThreadLocal提供了get和set等访问接口或方法，这些方法为每一个使用该变量的线程都存有一份独立的副本，所以get老是返回由当前执行线程在调用set时设置的最新值。

　　　　ThreadLocal对象一般用于防止对可能的单实例变量或全局变量进行共享。

　　　　当某个频繁执行的操做须要一个临时变量的操做须要一个临时变量，例如一个缓冲区，而同时又但愿避免在每次执行时都更新分配该对象，就可使用这项技术。

　　　　ThreadLocal变量相似于全局变量，它能下降代码可重用性，并在类之间引入隐含的耦合性，所以在使用时要格外当心。

 

　　　　4.不变性

 　　　　知足同步的另外一种方法是使用不可变对象（Immutable Object）。

　　　　若是某个对象被建立后其状态不能被修改，那么这个对象就被称为不可变对象。线程安全性是不可变对象的固有属性之一，它们的不变性条件是由构造函数建立的，只要它们不改变，那么这些不变性条件就能得以维持。

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

　　　　1）对象建立之后其状态就不能修改

　　　　2）对象的全部域都是final类型

　　　　3）对象是正确建立的（在对象的建立期间，this引用没有逸出）

　　　　final域：关键字final能够视为C++中const机制的一种受限版本，用于构造不可变对象。final类型的域是不能修改的（可是若是final域引用的对象是可变的，那么这些被引用的对象是能够修改的）。final域能确保初始化过程的安全性，从而能够不受限制地访问不可变对象，并在共享这些对象时无需同步。除非须要更高的可见性，不然应将全部的域都声明为私有域。除非须要某个域是可变的，不然应将其声明为final域。

　　　　对于在访问和更新多个相关变量时出现的竞争问题，能够经过将这些变量所有保存在一个不可变对象中来消除，若是是一个可变的对象，那么当线程得到了该对象的引用后，就没必要担忧另外一个线程会修改对象的状态。若是要更新这些变量，那么能够建立一个新的容器，但其余使用原有对象的线程，仍然会看到对象处于一致的状态。

　　　　

　　　　5.安全发布

　　　　不正确的发布：正确的对象被破坏。不能期望一个还没有被彻底建立的对象拥有完整性。

　　　　不可变对象与初始化安全性：任何线程均可以在须要额外的同步的状况下安全地访问不可变对象，即便在发布这些对象是没有使用任何同步。

　　　　1.安全发布的经常使用模式：

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

　　　　　　a)在静态初始化函数中初始化一个对象引用　　　　

　　　　　　b)将对象的引用保存到volatile类型的域或者AtomitReference对象中

　　　　　　c）将对象的引用保存到某个正确构造对象的final类型域中

　　　　　　d）将对象的引用保存到一个由锁保护的域中

　　　　2）线程安全库中的容器提供了一下的安全发布保证：

　　　　　　a）经过将一个键或者值放入Hashtable，SynchronizedMap或者ConscurrentMap中能够安全的将它发布给任何从这些容器中访问的线程（不管是直接访问仍是经过迭代器访问）。

　　　　　　b）经过将某个元素放入Vector，CopyOnWriteArrayList，CopyOnWriteArraySet，SynchronizedList或SynchronizedSet中，能够将该元素安全的发布到任何从这些容器中访问该元素的线程。

　　　　　　c）经过将某个元素放入BlockingQueue或者ConcurrentLinkedQueue中，能够将该元素安全地发布到从这些队列中访问该元素的线程。

　　　　3）一般要发布一个静态构造的对象，最简单和安全的方式是使用静态的初始化器。静态初始化器由JVM在类的初始化阶段执行。因为在JVM内部存在着同步机制，所以经过这种方式初始化的任何对象均可以被安全地发布。

　　　　2.事实不可变对象

　　　　　若是一个对象从技术上来看是可变的，但其状态在发布后不会再改变，那么这种对象称为“事实不可变对象”。在没有额外的同步的状况下，任何线程收能够安全地使用被安全发布的事实不可变对象。

　　　　3.可变对象

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

　　　　　1）不可变对象能够经过任意机制来发布

　　　　　2）事实不可变对象必须经过安全发布方式来发布

　　　　　3）可变对象必须经过安全方式来发布，而且必须是线程安全的或者由某个锁保护起来

　　　　4.安全共享对象

　　　　　在并发程序中使用和共享对象是可使用一些实用的策略，包括：

　　　　　1）线程封闭：线程封闭的对象只能由一个线程拥有，对象被封闭在该线程中，而且只能由这个线程修改

　　　　　2）只读共享：在没有额外天同步的状况下，共享的只读对象能够由多个线程并发访问，但任何线程都不能修改它。共享的只读对象包括不可变对象和事实不可变对象

　　　　　3）线程安全共享：线程安全的对象在其内部实现同步，所以多个线程能够经过对象的公有接口来访问为不须要进一步的同步

　　　　　4）保护对象：被保护的对象只能经过持有特定的锁来访问。保护对象包括封装在其余线程安全对象中的对象，以及发布的而且由某个特定锁保护的对象。