一次同步方法的失败与原因总结

synchronized关键字可以设置同步方法和同步块，同步方法会对调用对象this上锁，
所有线程进入前都需要获取这个锁，这里我拿一个错误样例来做示范

public class Test {
    public static void main(String[] args) {
        Account account=new Account(100);
        Person p1=new Person(account,80);
        Person p2=new Person(account,90);
        p1.start();
        p2.start();
    }   
}

class Account{
    int total;  
    public Account(int total) {
        super();
        this.total=total;       
    }   
}

class Person extends Thread{
    private int reduce;
    private Account account;
    public Person(Account account,int reduce) {
    
        this.account=account;
        this.reduce=reduce;
    }
    
    public synchronized void run() {    
        if (account.total-reduce<0) return ;
        try {
            Thread.sleep(200);
        } catch (InterruptedException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }
        account.total-=reduce;
        System.out.println(Thread.currentThread().getName()+"取出"+reduce);
        System.out.println(Thread.currentThread().getName()+"剩余"+account.total);
        
    }
}

Thread-0取出80
Thread-0剩余-70
Thread-1取出90
Thread-1剩余-70

出现了负数，很明显没锁住，现在我们来分析下原因。
有1个account对象，两个person对象p1和p2，p1和p2争抢资源account
我一开始的设想是，当p1进入方法时，p1对象上锁，account作为p1的成员也被上锁，此时p2进入就需要等到p1释放锁，由此达到我们的目标。

问题在于：java规定每个对象都有一个监视器，使用时查看上锁了没，上面的代码中虽然对person对象上了锁，同时account作为对象也有监视器，account虽然作为person的成员，但account的监视器是单独的，不受p1的锁影响。现在我们再来场景复原一下，p1先进入方法，对p1上锁，计算100-80=20，同时p2进入方法，查看account的监视器，没有上锁，计算20-90=-70，这就产生了错误。

解决方法就是使用同步块给account上锁

public void run() { 
        synchronized(account) {
        if (account.total-reduce<0) return ;
        try {
            Thread.sleep(200);
        } catch (InterruptedException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }
        account.total-=reduce;
        System.out.println(Thread.currentThread().getName()+"取出"+reduce);
        System.out.println(Thread.currentThread().getName()+"剩余"+account.total);
        
        }
    }

这个问题给我们的教训在于，每个对象都有单独的监视器，要选取正确的争夺对象上锁，基于此同步块不仅能缩小锁的粒度还能选取正确的对象上锁。

最后编辑于：2018.12.26 13:23:53