什么是线程安全?
通俗的讲就是多个线程访问同一代码不会产生不同的结果,反之就是非线程安全。
我们先来看一个例子:
public class TestThreadSync {
private int count=0;
public void sum() {
for (int i = 0; i <= 100; i++) {
count+=i;
}
System.out.println("The count-size:" + count);
}
class syncThread1 extends Thread {
@Override
public void run() {
sum();
}
}
public static void main(String[] args) {
TestThreadSync ts = new TestThreadSync();
syncThread1 t1 = ts.new syncThread1();
syncThread1 t2 = ts.new syncThread1();
t1.start();
t2.start();
}
}
上面的例子中有两个线程都想通过方法sum获得0到100的求和,但是因为公用变量count,结果会有不确定的值
第一组结果: 第二组结果:
The count-size:10100 The count-size:5050
The count-size:10100 The count-size:10100
什么情况下会产生线程安全问题?
从上面的例子中我们可以看出,线程1跟线程2拥有共享变量count,从而产生了线程安全问题,而实际情况中,当多个线程同时访问共享资源(线程共同享有进程占有的资源和地址空间)时,会产生线程安全问题。
如何解决线程安全问题?
基本上所有并发模式解决线程安全问题,都采用了同步互斥访问,即在同一时刻,只能有一个线程访问共享资源,也就是在访问共享资源的代码前面加上一个锁,当访问完共享资源后释放锁,让其他线程继续访问,当然也有采用将共享资源变为私有资源的策略,如threadLocal,这个我们会在后面讨论。
如在上面的例子中,我们将count变量变为sum方法的局部变量,如下图:
public class TestThreadSync {
// private int count=0;
public void sum() {
int count=0;
for (int i = 0; i <= 100; i++) {
count+=i;
}
System.out.println("The count-size:" + count);
}
class syncThread1 extends Thread {
@Override
public void run() {
sum();
}
}
public static void main(String[] args) {
TestThreadSync ts = new TestThreadSync();
syncThread1 t1 = ts.new syncThread1();
syncThread1 t2 = ts.new syncThread1();
t1.start();
t2.start();
}
}
结果就确定了:
The count-size:5050
The count-size:5050
上面的例子展示的是变量安全问题,下面我们来探讨如何采用同步互斥访问解决线程安全问题,首先我们的明白两个概念,同步与异步。
同步:
在同一时刻,只能有一个线程访问共享资源,也就是在访问共享资源的代码前面加上一个锁,当访问完共享资源后释放锁,其他线程才能继续访问
同步限制了并发访问,带来了性能损耗,但是提高了数据的完整性与正确性。
异步:
一个线程请求一个资源,该资源正在被另一个线程使用,请求资源线程仍然能使用该资源。
异步提高了cpu运行效率,但是容易出现冲突与脏读