原子性
- 竞态关系
- 复合操作
我们还是以一段代码来理解这两点。
public class ThreadSecStudy {
static int count = 0;
public static void main(String[] args) {
// 正确性反例
Thread add = new Thread(new Runnable() {
public void run() {
for (int i = 0; i < 50000; i++) {
count++;
System.out.println(count);
}
}
});
Thread cut = new Thread(new Runnable() {
public void run() {
for (int i = 0; i < 50000; i++) {
count--;
System.out.println(count);
}
}
});
// 加法
add.start();
// 减法
cut.start();
}
}
我们的类方法中对count的操作看似只有一行count++和count–,但是实际上它做了三步操作,获取-修改-写入,拆分开来可以是这样写。
//获取
int tmpGet = count;
//修改
int tmpUpdate = count + 1;
//写入
count = tmpUpdate;
那么我们设想如果有多个线程同时对同一个变量做这三步操作,有没有可能出现如下这种情况呢?
线程1为加法,线程2为减法。
- count = 0
- =》线程1加入
- 线程1:获取操作 tmpGet = count = 0
- =》线程2加入
- 线程2:获取操作 tmpGet = count = 0
- 线程1:修改操作 tmpUpdate = count + 1 = 1
- 线程2:修改操作 tmpUpdate = count - 1 = -1
- 线程1:写入操作 count = tmpUpdate = 1
- 线程2:写入操作 count = tmpUpdate = -1
很明显-1这个结果是不对的,一加一减正确的结果应该是0才是正确的,那么这就出现了线程安全的问题了。
首先这个操作它属于复合操作,它是一个可以被拆分的操作,和线程安全性中的体现原子性是恰恰相反的。
并且当一个计算的正确性取决于多个线程的交替执行时序时,就会发生竞态条件。
加深理解
如果你的操作属于复合操作,那么在被多个线程交替执行时序时,内部可能会发生竞态条件,导致计算的结果正确性得不到保证,从而导致线程安全问题。
反之,如果确保了其操作的原子性,则不会发生竞态条件;而要保证原子性则要提供互斥访问,同一时刻只能有一个线程对数据进行操作
开发中如何做
最简单的也最常见的方式就是我们使用synchronized的时候,我们将复合操作合并成为一个符合原子性的操作,这样就保证了操作的原子性。
文章中出现的任何错误欢迎指正,共同进步!
最后做个小小广告,有对WEB开发和网络安全感兴趣的,可以加群一起学习和交流!
QQ:425343603