并发编程网 - ifeve.com

原文始发于微信公众号（BeCoder）：从创建对象到ConcurrentHashMap

其实创建对象与ConcurrentHashMap之间并没有必然联系，不过很多知识是环环相扣的，这篇文章权当做一次温习吧。

引言

在 java.util.concurrent.locks.Lock 接口的Javadoc中有这样一段话：

All Lock implementations must enforce the same memory synchronization semantics as provided by the built-in monitor lock :

• A successful lock operation acts like a successful monitorEnter action
• A successful unlock operation acts like a successful monitorExit action

Unsuccessful locking and unlocking operations, and reentrant locking/unlocking operations, do not require any memory synchronization effects.

这段话的核心是j.u.c.locks.Lock接口的实现类具有和synchronized内置锁一样的内存同步语义。

不同于由JVM底层实现的内置锁，Lock接口的实现类是直接用Java代码实现的。如何保证了内存中数据的可见性？下面进行一下分析。

阅读全文

原文地址    译文地址   译者:Alpha ;  校对: 蘑菇街-小宝

大多数现代多线程编程语言都可以避免顺序一致性与性能之间的冲突，因为它们知道：

• 顺序一致性的问题是由于某些程序转换引起的，例如我们的例子中交换了无关变量的访问顺序，这不会改变单线程程序的意图，但是会改变多线程程序的意图（例如例子中允许r1和r2都为0）。
• 只有当代码允许两个线程同时访问相同的共享数据，并且是以某种冲突的方式访问时（例如当一个线程读取数据的同时另一个线程写入该数据），才有可能察觉到这种程序转换。如果程序强制以特定顺序来访问共享变量，那么我们就无法判断对独立变量的访问是否被重排序，就如同在单线程程序中也无法判断。
• 无限制地同时访问普通共享变量会让程序变得难以处理，一般需要避免这种情况。坚持完全的顺序一致性对我们没有好处。我们将在下文用单独的一节来讨论这个问题。

阅读全文