java并发编程实践

《java并发编程实践》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第二章构建线程安全应用程序第二章构建线程安全应用程序.................................................................12.1.什么是线程安全性...........................................................................................................22.2.Servlet的线程安全性.........................

2、..............................................................................52.3.同步与互斥.......................................................................................................................92.3.1线程干扰.....................................

3、..........................................................................92.3.2同步.....................................................................................................................112.4.同步与volatile......................................

4、...........................................................................132.5.活性................................................................................................................................142.6.ThreadLocal变量........................

5、....................................................................................152.7.高级并发对象.................................................................................................................19参考文献.......................................

6、.............................................................................................202.1.什么是线程安全性当对一个复杂对象进行某种操作时，从操作开始到操作结束，被操作的对象往往会经历若干非法的中间状态。这跟外科医生做手术有点像，尽管手术的目的是改善患者的健康，但医生把手术过程分成了几个步骤，每个步骤如果不是完全结束的话，都会严重损害患者的健康。想想看，如果一个医生切开患者的胸腔后要休三周假会怎么样

7、？与此类似，调用一个函数（假设该函数是正确的）操作某对象常常会使该对象暂时陷入不可用的状态（通常称为不稳定状态），等到操作完全结束，该对象才会重新回到完全可用的状态。如果其他线程企图访问一个处于不可用状态的对象，该对象将不能正确响应从而产生无法预料的结果，如何避免这种情况发生是线程安全性的核心问题。单线程的程序中是不存在这种问题的，因为在一个线程更新某对象的时候不会有其他线程也去操作同一个对象。（除非其中有异常，异常是可能导致上述问题的。当一个正在更新某对象的线程因异常而中断更新过程后，再去访问没有完全

8、更新的对象，会出现同样的问题）给线程安全下定义是比较困难的。很多正式的定义都比较复杂。如，有这样的定义：“一个类在可以被多个线程安全调用时就是线程安全的”。但是它不能帮助我们区分一个线程安全的类与一个线程不安全的类。实际上，所有线程安全的定义都有某种程序的循环，因为它必须符合类的规格说明——这是对类的功能、其副作用、哪些状态是有效和无效的、不可变量、前置条件、后置条件等等的一种非正式的松散描述(由规格说明给出的对象状态约束只应用于外部可见的