下面的程式碼示範如何同步特定的類別方法:
複製代碼代碼如下:
package mythread;
public class SyncThread extends Thread
{
private static String sync = "";
private String methodType = "";
private static void method(String s)
{
synchronized (sync)
{
sync = s;
System.out.println(s);
while (true);
}
}
public void method1()
{
method("method1");
}
public static void staticMethod1()
{
method("staticMethod1");
}
public void run()
{
if (methodType.equals("static"))
staticMethod1();
else if (methodType.equals("nonstatic"))
method1();
}
public SyncThread(String methodType)
{
this.methodType = methodType;
}
public static void main(String[] args) throws Exception
{
SyncThread sample1 = new SyncThread("nonstatic");
SyncThread sample2 = new SyncThread("static");
sample1.start();
sample2.start();
}
}
運行結果如下:
複製代碼代碼如下:
method1
staticMethod1
看到上面的運行結果很多讀者可能會感到驚訝。在上面的程式碼中method1和staticMethod1方法使用了靜態字串變數sync進行同步。這兩個方法只能有一個同時執行,而這兩個方法都會執行014行的無限迴圈語句。因此,輸出結果只能是method1和staticMethod1其中之一。但這個程式將這兩個字串都輸出了。
出現這種結果的願意很簡單,我們看一下012行就知道了。原來在這一行將sync的值改變了。在這裡要說一下Java中的String類型。 String類型和Java中其他的複雜類型不同。在使用String型變數時,只要給這個變數賦一次值,Java就會建立一個新的String類型的實例。如下面的程式碼所示:
複製代碼代碼如下:
String s = "hello";
System.out.println(s.hashCode());
s = "world";
System.out.println(s.hashCode());
在上面的程式碼中。第一個s和再次賦值後的s的hashCode的值是不一樣的。由於建立String類別的實例並不需要使用new,因此,在同步String類型的變數時要注意不要給這個變數賦值,否則會使變數無法同步。
由於在012行已經為sync創建了一個新的實例,假設method1先執行,當method1方法執行了013行的程式碼後,sync的值就已經不是最初那個值了,而method1方法鎖定的仍然是sync變量最初的那個值。而在這時,staticMethod1正好執行到synchronized(sync),在staticMethod1方法中要鎖定的這個sync和method1方法鎖定的sync已經不是一個了,因此,這兩個方法的同步性已經被破壞了。
解決以上問題的方法當然是將012行去掉。在本例中加上這行,只是為了說明使用類別變數來同步方法時如果在synchronized區塊中將同步變數的值改變,就會破壞方法之間的同步。為了徹底避免這種情況發生,在定義同步變數時可以使用final關鍵字。如將上面的程式中的005行可改成如下形式:
複製代碼代碼如下:
private final static String sync = "";
使用final關鍵字後,sync只能在定義時為其賦值,且以後不能再修改。如果在程式的其他地方給sync賦了值,程式就無法編譯通過。在Eclipse等開發工具中,會直接在錯誤的地方給予提示。
我們可以從兩個角度來理解synchronized塊。如果從類別方法的角度來理解,可以透過類別變數來同步對應的方法。如果從類別變數的角度來理解,可以使用synchronized區塊來確保某個類別變數同時只能被一個方法存取。不管從哪個角度來理解,它們的實質都是一樣的,就是利用類別變數來獲得同步鎖,透過同步鎖的互斥性來實現同步。
注意:在使用synchronized區塊時應注意,synchronized區塊只能使用物件作為它的參數。如果是簡單型別的變數(如int、char、boolean等),不能使用synchronized來同步。