{"title":"如何在分布式共享记忆的一致性标准丛林中找到自己的路(或者如何逃离米诺斯的迷宫)","authors":"M. Raynal, M. Mizuno","doi":"10.1109/FTDCS.1993.344136","DOIUrl":null,"url":null,"abstract":"Surveys consistency criteria that have been proposed, and sometimes implemented, for distributed shared objects and memories. Linearizability, sequential consistency, hybrid consistency and causal consistency are particularly emphasized. These criteria are precisely analyzed and protocols that implement them are described. It is suggested that the hybrid consistency, introduced by Attiya and Friedman (1992), constitutes Ariadne's clue to understanding this jungle of consistency criteria.<<ETX>>","PeriodicalId":251095,"journal":{"name":"1993 4th Workshop on Future Trends of Distributed Computing Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-09-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"25","resultStr":"{\"title\":\"How to find his way in the jungle of consistency criteria for distributed shared memories (or how to escape from Minos' labyrinth)\",\"authors\":\"M. Raynal, M. Mizuno\",\"doi\":\"10.1109/FTDCS.1993.344136\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Surveys consistency criteria that have been proposed, and sometimes implemented, for distributed shared objects and memories. Linearizability, sequential consistency, hybrid consistency and causal consistency are particularly emphasized. These criteria are precisely analyzed and protocols that implement them are described. It is suggested that the hybrid consistency, introduced by Attiya and Friedman (1992), constitutes Ariadne's clue to understanding this jungle of consistency criteria.<<ETX>>\",\"PeriodicalId\":251095,\"journal\":{\"name\":\"1993 4th Workshop on Future Trends of Distributed Computing Systems\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-09-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"25\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1993 4th Workshop on Future Trends of Distributed Computing Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/FTDCS.1993.344136\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1993 4th Workshop on Future Trends of Distributed Computing Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FTDCS.1993.344136","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
How to find his way in the jungle of consistency criteria for distributed shared memories (or how to escape from Minos' labyrinth)
Surveys consistency criteria that have been proposed, and sometimes implemented, for distributed shared objects and memories. Linearizability, sequential consistency, hybrid consistency and causal consistency are particularly emphasized. These criteria are precisely analyzed and protocols that implement them are described. It is suggested that the hybrid consistency, introduced by Attiya and Friedman (1992), constitutes Ariadne's clue to understanding this jungle of consistency criteria.<>