安全组件组合模式，是一个类更容易成为线程安全的，并且在维护过程中不会无意中破坏类的安全性保证。
1设计线程安全的类
设计线程安全类 包含的三要素
找出构成对象状态的所有变量
找出约束状态变量的不变性条件
建立对象状态的并发访问管理策略
关键词： 对象状态 不变性条件 并发访问管理策略
1.1 收集同步需求
1.确保不变性条件 不会在并发访问的情况下被破坏（counter 封装 复合操作）
2.后验条件判断判断状态迁移是否有效
3.实现后验条件和不变性条件的约束，需要额外的同步与封装
1.2 依赖状态操作
先验条件
例子：队列为空不能删除
并发，先验条件可能为真
1.3 状态所有权
并发访问一个对象时避免产生相互干扰： 线程安全对象，事实不可变对象，有锁来保护的对象
2.实例封闭
标签：状态,组合,对象,并发,线程,条件,不变性 来源： https://www.cnblogs.com/maxm/p/10880035.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。