synchronized的深刻認識

轉自synchronized的深刻認識

JAVA中synchronized關鍵字能夠作爲函數的修飾符，也可作爲函數內的語句，也就是平時說的同步方法和同步語句塊。假如再細的分類，synchronized可作用於instance變量、object reference（對象引用，例如this）、static函數和class literals(類名稱字面常量)身上。下面討論synchronized用到不同地方對代碼產生的影響：

假設P1、P2是同一個類的不同對象，這個類中定義了以下幾種情況的同步塊或同步方法，P1、P2就都能夠調用他們。

1．把synchronized當作函數修飾符時，示例代碼如下：

<span style="font-size:18px;">public synchronized void method(){
//….
}</span>

這也就是同步方法，那這時synchronized鎖定的是哪個對象呢？他鎖定的是調用這個同步方法對象。也就是說，當一個對象P1在不同的線程中執行這個同步方法時，他們之間會形成互斥，達到同步的效果。但是這個對象所屬的Class所產生的另一對象P2卻能夠任意調用這個被加了synchronized關鍵字的方法。上邊的示例代碼等同於如下代碼：

<span style="font-size:18px;">public void method()
{
synchronized (this) // (1)
{
//…..
}
}</span>

(1)處的this指的是什麼呢？他指的就是調用這個方法的對象，如P1。可見，同步方法實質是將synchronized作用於Object Reference。那個拿到了P1對象鎖的線程，才能夠調用P1的同步方法，而對P2而言，P1這個鎖和他毫不相干，程式也可能在這種情形下襬脫同步機制的控制，造成數據混亂。
2．同步塊，示例代碼如下：

<span style="font-size:18px;">public void method(SomeObject so) {
synchronized(so)
{
//…..
}
}</span>

這時，鎖就是so這個對象，誰拿到這個鎖誰就能夠運行他所控制的那段代碼。當有一個明確的對象作爲鎖時，就能夠這樣寫程式，但當沒有明確的對象作爲鎖，只是想讓一段代碼同步時，能夠創建一個特別的instance變量（它得是個對象）來充當鎖：

<span style="font-size:18px;">class Foo implements Runnable
{
private byte[] lock = new byte[0]; // 特別的instance變量
Public void method()
{
synchronized(lock) { //… }
}
//…..
}</span>

注：零長度的byte數組對象創建起來將比任何對象都經濟。查看編譯後的字節碼：生成零長度的byte[]對象只需3條操作碼，而Object lock = new Object()則需要7行操作碼。
3．將synchronized作用於static 函數，示例代碼如下：

<span style="font-size:18px;">Class Foo
{
public synchronized static void method1() // 同步的static 函數
{
//….
}
public void method2()
{
synchronized(Foo.class) // class literal(類名稱字面常量)
}
}</span>

代碼中的method2()方法是把class literal作爲鎖的情況，他和同步的static函數產生的效果是相同的，取得的鎖很特別，是當前調用這個方法的對象所屬的類（Class類，而不再是由這個Class產生的某個具體對象了）。