移动分布式计算中的一致性问题

Principles of Mobile Computing Pub Date : 2002-10-30 DOI:10.1145/584490.584501

R. Guerraoui, C. Hari

{"title":"移动分布式计算中的一致性问题","authors":"R. Guerraoui, C. Hari","doi":"10.1145/584490.584501","DOIUrl":null,"url":null,"abstract":"This paper describes some preliminary steps towards defining a consistency criteria for mobile replicated systems using operational transformations. Our criterion lies between traditional strong criteria, preventing divergence, and traditional weak criteria, not enforcing any eventual form of convergence. We give a precise definition of our criterion and discuss its use to state the correctness and incorrectness of some existing practical algorithms.","PeriodicalId":344182,"journal":{"name":"Principles of Mobile Computing","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2002-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"24","resultStr":"{\"title\":\"On the consistency problem in mobile distributed computing\",\"authors\":\"R. Guerraoui, C. Hari\",\"doi\":\"10.1145/584490.584501\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes some preliminary steps towards defining a consistency criteria for mobile replicated systems using operational transformations. Our criterion lies between traditional strong criteria, preventing divergence, and traditional weak criteria, not enforcing any eventual form of convergence. We give a precise definition of our criterion and discuss its use to state the correctness and incorrectness of some existing practical algorithms.\",\"PeriodicalId\":344182,\"journal\":{\"name\":\"Principles of Mobile Computing\",\"volume\":\"28 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2002-10-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"24\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Principles of Mobile Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/584490.584501\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Principles of Mobile Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/584490.584501","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 24

摘要

本文描述了为使用操作转换的移动复制系统定义一致性标准的一些初步步骤。我们的标准介于传统的强标准(防止分歧)和传统的弱标准(不强制任何最终形式的收敛)之间。我们给出了准则的精确定义，并讨论了如何用它来说明一些现有的实用算法的正确性和不正确性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

On the consistency problem in mobile distributed computing

This paper describes some preliminary steps towards defining a consistency criteria for mobile replicated systems using operational transformations. Our criterion lies between traditional strong criteria, preventing divergence, and traditional weak criteria, not enforcing any eventual form of convergence. We give a precise definition of our criterion and discuss its use to state the correctness and incorrectness of some existing practical algorithms.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Principles of Mobile Computing

自引率

0.00%

发文量