多线程编程是有趣的事情,它很容易出现错误的情况。这就是我在前面谈到关于线程安全的时候所说的火车票的例子。
作为线程同步的知识,还是直接上代码来的比较清晰,首先为什么要有线程同步呢?
首先自己书写一个线程类MyThread1
package mythread;
import java.util.ArrayList;
import java.util.List;
/**
* @author Hercules
* @version 创建时间:2020年5月25日 下午2:40:01
* 类说明
*/
public class MyThread1 implements Runnable{
private List<String> lists = new ArrayList<String>();
private static int count = 0;
public void getList() {
System.out.println(count);
System.out.println(lists);
}
public void update() {
count++;
lists.add(count+"a");
}
@Override
public void run() {
for(int i = 0;i<100;i++) {
update();
}
}
}
前面我的博客也提到了ArrayList它是线程不安全的。接下来再来写一个测试类:
package mythread;
/**
* @author Hercules
* @version 创建时间:2020年5月25日 下午2:45:24
* 类说明
*/
public class Test {
public static void main(String[] args) {
MyThread1 thread1 = new MyThread1();
Thread thread = new Thread(thread1);
thread.start();
Thread thread2 = new Thread(thread1);
thread2.start();
Thread thread3 = new Thread(thread1);
thread3.start();
Thread thread4 = new Thread(thread1);
thread4.start();
Thread thread5 = new Thread(thread1);
thread5.start();
Thread thread6 = new Thread(thread1);
thread6.start();
thread1.getList();
}
}
测试类中共有六个线程启动了,所以理论上来说私有成员变量lists中应该有600个数据了,因为有六个线程同时操作lists。但是实际的运行结果如下:
这里报了一个越界异常(这段程序的运行结果有不确定性,可能报越界异常,也可能报别的异常,当然也可能不报异常),但是请注意ArrayList的特性,ArrayList是自动扩容的,所以怎么可能越界呢?
答案是比如开始lists只能放10个数据,当第11个数据被一个线程送过来的时候,刚好开始扩容,但是当扩容没结束的时候,另一个线程又把数据放了进去这就产生了数组越界异常,而且可以看到上面的数据没有1a,并且还有null数据,那么这就是线程不同步造成的。
好,既然问题出现了就解决这个问题。第一种方法是将代码中的
private List<String> lists = new ArrayList<String>();
改成:private List<String> lists = new Vector<String>();
Vector是线程安全的所以不会出现上述问题,但是用Vector也会有一个难以解决的问题,下面我改成Vector来运行一下:
可以看到有些数据重复了,有些数据没有,并不是因为Vector的锅,而是方法的问题,具体症结在于
public void update() {
count++;
lists.add(count+"a");
}
在这个方法中,可能count刚刚变化,本次线程还没来得及执行add方法。下一个线程就又过来执行count++了,所以两次add方法加进去的元素是一样的。
还有第二种方法就是加同步锁了。代码如下:
将update方法改成如下形式:
public synchronized void update() {
count++;
lists.add(count+"a");
}
可以看到现在所有的数据都顺序打印了出来。
这个就是线程同步,我们刚才用的方法叫做同步方法:
public synchronized void update() {
count++;
lists.add(count+"a");
}
主要使用了synchronized 关键字。当给update方法加上了这个关键字,就相当于给这个方法上了一把同步锁,当第一个线程调用该方法的时候,会给方法加一个同步锁,其他线程如果调用这个方法就会阻塞(等待同步锁),当第一个线程执行完该方法,会释放同步锁,其他线程就会重新加入队列调用该方法和上厕所是一样的,比如厕所的坑位你把门锁上了,别人就进不来了,只有你完事儿了,别人才能进来办事。具体底层是什么,先不要问,这就涉及到了java虚拟机的东西,先把这一段话理解记住。
不过其实还有别的解决办法,同步块:
@Override
public void run() {
synchronized (lists) {
for (int i = 0; i < 100; i++) {
update();
}
}
}
把run方法改成上述代码,运行结果如下:
当线程执行时,会给lists添加同步锁,其他的线程就需要等待,直到第一个线程执行完代码块里面的内容,则释放同步锁,其他线程才会去加入队列继续执行线程