同步对象与非同步对象

Question

声明“未同步的对象通常比 对于现代编译器来说，同步的那些“不再总是正确的。

这是我今天多次听到的断言。我对断言有两种不同的解释：

1. 随着现代编译器的进步，同步对象的开销可以很小，可以忽略不计。如果是这样，现代编译器如何实现这一目标？

2. 在某些情况下，同步对象和非同步对象的性能相同，甚至在某些情况下，同步对象的性能优于非同步对象。我不认为这是可能的，但谁知道呢？

Answer 1

一种情况是编译器可以通过线程间转义分析静态确定一个对象永远不会被多个线程访问。然后编译器可以使用非同步版本的方法初始化“vtable”（或任何适当的方法分派机制）。

PS。以上是对语句的第一种解释。