synchronized解决线程安全问题

应用之互斥

为了避免临界区的竞态条件发生，有多种手段可以达到目的。

阻塞式的解决方案：synchronized、Lock

非阻塞式的解决方案：原子变量

synchronized：俗称的对象锁，它采用互斥的方式让同一时刻至多只有一个线程拥有对象锁，其它线程再想获取这个对象锁的时候就会阻塞住，这样就能保证拥有锁的线程可以安全的执行临界区内的代码，不用担心线程上下文切换。

注意：虽然Java中互斥和同步都可以使用synchronized关键字来完成，但是它们是有区别的：

• 互斥是保证临界区的竞态条件发生，同一时刻只能有一个线程执行临界区代码
• 同步是由于线程执行的先后顺序不同，需要一个线程等待其它线程运行到某一个点

synchronized

语法：

synchronized(对象){
    临界区
}

可以做这样的类比：

前提：共享变量为count，有两个线程，t1执行count++，t2执行count--；

• synchronized(对象)中的对象，可以想象为一个房间，有唯一的入口，房间内只能一次进入一人进行计算，将线程t1、t2想象成两个人。
• 当线程t1执行到synchronized(room)的时候就好比t1进入了这个房间，并且锁住了门拿走了钥匙，在门内执行count++代码。
• 这个时候如果t2也运行到了synchronized(room)时，它发现门被锁住了，只能在门外等待，发生了上下文切换，阻塞住了。
• 这中间即使t1的cpu时间片不幸用完，被提出了门外（不要理解为锁住了对象就能一直执行下去），这个时候门还是锁住的，t1仍然拿着钥匙，t2线程还在阻塞状态进不来，只有下次轮到t1自己再次获得时间片时才能开门进入。
• 当t1执行完synchron