Relaxing real-time order in opacity and linearizability

详细信息    查看全文

• 作者：Tadeusz Kobus ; ^{Tadeusz.Kobus@cs.put.edu.pl}Author Vitae ; Maciej Kokociński ^{Maciej.Kokocinski@cs.put.edu.pl}Author Vitae ; Paweł T. Wojciechowski ^{Pawel.T.Wojciechowski@cs.put.edu.pl}Author Vitae
• 关键词：Correctness ; Opacity ; Linearizability ; Deferred update replication
• 刊名：Journal of Parallel and Distributed Computing
• 出版年：2017
• 出版时间：February 2017
• 年：2017
• 卷：100
• 期：Complete
• 页码：57-70
• 全文大小：853 K
• 卷排序：100

文摘

New properties relaxing to various degree opacity and linearizability are proposed. A formal relationship between opacity and linearizability is provided. Deferred Update Replication guarantees update-real-time opacity.