构建 线程安全 类

 

设计前的准备：

• 确定对象状态由哪些变量构成
• 确定限制变量的不变约束
• 定制访问对象状态的策略

设计时应当遵循的规则：

• 若操作过程可能出现非法状态转换，则该操作必须是原子的
• 若存在某些非法状态，则必须封装该状态的状态变量，以免客户将对象置于非法状态
• 若类的状态变量独立，并且委托给了线程安全的对象，那么该类也是线程安全的
• 若不变约束涉及多个变量时，对这些变量的操作应该被锁保护
• 客户端加锁应当获得正确的锁
• java监视器模式可以将非线程安全的类变为线程安全的类
• 应该对创建的类添加关于并发的文档

什么的类是线程不安全：

       

       当一个类的实例为singleton的时候，你就要考虑该实例在调用的时候是否是线程安全的。
       最熟悉的例子就是servlet， 每个servlet在servlet engineer中只有一个实例。除非它实现SingleThreaded接口。所以我们一般要求在servlet中不要定义成员变量，以避免线程不安全。
       是不是凡是singleton的对象都不是线程安全的呢? 答案是No。

       准确的表达应该是：只有该类中定义了有状态的成员时该类才是线程不安全的。

      举个例子：
          public class A{
                 String id ;
                 public void process(){
                          print(id);
                          ...
                 }
         }

      id是一个有状态的变量。什么是有状态，就是指每次调用该类的时候如果该id值可能存在不同的值，那么这个id就是有状态的。

     

     我们再看看下面的例子。
          public class B{
                 public void process(){
                       int i;
                       int j;
          
                       println(i*y);
                 }
         }
      

      这个class B在单实例的情况下就是线程安全的。原因是：该类没有有状态的成员。i，j是局部变量，某个线程都会有自己的stack保存这些局部变量。所以对于不同线程来说,这些变量是相互不影响的。

       

     对于存在线程不安全的类,如何避免出现线程安全问题呢?
        1、采用synchronized同步(Java语言)。缺点就是存在堵塞问题。
        2、使用ThreadLocal(实际上就是一个HashMap，线程专有数据)(C语言),这样不同的线程维护自己的对象，线程之间相互不干扰。

 

总结:
       1、我们一般要求商业逻辑的BO为线程安全的类，这样就可以将该BO创建成一个单实例的对象，提高访问的效率。为了使BO为线程安全的对象，我们所要做的很简单，就是该类中不要有与状态相关的成员变量。