摘要: 线程安全 在线程安全性的定义中,最核心的概念就是正确性。如果对线程安全性的定义是模糊的,那么就是因为缺乏对正确性的清晰定义 正确性的含义是,某个类的行为与其规范完全一致。在良好的规范中通常会定义各种不变性条件(Invariant)来约束对象的状态,以及定义各种后验条件(Postcondition)来 阅读全文
posted @ 2021-05-24 16:35 webzom 阅读(85) 评论(0) 推荐(0)