JAVA并发编程之术语

• 目录

---

• 在写java并发编程时，常常会用到一些定义的术语，在每篇博客中解释又嫌麻烦，不写吧怕以后理解起来又不看懂，谨单独起一篇把使用到的术语记录一遍。
• 其它并发编程系列的博客使用术语的语法为 ^数字 ，数字代表下列术语对应的编号。

1. 状态

就是指变量，或指对象内部某个或所有变量的集合，也可以说是内存，具体情况具体分析，简单来说状态的改变就是变量值的改变。

2. 正确性

当线程访问某个类，某段代码或某个状态，它们能表现出的行为或值与代码的编写者或阅读者认为的结果一致。这个正确性不是精确的，而是指我们心中对代码的一把尺子，我觉得结果应该这样。书中描述为“所见即所知”。

3. 不变性

某个对象在被创建后其状态就不能被修改，那么这个对象就称为不可变对象，那这个对象就拥有不变性。

4. 不变性条件

让一个对象成为不可变对象的条件，从理论上说当满足以下条件时，对象才是不可变的：(1)、对象创建以后其状态就不能改变；(2)、对象的所有域都是final类型；(3)、对象是正确创造的(在对象创建期间，this引用没有溢出)。不变性条件也可指使某个对象为不可变对象的具体条件，如变量a是final类型等。

5. 先验条件

.针对方法，规定了在 调用方法（主体逻辑） 之前校验必须为真的条件，否则不指向

6.后验条件

针对方法，规定了在 调用方法（主体逻辑） 之后校验必须为真的条件，否则报出异常等处理措施