【摘 要】
：
分布式存储系统数据副本一致性即同一数据项在不同物理节点上的差异程度.提出了执行历史图(execution history graph,EHG)的概念,并设计出基于EHG的一致性检测算法.对于长度
【机 构】
：
清华大学软件学院 北京 100084
论文部分内容阅读
分布式存储系统数据副本一致性即同一数据项在不同物理节点上的差异程度.提出了执行历史图(execution history graph,EHG)的概念,并设计出基于EHG的一致性检测算法.对于长度为n、最大并行度为p的执行历史,算法可以在O(n lg n+np)的时间内正确度量出执行历史的安全一致性和普通一致性,远快于已有的时间复杂度为O(n2)的基于有向无环图(directed acyclic graph,DAG)的检测算法.本算法通过分析执行历史中操作之间的并行与顺序关系,构造出执行历史图,并在执行历史图的基础上模拟执行历史运行时数据项的值的变化情况,从而找出所有违反安全和普通一致性的读操作.在Cassandra系统上通过和DAG算法的对比,验证了EHG算法的正确性与高效性,并分析出了算法执行时间和并行度、执行历史长度的关系,以及并行度对执行历史一致性程度的影响.
其他文献
冲突消解俨然成为数据集成中非常重要的过程,如何高效地从冲突描述中发现真值具有重要的研究意义.随着原始数据中混乱描述集的比例越来越大,现有的方法准确率也逐渐降低.针对
石灰水浸泡法用0.2%浓度的石灰澄清液,浸泡松、杉等针叶树干燥的木屑12～24小时,捞起后用清水冲洗至无浑浊,pH在7以下为止,再将水沥干,晒干后待用。如气温在20℃以下,上述浓度
随着我国经济与科技的不断发展,人们的生活水平普遍得到了提升,而汽车作为人们出行的主要工具,人们对于它的需求量也越来越大,基于此,汽车维修与保养行业迎来了商机,并以极快
在黑海和里海之间,是格鲁吉亚的一个叫做科卡萨斯的地方。那里超过100岁的老人很多,而且身体健康,不少人仍然能够劳作。1986年,世界卫生组织派出的调查组到那里进行调查,得到
为了解决类/微型驱动模型在实际应用中存在的问题,引入策略模式的思想,对驱动模型进行分析、修改,并结合双EDMA通道数据传输的方式进行视频驱动开发,不但可以提高视频驱动程
语文已经成为教学改革中的重点,素质教育的基础,小学语文是学生学习的开端.就目前而言,小学语文课堂教学已经发生了较大的改进,作为基础性教学,如何在实际的课堂教学中提高学
以微博为主要载体的网络新词具有数量多、口语化、不严谨、波动性强的特点.根据这些特点和网络新词的产生规律,提出了使用规则和N-Gram的网络新词提取方法,通过拼音和中文词
时值三九严寒,临近春节,几天来工作繁忙紧张劳累,没想到1月14日那天早晨,我突然患了感冒,鼻塞、流涕、打喷嚏、咳嗽连声,接着出现了头痛、眼眶痛、全身酸懒不适,还略感微热。
苹果在贮藏期有生理病害和真菌病害两大类病害引起烂果,做好这两类病害的防治工作,对苹果的长期贮藏、保鲜和增值具有重要作用。一、生理病害贮藏期生理病的发生与果实采收
文章分析了网络环境下高校图书馆读者荐购的完善手段.高校内部开展读者荐购其主要原因是为了使读者融入到高校图书馆文献资源建设中去,使读者获得更好的阅读体验.现阶段读者