线程安全的误解: 线程安全并不是否定资源共享

线程安全的误解: 线程安全并不是否定资源共享

(2010-08-04 17:36:48)

转载▼

标签： 线程安全 杂谈

分类：java和数据库

• 之所以造成这个误解,大概跟线程安全的几种解决手段有关.

目前公认的几种线程安全的解决手段:

1. 同步技术
2. 多用方法内局部变量
3. ThreadLocal技术(一线程,一实例变量copy)

除同步技术外,另两种解决手段都是"anti_sharing",实际是牺牲了多并发线程下的资源的共享特性.

• 线程安全的定义:

多线程的共享资源的实际值会和理论值 不一致，这样就叫作"线程不安全"
而 多线程对共享资源的改变,也是理论值之一.即理论上是接受共享资源被多个线程改变的.

• 举例如下:

我们举最常见的"多线程售票"的例子,很多人在学习多线程都是从这个例子开始的.
下面这段程序是存在线程安全问题的,但"共享售票"并不意味着线程不安全

public class MyThread implements Runnable {     private intticket = 5; // 一共才5张票,会被多线程共同卖出     public voidrun() {        for (int i =0; i < 50; i++) {           if (this.ticket > 0){             System.out.println("卖票：ticket = " + this.ticket--);           }        }     } }     publicstatic void main(String[] args) {        MyThread mt= new MyThread(); // 单实例        newThread(mt).start();    //一个线程开始卖票        newThread(mt).start();    //另一个线程开始卖票        newThread(mt).start();    //再一个线程开始卖票     }

执行： 卖票：ticket = 5 卖票：ticket = 4 卖票：ticket = 3 卖票：ticket = 2 卖票：ticket = 1

因为程序执行太快了，来不及显性产生线程安全问题,我们在run()中加一个Thread.sleep(300)方法

publicvoid run() {        for (int i =0; i < 50; i++) {           if (this.ticket >0) {              try {                 Thread.sleep(300);// 延迟              } catch(InterruptedException e) {                e.printStackTrace();              }             System.out.println("卖票：ticket = " + this.ticket--);

运行结果如下： D:\java\source\thread\sync>javasyndemo.SynDemo01 卖票：ticket = 5 卖票：ticket = 4 卖票：ticket = 3 卖票：ticket = 2 卖票：ticket = 1 卖票：ticket = 0 卖票：ticket = -1             这就是理论值(this.ticket> 0)与实际值(-1)不符,                               反映了线程安全的概念定义

原因：
当剩最后一张票时
上一个进程通过了（this.ticket >0）的判断，却sleep了，没来得及把this.ticket--
而另一个进程趁机也通过了（this.ticket > 0）的判断
这样就形成了ticket=1时两个线程都通过测试，都进行了--，就出现了-1