我需要清楚地了解通过在 Java 中使用内在锁来提供哪些内存可见性保证。
例如，如果我有一个 HashMap 对象将字符串映射到 Person 对象，如下所示:
HashMap<String,Person> m = new HashMap<String, Person>();
假设我们在同一个类中有一个同步方法，如下所示:
public synchronized void addToMap(String name, Person p){
m.put(name, p);
}
并且同一个类还有另一个称为 get 的同步方法，如下所示:
public synchronized Person get(String name){
return m.get(name);
}
所以我有两个问题。
1
现在假设线程 A 获取锁并执行 addToMap 方法，然后退出该方法并释放锁。
然后线程 B 出现在锁定方法之外，并更改引用 p 所指的 Person 对象的状态。
那么，当线程 C 获得与线程 A 相同的锁并执行 get() 方法时，线程 C 是否保证检索处于其最新状态的 Person 对象？即在线程 B 更改它之后。
现在这个例子是非常人为的，如果我使用一个带有多个线程的映射，那么我知道我应该使用 ConcurrentHashMap 等，这个例子只是用来更好地解释我对可见性保证的困惑。
我知道当一个线程获得一个锁时，可以保证看到前一个持有该锁的线程对对象状态所做的任何更改，
所以我认为因为线程 B 的 Activity 是在没有获得锁的情况下执行的，所以不能保证线程 C 会看到更改吗？
2
现在，如果我对问题 1 的假设是正确的，那么假设线程 B 确实更改了引用 p 在同步方法中引用的 Person 对象的状态，
所以它已经获得了锁，那么 C 是否保证看到 B 所做的更改？
我这里最初的假设是 C 肯定会看到 B 所做的更改，但是当我想到时，我不确定对 Person 对象 p 所指的实际更改是否实际上
更改 HashMap 的状态(它是锁定对象状态的一部分)，因为它不是像添加或删除映射那样的结构修改。
我知道内在锁定提供可见性和原子性保证，而 volatile 变量只保证可见性，但我的困惑在于这些保证如何与实际对象(例如映射中的实际对象)相关
就像 Person 对象 p 所指的那样)，而不仅仅是对象引用。
任何帮助解决这个问题都会非常感谢。
最佳答案
是的。基本上，您如何获取对象并不重要(在本例中是通过存储在 map 中的人员引用)。
不管线程发生什么变化，因为它没有持有锁，所以它不是发生在关系的一部分，因此不能保证后续读取会看到更新。
如果线程 B 确实持有锁，并且该锁后来被线程 C 获取，则线程 C 将看到线程 B 所做的更改，无论更改是否在映射内等等。
但是，重要的是要记住，仅仅因为您引入了锁并不意味着您没有数据竞争。如果没有进一步的同步，就不能保证线程 B 实际在线程 C 之前获得锁。
希望我正确理解了你的问题，我希望我的回答很清楚。否则请告诉我。
关于java - Java 中的内在锁定提供的内存可见性保证？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/30213159/