分布式数据库多级一致性统一建模理论研究  

Theoretical Study on Multi-level Consistency Modeling in Distributed Databases

作　　者：水治禹 卢卫 赵展浩 何粤阳 张孝[1,2] 杜小勇[1,2] SHUI Zhi-Yu;LU Wei;ZHAO Zhan-Hao;HE Yue-Yang;ZHANG Xiao;DU Xiao-Yong(Key Laboratory of Data Engineering and Knowledge Engineering(Renmin University of China),Beijing 100872,China;School of Information,Renmin University of China,Beijing 100872,China)

机构地区：[1]数据工程与知识工程教育部重点实验室(中国人民大学),北京100872 [2]中国人民大学信息学院,北京100872

出　　处：《软件学报》2023年第5期2392-2412,共21页Journal of Software

基　　金：国家自然科学基金(61972403,61732014);中央高校基本科研业务费专项资金(20XNLG22);中国人民大学-腾讯联合实验室联合项目基金。

摘　　要：分布式数据库系统出现了支持多协调器和多副本存储的新架构,这给事务调度的正确性带来了新的挑战,包括缺少中心协调器带来的新数据异常以及多副本机制带来的读取数据一致性等问题.基于事务隔离级别和分布式系统一致性协议的定义,为多协调器多副本分布式数据库的事务多级一致性构建了一个混合依赖图模型.该形式化模型为事务的正确调度提供具有鲁棒性的评价标准,可以方便地对数据库事务调度情况进行动态或静态分析检验.A new architecture that supports multiple coordinators and multi-replica storage has emerged in distributed database systems,which brings new challenges to the correctness of transaction scheduling.The challenges are represented by new data anomalies caused by the lack of a central coordinator and data inconsistency caused by the multi-replica mechanism.Based on the definition of transaction isolation levels and consistency protocols for distributed systems,this study constructs a unified hybrid dependency graph model for transactional multi-level consistency in multi-coordinator and multi-replica distributed databases.The model provides a robust standard for evaluating the correctness of transaction scheduling,which can facilitate dynamic or static analysis of transaction scheduling in databases.

关 键 词：分布式数据库 一致性 隔离级别 混合依赖图 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]