作者mistel (Mistel)
看板Grad-ProbAsk
标题[理工] 107电机丙 OS 分散式/并行控制 atomic
时间Tue Jan 28 22:31:49 2020
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://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1580221911.A.1D3.html
1F：推 FRAXIS: atomic 是指 operation, 必须要有 atomic operation01/28 22:34
2F：→ FRAXIS: 才能建立 concurrency 的机制 像是 mutual exclusion01/28 22:35
请问F大，那这样2题的D选项应该是正确的是吗？谢谢
https://i.imgur.com/JfjbCvt.jpg
※ 编辑: mistel (223.137.174.126 台湾), 01/28/2020 22:41:13
3F：→ b10007034: 第二题的D可以等效成另一种问法，在C.S.的process是否 01/29 15:15
4F：→ b10007034: 可以 01/29 15:15
5F：→ b10007034: context switch？ 01/29 15:15
6F：→ mistel: 有道理 01/29 16:00