线程不安全现象
并发竞争: race condition
线程共享相同的内存空间地址
并发情况 允许多线程访问和修改相同变量&&顺序模型引入非顺序因素
Java提供了同步机制来保证
基本概念:
可变
共享
一个对象是否是线程安全的,取决于他是否被多个线程访问
保证线程安全需要程序同步
synchronized 独占锁
volatile
显示锁和原子变量
三种方法:
- 不要跨线程共享变量
- 使状态变为不可变
- 在访问的时候加入同步机制
定义: 多个线程访问类,外部不考虑同步、协调仍能保证正确性,这个类是线程安全的
无状态永远是线程安全的
竞争条件:
检查再运行(check-then-act)
检查到执行这段时间 检查结果可能会无效