synchronized 原理及JDK1.6后的优化_(1)

最新推荐文章于 2025-08-17 21:59:26 发布

原创最新推荐文章于 2025-08-17 21:59:26 发布 · 117 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#jvm #java #开发语言

JVM中的同步基于监视器对象monitor实现，每个对象实例都有一个monitor，线程通过mutexLock实现互斥访问。当线程调用wait方法会释放mutex进入等待集合，而synchronized方法通过ACC_synchronized标志实现同步。线程在EntryList和waitSet中会阻塞，导致用户态和内核态切换的性能开销。自旋锁能减少不必要的阻塞，适合于短时间持有的锁，在多处理器系统中提高性能。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

JVM中得同步是基于进入与退出监视器对象（管程对象monitor），来实现的，每个对象实例都会有一个monitor对象，monitor对象会和Java对象一同创建并销毁。monitor对象是由C++实现的。

当多个线程同时访问一段同步代码时，这些线程会被放到一个EntryList中，处于阻塞状态的线程都会被放到列表当中，接下来，当线程获取到对象monitor时，monitor是依赖于操作系统的mutex Lock来实现互斥，线程获取mutex成功，则会持有该mutex,这时其他线程就无法再获取到该mutex.

如果线程调用了wait方法，那么线程就会被释放掉所持有的mutex，并且该线程会进入到waitSet集合（等待集合中），等待下一次被其他线程调用notify/notifyAll唤醒。如果当前线程顺利执行完毕方法，那么他也会释放掉所持有的mutex。

对于synchronized关键字修饰的方法来说，并没有出现monitor与monitorexit指令，而是出现了一个Acc_synchronized标志。

JVM使用了ACC_synchronized访问标志来区分一个方法是否为同步方法；当方法被调用时，调用指令会检查该方法是否持有Acc_synchronized标志，如果有，那么执行线程将会先持有方法所在对象的monitor对象，然后再去执行放方法体；在该方法执行期间，其他任何线程均无法再获取到这个Monitor对象，当线程执行完毕后，他会释放掉这个Monitor对象。

实例：

publicd synchronized void method(){}

同步锁在这种实现方式当中，因为monitor是依赖于底层的操作系统实现的，这样就存在与用户态和内核态之间的切换，所以会增加性能的开销。

通过对象互斥锁的概念来保证共享数据操作的完整性，每个对象都对应一个可称为（互斥锁）标记，这个标记用于保证在任何时刻，只能一个线程访问该对象。

实现同步的同时引入新问题？

那些处于EntryList与waitSet中的线程均处于阻塞状态，阻塞操作是由操作系统来完成的，在linux下是通过pthread_lock函数来实现的。线程阻塞便会进入到内核调度状态，这会导致系统在用户态和内核态来回切换，严重影响锁的性能。

解决上述问题的办法便是自选（spin)，其原理是：当发生Monitor的争用时，若owner能够在很短的时间内释放掉锁，则那些正在争用的线程就可以稍微等待一下（即所谓的自旋），在owner线程释放之后，争用线程可能会立刻获取到锁，从而避免了系统的阻塞。不过，当owner运行的时间超过了临界值之后，争用线程自选一段时间后依然无法获取到锁，这时争用线程则会停止自选进入到阻塞状态。所以，总体的思想是：先自选--->不成功，则再进入阻塞状态，尽量降低阻塞的可能性，对那些执行时间很短的代码块来说极大的性能提升。显然自旋在多处理器（多核）上才有意义。