Code Correctness: Non-Synchronized Method Overrides Synchronized Method

Java/JSP

Abstract

不應該使用非同步方法取代同步方法。

Explanation

主類別宣告方法 synchronized，保證多個執行緒存取相同實例時可正確運作。也應該宣告所有的取代方法為 synchronized，否則可能會發生意外行為。

範例 1：在下列程式碼中，Foo 類別會取代 Bar 類別，但是不會宣告 synchronizedMethod 方法為 synchronized：


public class Bar {
public synchronized void synchronizedMethod() {
    for (int i=0; i<10; i++) System.out.print(i);
    System.out.println();
}
}

public class Foo extends Bar {
public void synchronizedMethod() {
    for (int i=0; i<10; i++) System.out.print(i);
    System.out.println();
}
}

在此案例中，會將 Foo 的實例轉換為 Bar 類型。若向兩個不同的執行緒提供同一實例，並重複執行 synchronizedMethod，則行為將無法預測。

References

[1] Sun Microsystems, Inc. Bug ID: 4294756 Javac should warn if synchronized method is overridden with a non synchronized

[2] TSM00-J. Do not override thread-safe methods with methods that are not thread-safe CERT

desc.structural.java.code_correctness_non_synchronized_method_overrides