摘要: 2.1 线程安全性 当多个线程访问某个类时,不论这些线程如何交替执行,这个类始终都能表现出正确的行为,且主调代码中不需要任何额外的同步或协同,则称这个类是线程安全的。 类不变性条件(Invariant):约束对象的状态 后验条件(Postcondition):约束对象操作的结果 保证正确的行为是指: 阅读全文
posted @ 2019-10-26 14:28 飞飞翔滴少年 阅读(160) 评论(0) 推荐(0) 编辑