读书笔记-----Java并发编程实战(一)线程安全性

线程安全类:在线程安全类中封装了必要的同步机制,客户端无须进一步采取同步措施

示例:一个无状态的Servlet

1 @ThreadSafe
2 public class StatelessFactorizer implements Servlet{
3         public void service(ServletRequest req,ServletResponse resp){
4             BigInteger i = extractFromRequest(req);
5             BigInteger[] factors = factor(i);
6             encodeIntoResponse(resp,factors);
7         }
8 }

这个类是无状态的,因为它既不包含任何域,也不包含任何对其他类中域的引用,计算过程中用到的变量是局部变量没有被共享。

无状态对象一定是线程安全的。

 

在并发编程中,由于不恰当执行时序而出现不正确结果的情况,称为竞态条件。

最常见的竞态类型就是先检查后执行操作:比如单例中的延迟初始化。

像递增,递减操作看上去只有一个操作,但这个操作并非原子的,会导致结果变得不可靠。这种情况称为:读取-修改-写入的复合操作,也是竞态类型的一种。

对于这些竞态条件类型的操作可以加上同步锁,或者使用一个现有的线程安全类。

如:

 1  @ThreadSafe
 2  public class CountingFactorizer implements Servlet{
 3          private final AtomicLong count = new AtomicLong(0);
 4          public long getCount(){return count.get();}
 5          public void service(ServletRequest req,ServletResponse resp){
 6              BigInteger i = extractFromRequest(req);
 7              BigInteger[] factors = factor(i);
 8              count.incrementAndGet();
 9              encodeIntoResponse(resp,factors);
10          }
11  }

在java.util.concurrent.atomic包中包含了一些原子变量类,用于实现在数值和对象引用上的原子状态转换。

注意:当在不变性条件中涉及多个变量时,各个变量间并不是彼此独立的,而是某个变量的值会对其他变量的值产生约束。因此,当更新某一个变量时,需要在同一个原

子操作中对其他变量同时更新

 

重入:当某个线程请求一个由其他线程持有的锁时,发出的请求线程会被阻塞。然而内置锁是可以重入的,因此某个线程试图获得一个已经由他自己持有的锁,那么这个请求就会成

功。

这个过程可以描述为:线程请求一个未被持有的锁,JVM记下这个新的锁持有者,计数值置为1,当这个线程再次获取这个锁,计数值将递增。当线程退出同步代码块时,计数器会相

应的递减。当计数值为0时,这个锁将被释放。

示例:

 1 public class Widget{
 2      public synchronized void doSomething(){
 3              ...
 4       }
 5 }
 6 
 7 public class LoggingWidget extends Widget{
 8       public synchronized void doSomething(){
 9                  super.doSomething();
10       }
11 }

使用锁保护时,对于包含多个变量的不变性条件,其中涉及的所有变量都需要由同一个锁来保护。

注意:当执行时间较长的计算或者无法快速完成的操作时,一定不要持有锁。

 

读书笔记-----Java并发编程实战(一)线程安全性,古老的榕树,5-wow.com

郑重声明:本站内容如果来自互联网及其他传播媒体,其版权均属原媒体及文章作者所有。转载目的在于传递更多信息及用于网络分享,并不代表本站赞同其观点和对其真实性负责,也不构成任何其他建议。