首页 > 代码库 > Java并发编程实践之对象的组合

Java并发编程实践之对象的组合

---恢复内容开始---

1 对象组合的目的

  将一些现有的线程安全类组合成更大的组件,也是线程安全的;

  1.1 构造线程安全的类需要考虑:

    构成对象状态的所有变量;

    对象变量的不变性条件(对象的变量都有取值范围,要保证变量的取值都在这个范围内,

    否则,对象的状态就是无效的);

    建立对象状态的并发管理策略;

  1.2 类的不变性条件和类的后验条件

    不变性条件:变量都有一个取值范围,比如 long count,count的取值范围是Long.MIN_VALUE,Long.MAX_VALUE,

    再加上自己定义的count>=0;故count变量的不变性条件就是count>=0 && count <= Long.MAX_VALUE;

    后验条件:判断对象从一个状态A转到状态B是否是有效的;

  1.3 状态的所有权

    对象封装它拥有的状态,就拥有状态的所有权,也就是能改变状态;如果把这个对象的引用发布出去,那么对象就不是独占状态的所有权了,需要和其他的一起共享状态的所有权;

    

---恢复内容结束---

1 对象组合的目的

  将一些现有的线程安全类组合成更大的组件,也是线程安全的;

  1.1 构造线程安全的类需要考虑:

    构成对象状态的所有变量;

    对象变量的不变性条件(对象的变量都有取值范围,要保证变量的取值都在这个范围内,

    否则,对象的状态就是无效的);

    建立对象状态的并发管理策略;

  1.2 类的不变性条件和类的后验条件

    不变性条件:变量都有一个取值范围,比如 long count,count的取值范围是Long.MIN_VALUE,Long.MAX_VALUE,

    再加上自己定义的count>=0;故count变量的不变性条件就是count>=0 && count <= Long.MAX_VALUE;

    后验条件:判断对象从一个状态A转到状态B是否是有效的;

  1.3 状态的所有权

   对象封装它的状态,就拥有状态的所有权,也就是能改变状态;如果对象的引用发布出去,就不是对象独占状态的所有权了,就是和其他一起共享状态的所有权;

2.实例封闭

  对象A被封闭到另一个对象B里面,访问对象A的路径都是已知的,便于做到线程安全;如果数据被封闭到对象里面,要访问数据都要通过方法,从而更容易确保并发的时拿到正确的锁;

 

Java并发编程实践之对象的组合