[理工] 107電機丙 OS 分散式/並行控制 atomic

[mistel (Mistel)]

https://i.imgur.com/eShFF25.jpg
想問的是2題的c,d選項

C選項：
2PL保證serializability，我認為是對的，想問樂觀鎖(optimistic concurrency control)
是否有保證serializability？

D選項說時間戳也保證conflict serializability應該也是對的？

另外想問2PL跟時間戳這兩個機制不都要有一台server保管相關資訊嗎？那麼這兩個機制主
要的差異在哪（效能/缺點/使用時機等等


另外我看到中央過去某年有考過一個選項是說
mutual exclusion可以保證atomic，想問這兩個之間有什麼關係存在嗎？

感謝

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 223.137.174.126 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1580221911.A.1D3.html
推 FRAXIS: atomic 是指 operation, 必須要有 atomic operation
→ FRAXIS: 才能建立 concurrency 的機制 像是 mutual exclusion
請問F大，那這樣2題的D選項應該是正確的是嗎？謝謝
https://i.imgur.com/JfjbCvt.jpg
※ 編輯: mistel (223.137.174.126 臺灣), 01/28/2020 22:41:13
→ b10007034: 第二題的D可以等效成另一種問法，在C.S.的process是否
→ b10007034: 可以
→ b10007034: context switch？
→ mistel: 有道理