意义
synchronized可以实现一个简单的策略来防止线程互相干扰和内存一致性的错误。如果一个对象对于多个线程是可见的,那么对该对象的读或者写都将使用同步的方式进行。具体体现如下:
1、synchronized关键字提供锁的机制,能够确保共享变量的互斥访问,从而达到内存数据的一致性
2、synchronized关键字提供monitor enter 和monitor exit两个JVM指令,保证任何时候任何线程在成功执行monitor enter之前的数据都从主存中获取,在成功执行monitor exit之后,对共享变量修改的值立即刷新至主存中
3、严格遵守happens-before原则,一个monitor exit指令之前必须有一个monitor enter指令与之对应
用法
修饰方法或者代码块
注意事项
- 与monitor关联的对象不能为空
- synchronized的作用域不能太大,最好只在需要的代码块加入,不当使用会影响性能
- 不同的monitor 去锁相同的方法,不能起到互斥作用
- 交叉锁导致死锁
原理分析
1、Monitorenter、Monitorexit 分析
monitorenter
每个对象都与一个monitor关联,一个monitor的lock的锁在同一时间只能被一个线程获得。获取过程:
- 如果monitor的计数为0,意味着改monitor 的lock还没有被获取,某个线程获取之后即对计数器加一,次线程就用于改monitor的所有权。
- 如果对一个用于的monitor所有权的线程重入,计数器再次累加。
- 如果其他线程尝试获取已被占用的monitor时,会进入阻塞状态,直到monitor计数为0时,才重新尝试获取monitor的所有权
monitorexit
释放monitor所有权就是讲monitor计数器减一,如果计数器为0,就代表改线程对此monitor不在拥有所有权,其他被block住的线程可以继续尝试获取此monitor的所有权
原理
查看编译后的文件,method6方法放在MonitorTest类中。
同步代码块会出现monitorenter和monitorexit 指令
2、同步方法同步的原理
查看Class编译后的文件
不同于同步代码块,同步方法是通过ACC_SYNCHRONIZED 进行标记,如果发现方法标有 ACC_SYNCHRONIZED 标记符,JVM 会要求方法在调用之前请求锁。
使用示例
1、不同的monitor 去锁相同的方法,不能起到互斥作用
从输出结果可以看出,线程并没有间隔1000ms输出,而是同一时间输出,说明并没有起到锁的作用。因为每个线程都是在使用各自的monitor,而不是竞争同一个monitor。
2、This monitor 和 Class monitor
2.1 This monitor
运行上面代码,查看堆栈信息可以看出T1首先获取到了<0x000000079579b930> monitor的lock,然后线程进入休眠,而T2在获取<0x000000079579b930> monitor的时候blocked住了。所以synchronized关键字同步类的不同实例方法,竞争的是同一个monitor lock。而关联的是当前实例(示例的ThisOrClassMonitor)引用。我们可以稍微改下代码,使用this运行看一下。
使用this monitor lock
运行之后,可以看出运行效果完全一样。T1获得ThisOrClassMonitor monitor lock之后,T3尝试获取的时候被blocked。
2.2 Class monitor
从运行结果,可以看出T4获取到了ThisOrClassMonitor.class 的 monitor lock,而T5准备获取的时候被blocked。我们可以稍微修改下代码,来证明静态方法是使用Class对象的monitor。
class monitor lock 代码示例
从运行结果,可以看出,效果完全一样。
使用This monitor和Class monitor 不一样的地方是,This monitor 是使用实例对象为monitor lock,而Class monitor 使用的是Class。在实例中可以明显看出,This monitor 是 - locked <0x000000079579bb80> (a com.chihay.qrtz.thread.ThisOrClassMonitor),而Class是- locked <0x0000000795799518> (a java.lang.Class for com.chihay.qrtz.thread.ThisOrClassMonitor)