【摘 要】
：
PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为ParallelRaft.ParallelRaft突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）,北京控制工程研究所
【基金项目】
：
国家自然科学基金(61932021,61772258),五〇二所空间先进计算与电子信息专业实验室开放基金(OBCandETL-2020-04)。
论文部分内容阅读
PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为ParallelRaft.ParallelRaft突破了Raft中顺序提交、顺序执行的限制,允许状态机乱序执行用户命令.然而文献表明:ParallelRaft并未开源,仅有简短的文字描述,更缺乏严格的形式化规约.更进一步,它的正确性也尚未经过必要的数学论证或形式化检验.旨在为ParallelRaft提供严格的形式化规约并证明其正确性,主要贡献包括:首先,为了理清ParallelRaft与Raft之间的关系,提出了允
其他文献
【目的】为推动河南省境内流域生态环境保护和高质量发展,准确掌握河南省境内区县和水系在四大流域中的分布情况。【方法】基于数字高程模型(DEM)数据,利用ArcGIS扩展模块Arc
计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功
世上事,有的真是说不清道不明,就说这西来镇吧,让我不由想起一段往事,可算是与其有缘。我是长江南岸镇江市人。镇江之东,也有个西来的名字,叫西来桥,是被一条小夹江从陆地划
展开技术借助分支进程可在一定程度上缓解Petri网性质分析中的状态爆炸问题.但展开网中仍然包含了系统的所有状态信息.某些应用问题仅需对系统特定状态的可覆盖性进行判定,以
针对近年生猪产业发展面临的困境,四川省政府制定和实施了重振川猪雄风的战略。而随着生猪养殖的逐步复苏,加工环节成为制约产业可持续发展的关键因素,存在产业规模小、效益
【目的】对位山闸改建后的引水能力进行预测。【方法】利用RBF神经网络非线性拟合能力强和遗传算法寻优能力强的优点,建立一种基于遗传算法(GA)优化RBF神经网络隐层各参数的
【目的】缓解东北粮食主产区地下水超采压力,促进地表水、地下水资源科学配置。【方法】以黑龙江省庆安县和平灌区为研究区,基于耗水均衡的地下水数值模拟模型,采用实测资料
中央财经委员会第六次会议做出推动成渝地区双城经济圈建设重大决策部署,成渝地区双城经济圈建设上升为国家重大战略,宜宾迎来前所未有的重大发展机遇。本文旨在分析宜宾融入
随着信息物理融合系统CPS(cyber physical system)研究的深入,CPS的安全性问题越来越受到人们的广泛关注,如何验证CPS时空不一致的安全性问题已经成为研究热点.针对该问题,提
近年来,宜宾市全面贯彻落实党的路线方针政策和国家的法律法规,坚持工业经济与环境保护融合发展,相得益彰。本文在全面了解宜宾市工业绿色发展现状、存在主要问题基础上,进一