【技术实现步骤摘要】
系统死锁的检测方法及系统
本专利技术涉及一种并发检错的方法，特别是涉及一种系统死锁的检测方法及系统。
技术介绍
并发程序常常伴随着不易被检测的并发错误，像是死锁，数据竞争等。由于这些并发错误在绝大多数执行顺序下不会出现，只有在某些特定的执行顺序下才会触发这些并发错误，因此常常需要花费较大的开销才能捕捉这些错误。系统的并发与资源的共享性是并发多线程的主要特征，其目的是提高系统的效率。死锁是并发系统必须解决的问题。综上所述，现有技术中存在死锁检测及抑制效果较差的技术问题。
技术实现思路
鉴于以上现有技术存在对并发死锁的抑制效果较差的技术问题，本专利技术的目的在于提供一种系统死锁的检测方法及系统，解决现有技术存在的对并发死锁的抑制效果较差的技术问题，一种系统死锁的检测方法，包括：获取多个线程的并发资源数据和调度序列信息，据以获取读锁写锁数据和抑制死锁数据；根据读锁写锁数据和抑制死锁数据，对每一线程构建一线程解锁全局读弧模型；处理线程解锁全局读弧模型，以得到全局读弧模型；获取预设死锁验证信息，根据全局读弧...
【技术保护点】
1.一种系统死锁的检测方法，其特征在于，包括：/n获取多个线程的并发资源数据和调度序列信息，据以获取读锁写锁数据和抑制死锁数据；/n根据所述读锁写锁数据和所述抑制死锁数据，对每一所述线程构建一线程解锁模型；/n处理所述线程解锁模型，以得到全局读弧模型；/n获取预设死锁验证信息，根据所述全局读弧模型获取死锁检测数据。/n
【技术特征摘要】
1.一种系统死锁的检测方法，其特征在于，包括：
获取多个线程的并发资源数据和调度序列信息，据以获取读锁写锁数据和抑制死锁数据；
根据所述读锁写锁数据和所述抑制死锁数据，对每一所述线程构建一线程解锁模型；
处理所述线程解锁模型，以得到全局读弧模型；
获取预设死锁验证信息，根据所述全局读弧模型获取死锁检测数据。
2.根据权利要求1所述的方法，其特征在于，所述获取读锁写锁数据和抑制死锁数据的步骤，包括：
获取每一所述线程的站点标记数据；
根据所述站点标记数据获取分布存储数据；
处理所述调度序列信息和所述分布存储数据，以获取分布数据操作信息；
分析所述分布数据操作信息，以得到所述读锁写锁数据、抑制弧设置数据和抑锁变迁转换数据。
3.根据权利要求1或2所述的方法，其特征在于，所述构建线程解锁模型的步骤，包括：
分析所述读锁写锁数据，得到变迁数据；
提取所述抑制死锁数据中的抑制弧设置数据和抑锁变迁转换数据；
根据所述变迁数据、所述抑制弧设置数据和所述抑锁变迁转换数据构造所述线程解锁模型。
4.根据权利要求1所述的方法，其特征在于，所述获取全局读弧模型的步骤，包括：
获取化简信息；
根据所述化简信息化简所述线程解锁模型，以得到线程简化模型；
获取合成数据；
根据所述合成数据处理所述线程简化模型，以得到全局读弧模型。
5.根据权利要求1所述的方法，其特征在于，所述获取并处理死锁数据的步骤，包括：
分析所述全局读弧模型，以得到有向弧数据；
处理所述有向弧数据，以得到读弧数据；
根据所述读弧数据和所述预设死锁验证信息判断所述线程间是否存在共享障碍；
若是，则判定所述被测系统死锁；
若否，则判定所述被测系统正常。
6.一种系统死锁的检测系统，其特征在于，包括：
线程数据模块，用以获取多个线程的并发资源数据和调度序列信息，据以获取读锁写锁数据和抑制死锁数据；
解锁模型构建模块，用以根据所述读锁写锁数据和所述抑制死锁数据，对...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。