美文网首页
【java 多线程】安全的构造器

【java 多线程】安全的构造器

作者: 但莫 | 来源:发表于2017-03-05 15:47 被阅读0次

    测试和调试多线程程序是非常困难的,因为并发危险常常不会稳定的发生。多数线程问题都是不可预测的,可能不会发生在所有特定的平台(如单处理器系统)或低于某个特定水平荷载。因为测试多线程的正确性是很困难的,而且bug可能会花很长时间才能重现,所以,当我们开发程序是,要从一开始就考虑线程安全问题。

    危险的条件

    大多数并发危害归结为某种数据竞争。数据竞争或竞争条件,当多个线程或进程读写共享数据项,最终结果取决于线程的调度的顺序。清单1给出一个示例的一个简单的数据竞争实例,根据调度的线程可以打印0或1。

    public class DataRace {
      static int a = 0;
     
      public static void main() {
        new MyThread().start();
        a = 1;
      }
     
      public static class MyThread extends Thread {
        public void run() { 
          System.out.println(a);
        }
      }
    }
    

    第二个线程可能被马上调度,打印初始a的初始值0。此外,第二个线程可能不会立即执行,导致打印1。这个程序的输出结果依赖你使用的JDK,操作系统的调度。多运行几次会得到不同的结果。

    可见性危害

    在清代1 事实上还有另一个数据冲突,除了在第二个线程执行之前,第一个线程把a设置为1。第二个冲突时可见性冲突:两个线程没有使用 synchronization,如果第二个线程在第一个线程赋值a之后执行,第一个线程的赋值可能或不可能立刻对第二个线程可见。第二个线程可能看到的a还是0,计时线程1已经设置成了1,。

    这二类数据冲突,两个线程在没有适当的同步访问相同的变量,是一个复杂的问题,但幸运的是,你可以避免这类冲突利用同步,当你阅读一个变量,可能是由另一个线程写入的数据,或者写一个变量就被由另一个线程读取。我们不会对这类数据竞争在这里进一步探索,请看 "Synching up with the Java Memory Model" 侧边栏和相关课题组对这一复杂问题的更多信息。

    在构造方法中不要公布“this”指针

    将数据竞争引入到类中的一个错误是在构造函数完成之前将this引用暴露给另一个线程。有时引用是显式的,例如直接将其存储在静态字段或集合中,但其他时间可以是隐式的,例如在构造函数中向非静态内部类的实例发布引用时。构造函数不是普通的方法,它们具有初始化安全的特殊语义。在构造函数完成后,对象被假定为可预测的、一致的状态,并且对未完全构造对象的引用是危险的。清单2展示了将这种竞争条件引入构造函数的示例。它看起来无害,但它包含了严重并发问题的种子。

    public class EventListener { 
     
      public EventListener(EventSource eventSource) {
        // do our initialization
        ...
     
        // register ourselves with the event source
        eventSource.registerListener(this);
      }
     
      public onEvent(Event e) { 
        // handle the event
      }
    }
    

    初次检查,事件侦听器类看起来是无害的。侦听器的注册是一个新的对象,而另一个线程可能看到它,这是构造函数所做的最后一件事。但即使忽略所有的java内存模型(JMM)如在线程和内存访问排序能见度差异问题,这个代码仍然是不完全暴露在了危险事件侦听器对象的其他线程。考虑会发生什么时,EventListener是它的子类,如清单3所示:

    public class RecordingEventListener extends EventListener {
      private final ArrayList list;
     
      public RecordingEventListener(EventSource eventSource) {
        super(eventSource);
        list = Collections.synchronizedList(new ArrayList());
      }
     
      public onEvent(Event e) { 
        list.add(e);
        super.onEvent(e);
      }
     
      public Event[] getEvents() {
        return (Event[]) list.toArray(new Event[0]);
      }
    }
    

    因为java语言规范要求调用super()必须是子类构造方法的第一行代码。在子类完成初始化之前,我们尚未构造完成的event listener 已经注册到了event source。现在我们的list存在数据竞争。RecordingEventListener.onEvent()在调用时可能list还是默认值null,会抛出NullPointerException 异常。

    参考

    Safe construction techniques
    JSR 133 (Java Memory Model) FAQ

    相关文章

      网友评论

          本文标题:【java 多线程】安全的构造器

          本文链接:https://www.haomeiwen.com/subject/bfqegttx.html