【摘 要】
：
大规模的分布式数据库中,诸如网络分区、信息丢失、节点宕机等软硬件故障无法避免.为了提高分布式数据库的可靠性、验证容错协议的正确性,分布式数据库应定期进行故障注入测
【基金项目】
：
国家重点研发计划(2018YFB1003404),国家自然科学基金(61972149)
论文部分内容阅读
大规模的分布式数据库中,诸如网络分区、信息丢失、节点宕机等软硬件故障无法避免.为了提高分布式数据库的可靠性、验证容错协议的正确性,分布式数据库应定期进行故障注入测试,即在系统运行过程中人为引发故障.然而各种故障的组合空间太大,无法枚举.已有的测试方法:一类是随机式故障组合,其实现方法简单但不能保证探索了所有的故障组合;另一类是通过专业知识分析系统构成并设计的故障组合,其测试结果更加完善但不具备普及性.以线性数据驱动的故障注入测试LDFI (Lineage-Driven Fault Injection)为原
其他文献
自"数据+业务"的双中台架构被提出以来,中台间数据进行安全交互的效能显得尤为重要.基于此,本研究提出了一种高效的交互式协议,在借助区块链双链结构保证数据安全可信的情况
本文研究了非齐次非线性薛定谔方程爆破解的存在性.首先构造了一类不变集,然后应用最佳Gagliardo-Nirenberg型不等式以及仔细的分析证明了对任意大的μ,存在u0∈H1,使得E(u0)
综述了语义文本相似度计算的最新研究进展,主要包括基于字符串、基于统计、基于知识库和基于深度学习的方法.针对每一类方法,不仅介绍了其中典型的模型和方法,而且深入探讨了
【正】难点之一:中小金融机构存款信誉不佳,支付压力很大.近年国内发生的一些支付风波事件如海南发展银行和广东国投关闭以及某些地方城市信用社挤提事件,对中小金融机构的声
本文通过例举传统解剖教学中的一些不足,初步探讨外科学与解剖学创新型教学模式的实践、意义及效果。这一系列新的教学尝试对医学人才的培养及促进医学院校教学改革具有一定
作者结合近几年的教学经验，就如何提高神经系统的教学效果谈几点体会，其目的是提高神经系统的教学质量。
本文主要分析了东亚发展模式的主要内容及其产生背景.认为东亚模式虽是一个区域性的经济发展模式,但其形成和发展又与非经济因素密切相关.文章从宏观的历史发展角度出发,在虑
老年性痴呆,又称阿尔茨海默病（Alzheimer＇s disease,AD）,是发生在老年期及老年前期的一种慢性进行性发展的致死性中枢神经系统神经退行性疾病。随着寿命的延长,AD的患病年龄越来
我国以前的养老保险实际执行的是企业保险,为了在社会主义市场经济条件下重塑社会稳定器,应进行养老保险制度改革,而九十年代以来的一系列改革措施已起到了良好的社会作用。
月球车是搭载探测任务的可移动多功能机器人.月球车在实际地形行驶中,从起点到目标点之间除了选择最优路径,还应该将地形、障碍物等影响因素考虑进去.地形的主要影响因素是陡