[理工] [OS] test-and-set

[galapous (墨)]

想問的是使用此指令在design criticl section時，

恐龍的部分程式碼如下，

do{
    waiting[i] = True;
    key = True;
    while ( waiting[i] && key )
        key = TestAndSet(&lock);

                C.S.

    j = ( i+1 ) % n;
    while ( j != i && !waiting[j] )
    j = ( j+1 ) % n;
    if ( j = = i )
      lock = False;
    else
      waiting[j] = False;

                R.S
  }while(true);

第三行到第五行為何不能簡寫成如下呢？

    while(waiting[i] && TestAndSet(&lock))
        do no-ip

不了解為什麼要用一個key去接他的值。

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 36.228.111.134
※ 文章網址: http://www.ptt.cc/bbs/Grad-ProbAsk/M.1419426459.A.260.html
※ 編輯: galapous (36.228.111.134), 12/24/2014 21:09:38
※ 編輯: galapous (36.228.111.134), 12/24/2014 21:10:05
推 A4P8T6X9: 為了讓人覺得有拿到 key？
推 coilion9670: 個人淺見不知道對不對
→ coilion9670: while判斷時中呼叫副程式再傳回這樣花的時間比較久
→ coilion9670: 當有process卡在while中無法進入臨界區間就會一直
→ coilion9670: call副程式,如果寫在while判斷後就可以避免此時間的
→ coilion9670: 浪費
→ coilion9670: call副程式還有可能有搶資源的情形,能避免應該會是
→ coilion9670: 一大助益
→ galapous: 但照原本那樣寫也是每個while會call一次test-and-set不
→ galapous: 是嗎？
→ kkk99512: 這份Code在出口段的地方是不是有避免Starvation的動作？
→ kkk99512: 如果是的話，因為要做環狀的檢查，然後指定下一個進入
→ kkk99512: C.S的Process，才會在入口段的地方加入這些條件
→ galapous: 出口有在沒process想進來時把lock設成false,完全沒動到
→ galapous: key,所以才想說為啥不能省略掉
→ kkk99512: 就是說出口地方，會指定下一個進C.S的程式是誰，不改Key
→ kkk99512: 因為如果改到Key的話，會造成大家一起搶Key
→ kkk99512: 如果有一隻很衰一直搶不到，就違反Bounded-waiting了
推 kkk99512: 這樣可以在保持Key不變的狀況下，指定某隻程式接續執行
→ qoojordon: kkk的解釋蠻好der , 受教惹  , 謝謝你
→ galapous: 如果多個process想進入的話下面是改waiting變成false
→ galapous: 假設現在process i從c.s.出來，那只有從i開始檢查一輪到
→ galapous: process i-1都沒人想進去，才會改lock成false，這樣應該
→ galapous: 沒有bounded-waiting問題吧？因為沒人想進等於重新開始?
→ galapous: 還是我哪邊想錯了ＱＱ
補上完整程式碼
※ 編輯: galapous (36.228.111.134), 12/25/2014 20:31:20
→ qoojordon: bounded waiting有錯是發生在入口,原先有key的寫法我
推 qoojordon: 更正 , 這份程式後半段和Peterson不同,我誤會惹
→ kkk99512: 我想我了解您的意思了，一下子沒有看清楚 不好意思
→ kkk99512: 而且我開始覺得您說得好像有點道理