避免在方法级别同步

Question

PMD（源代码分析器）建议避免在方法级别synchronized 。 实际上很明显，当您在方法上调用synchronized时，您正在为此调用同步， this可能会导致潜在的问题。

但此规则中的 PMD 建议使用以下示例：Synchronized on method rule

public class Foo {
  // Try to avoid this:
  synchronized void foo() {
  }
  // Prefer this: <----- Why? Isn't it the same on byte-code level
  void bar() {
    synchronized(this) {
    }
  }
}

它是 PMD 规范中的错误（在示例中）还是同步方法与同步（this）的工作方式不同？

Answer 1

是的，它在技术上是相同的。 这是关于代码风格，而不是正确性。

您发布的链接很好地解释了原因：

将新代码添加到方法时，方法级同步可能会导致问题。 块级同步有助于确保只有需要同步的代码才能获得它。

Answer 2

SB_CONTRIB 中的一个附加规则不鼓励在同步中使用它，因为 class object 也可以被其他线程用来锁定。

http://fb-contrib.sourceforge.net/bugdescriptions.html

NOS_NON_OWNED_SYNCHRONIZATION 此方法使用同步块，其中正在同步的 object 不归当前实例所有。 这意味着其他实例可能会出于自己的目的使用相同的 object 进行同步，从而导致同步混乱。 仅在此 class 的私有字段上同步总是更清洁、更安全。 请注意，“this”不属于当前实例，而是由将其分配给其 class 字段的任何人所有。 在“this”上同步也不是一个好主意。

结合这个 Spotbugs 规则，不同步整个方法体是一种很好的风格。

Answer 3

“正确”的版本至少是 PMD 文档中的错误。

该规则的要点是表明将整个方法体放在同步块中可能是不必要的； 大多数情况下，只有访问多线程资源的代码需要同步。 因此，这些示例应该显示或暗示在同步块之前和/或之后有一些代码。