-
公开(公告)号：CN116225727A
公开(公告)日：2023-06-06
申请号：CN202310271041.3
申请日：2023-03-17
Applicant: 上海交通大学
IPC: G06F9/52 , G06F16/242
Abstract: 本发明提供了一种针对大规模应用程序的数据库死锁诊断方法及系统，包括：步骤S1：将待测应用程序的单元测试使用动态符号执行引擎运行，并收集执行记录；步骤S2：基于收集的执行记录构建事务级别冲突图，基于事务级别冲突图选择事务冲突环，分别根据事务冲突环构建相应的语句级别冲突图；基于语句级别冲突图提取语句冲突环；步骤S3：分别分析语句冲突环中所有冲突边是否可能产生锁冲突，当所有冲突边均可能产生锁冲突，则基于语句冲突环生成相应的死锁判定条件，并输入至SMT求解器进行求解，当求解结果为SAT，则表示有死锁发生，并提供诊断报告；当求解结果为UNSAT或求解时间超时，则表示没有死锁发生。
Search Results
1
records
(took 0.016 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
