Java并发编程学习笔记(二)——对象的共享

时间:2021-12-26 02:50:32

主要概念:可见性、重排序、失效数据、最低安全性、发布、逸出、线程封闭(Ad-hoc、栈封闭、ThreadLocal类)、不变性、Final域、事实不可变对象。

1、在没有同步的情况下,编译器、处理器以及运行时等都可能对操作的执行顺序进行一些意想不到的调整。在缺乏足够同步的多线程程序中,要想对内存操作的执行顺序进行判断,几乎无法得出正确的结论。

2、在多线程中使用共享且可变的long和double等类型的变量是不安全的,除非用关键字volatile来声明它们,或者用锁来保护他们。

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

4、volatile,被声明为volatile的变量不会被重排序,是一种比sychronized更轻量级的同步机制。

5、仅当volatile变量能简化代码的实现以及对同步策略的验证时,才应该使用它们。如果在验证正确性时需要对可见性进行复杂的判断,那么就不要使用volatile变量。volatile变量的正确使用包括:确保它们的自身状态的可见性,确保他们所引用对象的状态的可见性,以及标识一些重要的程序生命周期事件发生(例如,初始化或关闭)。典型用法:检查某个状态标记判断是否退出循环。

6、加锁机制既可以保证可见性,又可以保证原子性,volatile只能保证可见性。

7、不要在构造函数中,使this引用逸出。

8、ThreadLocal能使线程中的某个值与保存值的对象关联起来。ThreadLocal提供了get与set等访问接口或方法,这些方法为每个使用该变量的线程都存有一份独立的副本,因此get总是返回由当前线程在调用set时设置的最新值。

9、当某个频繁执行的操作需要一个临时对象,例如一个缓冲区,而同时又希望避免在每次执行时都重新分配该临时对象,就可以使用这项技术。

10、当框架代码需要判断当前运行的是哪一个事务时,只需从这个ThreadLocal对象中读取事务的上下文。

11、除非需要更高的可见性,否则应将所有的域都声明为私有域;除非需要某个域是可变的,否则应将其生米概念为final域。

12、即使在发布不可变对象的引用时没有使用同步,也仍然可以安全地访问该对象。为了维持这种初始化安全性的保证,必须满足不可变性的所有需求:状态不可修改,所有域都是final类型,以及正确的构造过程。

13、任何线程都可以在不需要额外同步的情况下安全地访问不可变对象,即使在发布这些对象时没有使用同步。

14、通过将一个键或者值放入Hashtable、synchronizedMap或者ConcurrentMap中,可以安全地将它发布给任何从这些容器中访问它的线程。

15、通过将某个元素放入Vector、CopyOnWriteArrayList、CopyOnWriteArraySet、synchronizedList活synchronizedSet中,可以将元素安全地发布到任何从这些容器中访问该元素的线程。

16、通过将某个元素放入BlockingQueue或者ConcurrentLinkedQueue中,可以将该元素安全的发布到任何从这些队列中访问该元素的线程。

17、要发布一个静态构造的对象,最简单和最安全的方式是使用静态的初始化器:

  public static Holder holder=new Holder(42);