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

作者: kyuudonut (善良老百姓)   2016-07-14 00:27:01
大家好 小弟想請問
如圖: http://imgur.com/F9cR4nv
先簡介:
這章主要在講透過 lock + atomic swap 達成 mutual exclusive access 的目的
防止 P2 在 c1 存取的值,還沒有存回,便被 P1 在 c3 存取
正常的情況是 P2 會先搶到 lock 鎖住共用變數
但是如果 P2 再跟 P1 或其他 Process 爭取lock時
P2 搶輸 P1 ,而讓 P1 的指令先執行呢?
有沒有什麼其他的設計可以防止這種情況?
懇請給個關鍵字,小弟會自行去查詢資料
謝謝!!
作者: Firstshadow (IamCatづミ'_'ミづ)   2016-07-14 01:11:00
感覺跟deadlock有關, 那四個條件
作者: odanaga (PixiyON)   2016-07-14 10:08:00
(?′?ω?)? 是第一影子 挖汙
作者: gary19941208   2016-07-14 10:52:00
這會跟scheduling有關,synchronization的方法只是符合mutual exclusive那三個標準,但是現實中還要考量到scheduling 的方法,照這個case的話p2比p1早到,那用FCFS就能避免p2搶輸了
作者: kyuudonut (善良老百姓)   2016-07-14 11:09:00
謝謝樓上們 有點概念了

Links booklink

Contact Us: admin [ a t ] ucptt.com