我正在查看关于我的代码库的Findbugs 报告，其中触发的模式之一是空的synchronzied 块（即synchronized (var) {}）。 documentation says：
空同步块远不止这些 微妙且难以正确使用 大多数人都认识，并且空虚 同步块几乎从不 比不那么做作更好的解决方案 解决方案。
在我的例子中，它的发生是因为该块的内容已被注释掉，但 synchronized 语句仍然存在。在什么情况下空的synchronized 块可以实现正确的线程语义？
【问题讨论】：
标签： java multithreading findbugs synchronized
一个空的同步块将一直等待，直到没有其他人使用该同步器。这可能是您想要的，但是因为您没有保护同步块中的后续代码，所以没有什么可以阻止其他人在您运行后续代码时修改您正在等待的内容。这几乎不是你想要的。
【讨论】：
synchronized 等待工作人员完成修改实例，从那时起 - 不需要进一步同步，因此所有读取都在同步代码之外完成。我相信synchronized 是比手动管理锁实例更清晰的解决方案。
过去的情况是，规范暗示发生了某些内存屏障操作。但是，规范现在已经更改，原始规范从未正确实施。它可能用于等待另一个线程释放锁，但协调另一个线程已经获得锁会很棘手。
【讨论】：
要深入了解 Java 的内存模型，请观看 Google 的“编程语言高级主题”系列中的这段视频： http://www.youtube.com/watch?v=1FX4zco0ziY
它很好地概述了编译器可以（通常在理论上，但有时在实践中）对您的代码执行的操作。任何认真的 Java 程序员必备的东西！
【讨论】：
同步不仅仅是等待，而不优雅的编码可以达到所需的效果。
来自http://www.javaperformancetuning.com/news/qotm030.shtml
- 线程为对象 this 获取监视器上的锁（假设监视器已解锁，否则线程将等待直到监视器解锁）。
- 线程内存刷新其所有变量，即它的所有变量有效地从“主”内存读取（JVM 可以使用脏集来优化这一点，以便仅刷新“脏”变量，但在概念上这是相同的. 参见 Java 语言规范的第 17.9 节）。
- 代码块被执行（在这种情况下，将返回值设置为 i3 的当前值，它可能刚刚从“主”内存中重置）。
- （对变量的任何更改现在通常都会写入“主”内存，但对于 geti3()，我们没有任何更改。）
- 线程释放对象 this 的监视器上的锁。
【讨论】：
我认为早期的答案未能强调关于空 synchronized 块的最有用的事情：跨线程公开变量更改和其他操作。正如jtahlborn 所指出的，同步通过在编译器上施加内存屏障 来实现。不过，我没有找到 SnakE 应该在哪里讨论这个问题，所以我在这里解释一下我的意思。
int variable;
void test() // This code is INCORRECT
{
new Thread( () -> // A
{
variable = 9;
for( ;; )
{
// Do other stuff
}
}).start();
new Thread( () -> // B
{
for( ;; )
{
if( variable == 9 ) System.exit( 0 );
}
}).start();
}
上面的代码不正确。编译器可能会隔离线程 A 对变量的更改，有效地将其对 B 隐藏，然后将永远循环。
synchronized 块来暴露跨线程的更改一个更正方法是为变量添加volatile 修饰符。但这可能效率低下；它强制编译器公开所有更改，其中可能包括不感兴趣的中间值。另一方面，空的synchronized 块仅在关键点公开更改的值。例如：
int variable;
void test() // Corrected version
{
new Thread( () -> // A
{
variable = 9;
synchronized( o ) {} // Force exposure of the change
for( ;; )
{
// Do other stuff
}
}).start();
new Thread( () -> // B
{
for( ;; )
{
synchronized( o ) {} // Look for exposed changes
if( variable == 9 ) System.exit( 0 );
}
}).start();
}
final Object o = new Object();
两个线程必须在同一个对象上同步以保证可见性。保证基于Java memory model，特别是“对监视器 m 的解锁操作同步所有后续对 m 的锁定操作”并因此发生之前 那些动作。因此，在 A 的 synchronized 块的尾部解锁 o 的监视器发生在最终锁定在 B 的块的头部。并且因为 A 的 write 在其解锁之前，而 B 的锁在其 read 之前，所以保证扩展到包括 write 和 read —— write happens-before read — 使修改后的程序在内存模型方面正确。
我认为这是空synchronized 块最重要的用途。
【讨论】：