一、什么时候会出现线程安全问题?
在单线程中不会出现线程安全问题,而在多线程编程中,有可能会出现同时访问同一个资源的情况,这种资源可以是各种类型的资源:一个变量、一个对象、一个文件、一个数据库表等,而当多个线程同时访问同一个资源的时候,就会存在一个问题:
由于每个线程执行的过程是不可控的,所以很可能导致最终的结果与实际上的愿望相违背或者直接导致程序出错。
举个简单的例子:
现在有两个线程分别从网络上读取数据,然后插入一张数据库表中,要求不能插入重复的数据。
那么必然在插入数据的过程中存在两个操作:
1)检查数据库中是否存在该条数据;
2)如果存在,则不插入;如果不存在,则插入到数据库中。
假设两个线程分别用thread-1和thread-2表示,某一时刻,thread-1和thread-2都读取到了数据X,那么可能会发生这种情况:
thread-1去检查数据库中是否存在数据X,然后thread-2也接着去检查数据库中是否存在数据X。
结果两个线程检查的结果都是数据库中不存在数据X,那么两个线程都分别将数据X插入数据库表当中。
这个就是线程安全问题,即多个线程同时访问一个资源时,会导致程序运行结果并不是想看到的结果。
这里面,这个资源被称为:临界资源(也有称为共享资源)。
也就是说,当多个线程同时访问临界资源(一个对象,对象中的属性,一个文件,一个数据库等)时,就可能会产生线程安全问题。
不过,当多个线程执行一个方法,方法内部的局部变量并不是临界资源,因为方法是在栈上执行的,而Java栈是私有的,因此不会产生线程安全问题。
二、如何解决线程安全问题?
那么一般来说,是如何解决线程安全问题的呢?
基本上所有的并发模式在解决线程安全问题时,都采用“序列化访问临界资源”的方案,只能有一个线程访问临界资源,也称作同步互斥访问。
通常来说,是在访问临界资源的代码前面加上一个锁,当访问完临界资源后释放锁,让其它线程继续访问。
在Java中,提供了两种方式来实现同步互斥访问:synchronized和Lock。
本文主要讲述synchronized的使用方法,Lock的使用方法在下一篇博文中讲述。
三、synchronized同步方法或者同步块
在了解synchronized关键字的使用方法前,我们先来看一个概念:互斥锁,顾名思义:能达到互斥目的的锁。
举个简单的例子:如果对临界资源加上互斥锁,当一个线程在访问临界资源时,其它线程便只能等待。
在Java中,每一个对象都拥有一个锁标记(monitor),也称为监视器。
在Java中,可以使用synchronized关键字来标记一个方法或者代码块,当某个线程调用该对象的synchronized方法或者synchronized代码块时,这个线程便获得了该对象的锁,其它线程暂时无法访问这个方法,只有等待这个方法执行完毕或者代码块执行完毕,这个线程才会释放该对象的锁,其它线程才能执行这个方法或者代码块。
下面通过几个简单的例子来说明synchronized关键字的使用:
1、synchronized方法
下面这段代码中两个线程分别调用insertData对象插入数据:
1 package com.meng.javalanguage.thread.test; 2 3 import java.util.ArrayList; 4 5 public class MySynchronizedTest { 6 7 public static void main(String[] args) { 8 final InsertData insertData = new InsertData(); 9 10 new Thread() { 11 public void run() { 12 insertData.insert(Thread.currentThread()); 13 }; 14 }.start(); 15 16 new Thread() { 17 public void run() { 18 insertData.insert(Thread.currentThread()); 19 } 20 }.start(); 21 } 22 23 } 24 25 class InsertData { 26 private ArrayList<Integer> arrayList = new ArrayList<Integer>(); 27 28 public void insert(Thread thread) { 29 for(int i = 0;i < 5;i++){ 30 System.out.println(thread.getName() + "在插入数据" + i); 31 arrayList.add(i); 32 } 33 } 34 }
此时程序的输出结果为:
说明两个线程在同时执行insert方法。
而如果在insert方法前面加上关键字synchronized的话,运行结果为:
1 class InsertData { 2 private ArrayList<Integer> arrayList = new ArrayList<Integer>(); 3 4 public synchronized void insert(Thread thread) { 5 for(int i = 0;i < 5;i++){ 6 System.out.println(thread.getName() + "在插入数据" + i); 7 arrayList.add(i); 8 } 9 } 10 }
输出结果:
从上面输出结果说明,Thread-1插入数据是等Thread-0插入完数据之后才进行的。说明Thread-0和Thread-1是顺序执行insert方法的。
这就是synchronized方法。
不过有几点需要注意:
1)当一个线程正在访问一个对象的synchronized方法,那么其它线程不能访问该对象的其它synchronized方法。这个原因很简单,因为一个对象只有一把锁,当一个线程获取了该对象的锁之后,其它线程无法获取该对象的锁,所以无法访问该对象的其它synchronized方法。
2)当一个线程正在访问一个对象的synchronized方法,那么其它线程能访问该对象的非synchronized方法。这个原因也很简单,访问非synchronized方法不需要获取该对象的锁,假如一个方法没用synchronized关键字修饰,说明它不会使用到临界资源,那么其它线程是可以访问这个方法的。
3)如果一个线程A需要访问对象object1的synchronized方法fun1,另一个线程B需要访问对象object2的synchronized方法fun1,即使object1和object2是同一类型,也不会产生线程安全问题,因为它们访问的是不同的对象,所以不存在互斥问题。
2、synchronized代码块
synchronized代码块类似于以下这种形式:
synchronized(synObject) { }
当在某个线程中执行这段代码块时,该线程会获取对象synObject的锁,从而使得其它线程无法同时访问该代码块。
比如上面的insert方法可以改成以下两种形式:
1 class InsertData { 2 private ArrayList<Integer> arrayList = new ArrayList<Integer>(); 3 4 public void insert(Thread thread) { 5 synchronized(this) { 6 for(int i = 0;i < 100;i++){ 7 System.out.println(thread.getName() + "在插入数据" + i); 8 arrayList.add(i); 9 } 10 } 11 } 12 }
1 class InsertData { 2 private ArrayList<Integer> arrayList = new ArrayList<Integer>(); 3 private Object object = new Object(); 4 5 public void insert(Thread thread) { 6 synchronized(object) { 7 for(int i = 0;i < 100;i++){ 8 System.out.println(thread.getName() + "在插入数据" + i); 9 arrayList.add(i); 10 } 11 } 12 } 13 }
从上面可以看出,synchronized代码块使用起来比synchronized方法要灵活得多。因为也许一个方法中只有一部分代码需要同步,如果此时对整个方法用synchronized进行同步,会影响程序执行效率。而使用synchronized代码块就可以避免这个问题,synchronized代码块可以实现只对需要同步的地方进行同步。
另外,每个类也会有一个锁,它可以用来控制对static数据成员的并发访问。
并且如果一个线程执行一个对象的非static synchronized方法,另外一个线程需要执行这个对象所属类的static synchronized方法,此时不会发生互斥现象,因为访问static synchronized方法占用的是类锁,而访问非static synchronized方法占用的是对象锁。
看下面这段代码就明白了:
1 package com.meng.javalanguage.thread.test; 2 3 import java.util.ArrayList; 4 5 public class MySynchronizedTest { 6 7 public static void main(String[] args) { 8 final InsertData insertData = new InsertData(); 9 10 new Thread() { 11 @Override 12 public void run() { 13 insertData.insert(); 14 }; 15 }.start(); 16 17 new Thread() { 18 @Override 19 public void run() { 20 insertData.insert1(); 21 } 22 }.start(); 23 } 24 25 } 26 27 class InsertData { 28 public synchronized void insert() { 29 System.out.println("执行insert"); 30 try { 31 Thread.currentThread().sleep(5000); 32 }catch(InterruptedException e) { 33 e.printStackTrace(); 34 } 35 36 System.out.println("执行insert完毕"); 37 } 38 39 public synchronized static void insert1() { 40 System.out.println("执行insert1"); 41 System.out.println("执行insert1完毕"); 42 } 43 }
执行结果:
第一个线程里面执行的是insert方法,不会导致第二个线程执行insert1方法发生阻塞现象。
下面我们看一下synchronized关键字到底做了什么事情,反编译它的字节码看一下,下面这段代码反编译后的字节码为:
1 public class InsertData { 2 private Object object = new Object(); 3 4 public void insert(Thread thread){ 5 synchronized (object) { 6 7 } 8 } 9 10 public synchronized void insert1(Thread thread){ 11 12 } 13 14 public void insert2(Thread thread){ 15 16 } 17 }
从反编译的字节码可以看出,synchronized代码块实际上多了monitorenter和monitorexit两条指令。monitorenter指令执行时,会让对象的锁计数加1,而monitorexit指令执行时,会让对象的锁计数减1,其实这个与操作系统里面的PV操作很像,操作系统里面的PV操作就是用来控制多个线程对临界资源的访问。对于synchronized方法,执行中的线程识别该方法的method_info结构是否有ACC_SYNCHRONIZED标记设置,然后它自动获取对象的锁,调用方法,最后释放锁。如果有异常发生,线程自动释放锁。
有一点要注意:对于synchronized方法或者synchronized代码块,当出现异常时,JVM会自动释放当前线程占用的锁,因此不会由于异常导致出现死锁的现象。