[理工] [計組] 支援平行程式的同步指令

[kyuudonut (CC)]

大家好 小弟想請問

如圖: http://imgur.com/F9cR4nv

先簡介:

這章主要在講透過 lock + atomic swap 達成 mutual exclusive access 的目的

防止 P2 在 c1 存取的值，還沒有存回，便被 P1 在 c3 存取

正常的情況是 P2 會先搶到 lock 鎖住共用變數

但是如果 P2 再跟 P1 或其他 Process 爭取lock時

P2 搶輸 P1 ，而讓 P1 的指令先執行呢？

有沒有什麼其他的設計可以防止這種情況？

懇請給個關鍵字，小弟會自行去查詢資料

謝謝!!

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.132.251.85
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1468427224.A.F27.html
→ Firstshadow: 感覺跟deadlock有關, 那四個條件
推 odanaga: (?′?ω?）? 是第一影子 挖汙
推 gary19941208: 這會跟scheduling有關，synchronization的方法只是
→ gary19941208: 符合mutual exclusive那三個標準，但是現實中還要
→ gary19941208: 考量到scheduling 的方法，照這個case的話p2比p1早
→ gary19941208: 到，那用FCFS就能避免p2搶輸了
→ kyuudonut: 謝謝樓上們 有點概念了