应用之互斥
为了避免临界区的竞态条件发生,有多种手段可以达到目的。
阻塞式的解决方案:synchronized、Lock
非阻塞式的解决方案:原子变量
synchronized:俗称的对象锁,它采用互斥的方式让同一时刻至多只有一个线程拥有对象锁,其它线程再想获取这个对象锁的时候就会阻塞住,这样就能保证拥有锁的线程可以安全的执行临界区内的代码,不用担心线程上下文切换。
注意:虽然Java中互斥和同步都可以使用synchronized关键字来完成,但是它们是有区别的:
- 互斥是保证临界区的竞态条件发生,同一时刻只能有一个线程执行临界区代码
- 同步是由于线程执行的先后顺序不同,需要一个线程等待其它线程运行到某一个点
synchronized
语法:
synchronized(对象){
临界区
}
可以做这样的类比:
前提:共享变量为count,有两个线程,t1执行count++,t2执行count--;
- synchronized(对象)中的对象,可以想象为一个房间,有唯一的入口,房间内只能一次进入一人进行计算,将线程t1、t2想象成两个人。
- 当线程t1执行到synchronized(room)的时候就好比t1进入了这个房间,并且锁住了门拿走了钥匙,在门内执行count++代码。
- 这个时候如果t2也运行到了synchronized(room)时,它发现门被锁住了,只能