如果有一个互斥锁,当一个线程试图操作一个由其他线程持有的对象锁的临界资源时,将会处于阻塞状态,但是如果一个线程再次请求自己持有的对象锁临界资源时,将会成功,而不会进入阻塞状态。
比如synchronized实现的锁机制,如果修饰代码块的话,它在字节码中就会有显示获取monitor锁的语义,而这个monitor在OpenJDK的源代码中可以看到它有一个_count和_owner的字段定义。大致意思就是由这两个字段判断是否是同一线程,同时记录当前锁被重复获取的次数。
线程如果再次获取锁,那么就会识别获取锁的线程是否为当前占据锁的线程,比较_owner字段是否相同。
如果不同就阻塞,获取moniter锁失败并且阻塞在monitorenter阶段。
如果发现是同一个线程的话,就会进入这个线程,同时_count加1,当锁被释放的时候,这个计数字段就会自减1,当计数字段为0的时候就代表锁被成功释放。
它将会成功