安全性 : 永远不会发生糟糕的事
活跃性 : 某个操作无法进行下去了
对状态访问操作进行管理,特别是共享(Shared)和可变(Mutable)的状态
多线程访问一个变量没有进行同步,处理方式:
- 不在线程之间共享该变量
- 变量不可变
- 访问同步
无状态的对象一定是线程安全的
竞态条件(Race Condition) : 依靠运气来确保某个事物的正确性。(典型 : 没有同步的计数器)
原子性操作 : Atomic 保证要么一起执行,要么一起不执行。可以无需synchronized
多个原子对象时,并无法一定保证不变性条件不被破坏。
内置锁/互斥锁/同步代码块
synchronized(lock){
// 讲代码块作为一个整体,保证了原子性
XXXXX
}
volatile变量 : 确保变量的更新操作通知到其他线程,弱的同步机制(一般作为中断、完成等的标志)
volatile变量使用条件:
- 只有单线程使用
- 该变量不会与其他状态变量一起纳入不变性条件中
- 访问变量时无需加锁
加锁机制可以确保可见性和原子性,volatile只能确保可见性