java中锁的内存语义及其实现

锁的内存语义   

 众所周知，锁可以实现临界区的互斥执行。

     java中锁的内存语义和volatile的内存语义类似，其加锁的内存语义和volatile读内存语义相同，其解锁的内存语义和volatile写的内存语义相同，而java锁内存语义的实现又和volatile有着千丝万缕的联系，我们接下来就一起解开java锁的神秘面纱。

锁的释放：

        当线程释放锁时，JMM会把该线程的本地内存中的共享变量刷新到主内存中去。

锁的获取

        当线程获取锁时，JMM会把该线程的本地内存置为无效，线程需要访问主内存去获取共享变量。

总结：

 

• 线程A释放一个锁，实际上是该线程向接下来要获取这个锁的线程发送（线程A对共享变量进行过修改的）消息。
• 线程B获取一个锁，实际上是线程B接收了之前某个线程发出的（在释放这个锁之前对共享变量所做修改的）消息。
• 线程A释放锁，线程B获取找哥哥锁，这个过程实质上是线程A通过主内存向线程发送消息。

是不是和上篇博客《volatile内存语义》中介绍的volatile内存语义很像呢？

内存语义的实现