基于记录重播的嵌入式系统死锁检测方法

摘要

针对嵌入式系统死锁缺陷问题,提出了一种基于Lamport clock插桩记录的嵌入式系统死锁检测方法——LPM（Lamport clock Pile Record Deadlock Detection Method）。首先利用Lamport clock对嵌入式程序线程关系、资源依赖关系进行记录,然后离线提取日志记录信息,获取资源图并进行死锁检测。仿真实验表明,与经典的插桩机制相比,该方法可有效降低插桩开销并能准确检测出死锁。