基于静态分析的分布式数据库死锁检测方法  

Deadlock Detection of Distributed Database Based on Static Analysis

作　　者：李银萍[1] LI Yinping(Anhui Wenda Information Engineering College,Hefei 231201,China)

机构地区：[1]安徽文达信息工程学院,安徽合肥231201

出　　处：《信息工程大学学报》2022年第3期331-336,共6页Journal of Information Engineering University

摘　　要：由于当前使用的关联规则挖掘、支撑集融合检测方法受到空间爆炸问题影响,不能及时更新分布式数据库死锁集合,导致检测误差大等问题。因此,对基于静态分析的分布式数据库死锁检测方法进行了研究。对分布式数据库进行分析,及时更新分布式数据库死锁集合,静态分析分布式数据库空间爆炸问题,建立常微分方程,处理频繁访问分布式数据库行为的死锁集合。设计没有节点失效和有节点失效的死锁检测过程,完成分布式数据库死锁检测。由实验验证结果可知,该方法与实验数据最大误报误差为2个,具有精准的检测结果。Since the current association rule mining and support set fusion detection methods are affected by space explosion,they can not update the deadlock set of distributed database in time,resulting in large detection error and so on.Therefore,the deadlock detection method of distributed database based on static analysis is studied.First,the distributed database is analyzed,and the deadlock set of the distributed database is updated in time.Further,the spatial explosion of the distributed database is statically analyzed,the ordinary differential equations are established,and the deadlock set frequently accessing the distributed database is handled.The deadlock detection process without node failure and with node failure is designed to complete the deadlock detection of distributed database.Experimental results show that the maximum false positive error between the method and the experimental data is 2,verifying the accuracy of detection results.

关 键 词：静态分析 分布式数据库 死锁检测 空间爆炸 常微分方程 

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