多线程并发安全问题详解

定义：

      当多个线程同时执行，多个线程之间是相互抢占资源执行，并且抢占是发生在线程的执行的每一步过程中，导致出现非法数据。这种现象就称之为多线程的并发安全问题。

代码案例：

public class SellTicketDemo {
	  public static void main(String[] args) {
		//创建票对象
		Ticket t=new Ticket();
		//给票的count属性赋值为100
		t.setCount(100);
		
		SellSystem s=new SellSystem(t);
		//4个线程对应4个售票窗口
		Thread thread1=new Thread(s);
		Thread thread2=new Thread(s);
		Thread thread3=new Thread(s);
		Thread thread4=new Thread(s);
		thread1.start();
		thread2.start();
		thread3.start();
		thread4.start();
	}
}

//卖票系统
class SellSystem implements Runnable{
	//定义票对象t
	private Ticket t;
	
	public SellSystem(Ticket t) {
		this.t=t;
	}
	@Override
	public void run() {
		while(true){
			try {
				//此处让进来的线程睡一会是为了增加其他线程抢占到执行权的概率
				Thread.sleep(1);
			} catch (InterruptedException e) {
				e.printStackTrace();
			}
			if (t.getCount()>0) {
				t.setCount(t.getCount()-1);
				//Thread.currentThread()表示获取当前正在执行的线程，t.getCount()是t.setCount设置后的数量
				System.out.println(Thread.currentThread().getName()+"卖了一张票，还剩"+t.getCount());
			}
		}
	}
}

//票
class Ticket{
	//定义票的数量属性
	private int count;

	public int getCount() {
		return count;
	}

	public void setCount(int count) {
		this.count = count;
	}
	
}

执行结果：

异常解析：

 上述出现了三种异常情况：1. 跳过数字  2. 重复数字  3. 出现负数

  1. 跳过数字 ：当票还剩9张时，假设小红线程先抢到执行权，进入第①步，经过getCount得到9，9>0进入第②步，经过计算再用setCount将8设定为结果值，此时小兰抢到了执行权，由于小红已经setCount设定了结果值，小兰进入第①步后通过getCount得到8，8>0进入第②步，经过计算以及setCount将结果值设定为7，进入第③步，打印出7执行完毕。这时小红又抢回执行权，由于总票数是大家共享的，此时的总票数为7，小红前两步已完成，直接进入第③步，经过getCount得到7，然后打印出7执行完毕。因此会出现9 , 7, 7 跳过数字的情况。

2.重复数字：当票还剩4张时，假设小红线程先抢到执行权，进入第①步，经过getCount得到5，5>0进入第②步，经过(t.getCount() - 1)计算变为3，正当小红准备setCount将3设定为结果值时，小兰抢到了执行权，由于小红还没有setCount设定结果值，小兰进入第①步后通过getCount得到的还是4，4>0进入第②步，经过计算再用setCount将结果值设定为3，进入第③步，打印出3执行完毕。这时小红又抢回执行权，由于总票数是大家共享的，此时的总票数为3，小红接着上次未执行完的操作直接setCount，将3设置为结果值，接着进入第③步，打印出3执行完毕。因此会出现3 ,3 重复数字的情况。

3.出现负数：当票还剩1张时，假设小红线程先抢到执行权，进入第①步，经过getCount得到1，1>0准备进入第②步，此时小兰抢到了执行权，进入第①步，经过getCount仍然得到1，1>0准备进入第②步，此时又被小黑抢到了执行权，进入第①步，经过getCount仍然得到1，1>0进入第②步，经过计算以及setCount将0设为结果值，进入第③步，打印出0执行完毕。此时小红又抢到执行权，由于小红上次已经执行完第①步，直接进入第②步，经过getCount得到0，再减1，最后由setCount将-1设置为结果值，进入第③步，打印出-1执行完毕。此时小兰又抢到执行权，由于小兰上次已经执行完第①步，直接进入第②步，经过getCount得到-1，再减1，最后由setCount将-2设置为结果值，进入第③步，打印出-2执行完毕。因此会出现0, -1 , -2 负数的情况。

4. 解决方法：

通过同步代码块的方式将对象锁起来。用synchronized来将代码限制起来，需要锁对象。锁对象要求所有的线程都得认识。锁对象：共享资源、方法区中的数据、this。

正确代码：

修改的代码如下：

synchronized (t) {
    if (t.getCount()>0) {
	    t.setCount(t.getCount()-1);
	    //Thread.currentThread()表示获取当前正在执行的线程，t.getCount()是t.setCount设置后数量
          System.out.println(Thread.currentThread().getName()+"卖了一张票，还剩"+t.getCount());
	}
}

最终代码如下：

public class SellTicketDemo {
	  public static void main(String[] args) {
		//创建票对象
		Ticket t=new Ticket();
		//给票的count属性赋值为100
		t.setCount(100);
		
		SellSystem s=new SellSystem(t);
		
		//4个线程对应4个售票窗口
		Thread thread1=new Thread(s);
		Thread thread2=new Thread(s);
		Thread thread3=new Thread(s);
		Thread thread4=new Thread(s);
		thread1.start();
		thread2.start();
		thread3.start();
		thread4.start();
	}
}

//卖票系统
class SellSystem implements Runnable{
	//定义票对象t
	private Ticket t;
	
	public SellSystem(Ticket t) {
		this.t=t;
	}
	@Override
	public void run() {
		while(true){
			try {
				//此处让进来的线程睡一会是为了增加其他线程抢占到执行权的概率
				Thread.sleep(1);
			} catch (InterruptedException e) {
				e.printStackTrace();
			}
			synchronized (t) {
				if (t.getCount()>0) {
					t.setCount(t.getCount()-1);
					//Thread.currentThread()表示获取当前正在执行的线程，t.getCount()是t.setCount设置后的数量
					System.out.println(Thread.currentThread().getName()+"卖了一张票，还剩"+t.getCount());
				}
			}
		}
	}
}

//票
class Ticket{
	//定义票的数量属性
	private int count;

	public int getCount() {
		return count;
	}

	public void setCount(int count) {
		this.count = count;
	}
	
}

执行结果：