java多線程編程之使用Synchronized塊同步變數_java

下面的代碼示範了如何同步特定的類方法：

複製代碼 代碼如下:

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來同步。