[理工] 107电机丙 OS 分布式/并行控制 atomic

楼主: mistel (Mistel)   2020-01-28 22:31:49
https://i.imgur.com/eShFF25.jpg
想问的是2题的c,d选项
C选项:
2PL保证serializability,我认为是对的,想问乐观锁(optimistic concurrency control)
是否有保证serializability?
D选项说时间戳也保证conflict serializability应该也是对的?
另外想问2PL跟时间戳这两个机制不都要有一台server保管相关资讯吗?那么这两个机制主
要的差异在哪(效能/缺点/使用时机等等
另外我看到中央过去某年有考过一个选项是说
mutual exclusion可以保证atomic,想问这两个之间有什么关系存在吗?
感谢
作者: FRAXIS (喔喔)   2020-01-28 22:34:00
atomic 是指 operation, 必须要有 atomic operation才能建立 concurrency 的机制 像是 mutual exclusion
作者: b10007034 (Warren)   2020-01-29 15:15:00
第二题的D可以等效成另一种问法,在C.S.的process是否可以context switch?
楼主: mistel (Mistel)   2020-01-29 16:00:00
有道理

Links booklink

Contact Us: admin [ a t ] ucptt.com