Re: [問題] synchronized的問題
※ 引述《abschihok (大帥哥)》之銘言：
: 請問以下二組各有何不同？
: 第一組：
: class Some{
: public static synchronized void method(){
: ......
: }
: }
: class Some{
: public synchronized void method(){
: ......
: }
: }
: 以上差別在有無static字眼
: 第二組：
: class Some{
: void method(){
: synchronized(Some.class){
: ....
: }
: }
: }
: class Some{
: void method( ){
: synchronized(this){
: ....
: }
: }
: }
: 請問以上兩組各有何不同？
: 我的看法是：
: 第一組：如果有加static的話，代表可以鎖住不同的Some 物件的thread，
: 如果沒加static的話，只能鎖住本身的Some物件的thread
: 第二組：其實也是和第一組的一樣，如果是synchronized(Some.class){}的話，
: 代表可以鎖住不同Some物件的thread
: 請問大家，我的答案是對的嗎？
第一組和第二組一樣，所以解釋第一組等同於一起解釋了第二組。
如果有加 static 的話，代表呼叫該方法的執行緒被同步於 Some.class
意思是如果有其他執行緒也被同步於 Some.class
只有一個執行緒能夠進入 critical section，同時鎖住 Some.class
其他被同步於 Some.class 的執行緒都必須等待...直到 Some.class 被解開為止。
你可以做個想像實驗 (舉例好麻煩，寫一寫發現至少要貼兩頁...乾脆不舉例)
有兩個不同的程式碼如下：
public class Clazz1 {
public void method() {
synchronized(Some.class) {
sleep("1 second"); // 睡一秒的虛擬碼
System.out.println("clazz1");
}
}
}
public class Clazz2 {
public void method() {
synchronized(Some.class) {
sleep("1 second"); // 睡一秒的虛擬碼
System.out.println("clazz2");
}
}
}
任一執行緒呼叫 Clazz1 物件的 method 時，會睡一秒之後印出 clazz1
在睡覺的同時，如果另一執行緒呼叫 Clazz2 物件的 method，必須等待 Clazz1
那邊睡飽並且印出 clazz1 之後才有機會進入 critical section：睡一秒再印出 clazz2
如果不加 static 的話，代表呼叫該方法的執行緒被同步於 this 物件
意思是如果有其他執行緒也被同步於相同的 this 物件
只有一個執行緒能夠進入 critical section，並且鎖住 this 物件
其他被同步於相同 this 物件的執行緒都必須等待...直到 this 物件被解開為止。
需要注意的是：並不是所有寫著 "this" 的物件都是同一個
以上面的程式碼而言，把所有 Some.class 都改成 this
這時候你應該會輕易看出 Clazz1 的 this 物件和 Clazz2 的 this 物件應該不會一樣
下面例子：
Clazz1 object1 = new Clazz1();
Clazz2 object2 = new Clazz2();
這個例子說明 object1 和 object2 不同，所以兩個 method() 方法內的
synchronized (this) {......}
看到的 this 物件當然也不同
所以 object1 物件呼叫 method() 睡一秒的同時
並『沒有』辦法讓 object2 物件等待 object1 睡飽才進入 critical section
而是兩者並行處理，無法確定誰會先印出訊息
先 clazz1 後 clazz2 或是先 clazz2 後 clazz1 就沒人知道了。
原因是兩者的 monitor 不同 (也就是 this 不同)
如果要讓 object2 等待 object1 睡飽才進入 critical section 的話
兩者 monitor 必須相同。
額外補充，synchronized (this) {......} 並非如上述那樣無用，反而是經常使用的。
當有需要執行緒同時對同一物件存取時，如果沒有用 synchronized (this) {......}
而是另外用到 mutex 物件： synchronized (mutex) {......}
不僅多浪費了些記憶體，還造成管理成員變數的複雜度。
--
靠印象打的，很少在寫多緒，如果有錯，還請不吝指正。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 122.117.172.148
※ 編輯: H45 來自: 122.117.172.148 (09/16 01:19)
※ 編輯: H45 來自: 122.117.172.148 (09/16 01:22)
※ 編輯: H45 來自: 122.117.172.148 (09/16 01:24)
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：