多线程学习（四）——线程同步之同步代码块和同步方法（银行取钱问题）

       关于线程安全问题，有一个很经典的问题——银行取钱问题。银行取钱的基本流程基本上可以分为以下几个步骤：

       1、用户输入账户、密码，系统判断用户的账户、密码是否匹配

       2、用户输入取款金额

       3、系统判断取账户余额是否大于取款金额

       4、如果余额大于取款金额，则取款成功；如果余额小于取款金额，则取款失败

       在单一线程中这个流程没有任何问题，但是将它放在多线程的场景下，就有可能出现问题。比如同时有两个线程在访问同一个用户账户，同时操作取钱，可能会出现和实际不符的情况，账户余额变为负数或者出现其他问题。也就是当两个进程并发修改同一个文件时就有可能造成异常。

一、同步代码块

        为了解决上面说到的问题，java多线程支持引入了同步监视器，使用同步监视器的通用方法就是同步代码块，同步代码块的语法格式，如下：

        sysnchronized(obj){

                    ...........

             //此处添加同步代码块 }

上面代码中的obj就是同步监视器，上面代码的含义：线程开始执行同步代码块之前，必须先获得对同步监视器的锁定。

注意：任何时刻只能有一个线程可以获得对同步监视器的锁定，当同步代码块执行完后，该线程会释放对该同步监视器的锁定。

        同步监视器的目的：阻止两个线程对同一个共享资源进行并发访问，所以通常推荐使用可能被并发访问的共享资源充当同步监视器。虽然java允许使用任何对象作为同步监视器，但是同步监视器势必会对性能造成影响，所以应该分析后再使用，不要给所有对象都加同步监视器。

程序示例：

1、用户账户类

public class Account {
	//封装账户编号、账户余额的两个成员变量
	private String accountNo;
	private double balance;
	public Account() {}
	//构造器
	public Account(String accountNo,double balance) {
		this.accountNo = accountNo;
		this.balance = balance;
	}
	public String getAccountNo() {
		return accountNo;
	}
	public void setAccountNo(String accountNo) {
		this.accountNo = accountNo;
	}
	public double getBalance() {
		return balance;
	}
	public void setBalance(double balance) {
		this.balance = balance;
	}
	
	//下面两个方法根据accountNo来重写hashCode()和equals()方法
	public int hashCode() {
		return accountNo.hashCode();
	}
	public boolean equals(Object obj) {
		if(this == obj) 
			return true;
			if(obj!=null && obj.getClass() == Account.class) {
				Account target = (Account)obj;
				return target.getAccountNo().equals(accountNo);
			}		
		return false;
	}

}

2、取钱线程类

public class DrawMoneyThread extends Thread{
	//模拟用户账号
	private Account account;
	//当前取钱线程所希望取的钱数
	private double drawMoney;
	public DrawMoneyThread(String name,Account account,double drawMoney) {
		super(name);
		this.account = account;
		this.drawMoney = drawMoney;
	}
	//当多个线程修改同一个共享数据时，将涉及数据安全问题
	public void run() {
		//使用account作为同步监视器，任何线程进入下面同步代码块之前
		//必须先获得对account账户的锁定——其他线程无法获得锁，也就无法修改它
		//这种做法符合：“加锁——>修改——>释放锁”的逻辑
		synchronized(account) {
			//账户余额大于取钱数目
			if(account.getBalance()>drawMoney) {
				//吐出钞票
				System.out.println(getName() + "取钱成功！突出钞票：" + drawMoney);
				try {
					Thread.sleep(1);
				}catch(InterruptedException e) {
					e.printStackTrace();
				}
				//修改余额
				account.setBalance(account.getBalance() - drawMoney);
				System.out.println("\t余额为：" + account.getBalance());
			}else {
				System.out.println(getName() + "取钱失败!余额不足！");
			}		
		}
		//同步代码块结束，该线程释放同步锁
	}

}

3、测试取钱类

public class DrawMoneyTest {
	
	public static void main(String[] args) {
		//创建一个账户
		Account account = new Account("32754",1000);
		//模拟两个线程对同一个用户取钱
		new DrawMoneyThread("小王",account,800).start();
		new DrawMoneyThread("小红",account,800).start();
	}

}

运行结果：

二、同步方法

        与同步代码块对应，java多线程安全支持还提供了同步方法，同步方法就是使用synchronized关键字来修饰某个方法，则该方法称为同步方法。对于synchronized修饰的实例方法（非static方法）而言，无须显示指定同步监视器，同步方法的同步监视器是this,也就是调用该方法的对象。

程序示例：

1、修改账户类：

public class Account {
	//封装账户编号、账户余额的两个成员变量
	private String accountNo;
	private double balance;
	public Account() {}
	//构造器
	public Account(String accountNo,double balance) {
		this.accountNo = accountNo;
		this.balance = balance;
	}
	public String getAccountNo() {
		return accountNo;
	}
	public void setAccountNo(String accountNo) {
		this.accountNo = accountNo;
	}
	//因为账户余额不允许随便修改，所以只为balance提供了getter方法
	public double getBalance() {
		return this.balance;
	}
	
	//提供一个线程安全的draw()方法来完成取钱操作
	public synchronized void draw(double drawMoney) {
		//账户余额大于取钱数目
		if(balance>=drawMoney) {
			//取出钞票
			System.out.println(Thread.currentThread().getName() +"取钱成功！吐出钞票:"+drawMoney);
			try {
				Thread.sleep(1);
			}catch(InterruptedException e) {
				e.printStackTrace();
			}
			//修改余额
			balance -= drawMoney ;
			System.out.println("\t余额为："+ balance);
		}else {
			System.out.println(Thread.currentThread().getName()+"取钱失败！余额不足！");
		}
	}
	
	
	//下面两个方法根据accountNo来重写hashCode()和equals()方法
	public int hashCode() {
		return accountNo.hashCode();
	}
	public boolean equals(Object obj) {
		if(this == obj) 
			return true;
			if(obj!=null && obj.getClass() == Account.class) {
				Account target = (Account)obj;
				return target.getAccountNo().equals(accountNo);
			}		
		return false;
	}
}

2、修改取钱线程类

public class DrawMoneyThread extends Thread{
	//模拟用户账号
	private Account account;
	//当前取钱线程所希望取的钱数
	private double drawMoney;
	public DrawMoneyThread(String name,Account account,double drawMoney) {
		super(name);
		this.account = account;
		this.drawMoney = drawMoney;
	}
	//当多个线程修改同一个共享数据时，将涉及数据安全问题
	public void run() {
		//直接调用account对象的draw()方法来执行取钱操作
		//同步方法的同步监视器是this，this代表调用draw()方法的对象
		//也就是说，线程进入draw()方法之前，必须先对account对象加锁
		account.draw(drawMoney);
	}

}

3、测试取钱类和之前一样

运行结果也和上面一样。

注意：synchronized关键字可以修饰代码块，方法，但是不能修饰构造器，成员变量等。

        上面的Account类是一个可变类，可变类的线程安全是以降低程序的运行效率为代价的，为了减少线程安全所带来的负面影响，程序可以采用如下策略：

1、不要对线程安全类的所有方法都进行同步，只对那些会改变竞争资源（竞争资源也就是共享资源）的方法进行同步。例如，上面的Account类的accountNo实例变量就无须同步，所以程序只对draw()方法进行了同步。

2、如果可变类有两种运行环境：单线程和多线程环境，则应该为该可变类提供两种版本，即线程不安全版本和线程安全版本。在单线程环境中使用线程不安全版本以保证性能，在多线程环境中使用线程安全版本。（例如：JDK提供的StringBuilder、StringBuffer就是为了照顾单线程和多线程环境，单线程中使用StringBuilder来保证性能；多线程中使用StringBuffer来保证线程安全）

三、释放同步监视器的锁定

程序不会显式的释放同步监视器，线程会在如下几种情况下释放对同步监视器的锁定：

1、线程在同步代码块，同步方法中遇到break，return终止了代码的继续执行，线程释放锁

2、线程在同步代码块，同步方法中出现了未处理的Error或者Exception，导致了该代码块，该同步方法异常结束，线程释放锁

3、线程在执行同步代码块或者同步方法时，程序执行了同步监视器对象的wait()方法，则当前线程暂停，线程释放锁

在下面情况下，线程不会释放同步监视器：

1、线程在执行同步代码块或者同步方法时，程序调用Thread.sleep()、Thread.yield()方法来暂停当前线程的执行，线程不会释放同步监视器

2、线程在执行同步代码块时，其他线程调用了该线程的suspend()方法将该线程挂起，该线程不会释放同步监视器。程序应该尽量避免使用suspend()和resume()方法来控制线程。

(参考《疯狂Java讲义第3版》)