作者:席卫华嵌入式系统lpmlamportclock插桩死锁检测
摘要:针对嵌入式系统死锁缺陷问题,提出了一种基于Lamport clock插桩记录的嵌入式系统死锁检测方法——LPM(Lamport clock Pile Record Deadlock Detection Method)。首先利用Lamport clock对嵌入式程序线程关系、资源依赖关系进行记录,然后离线提取日志记录信息,获取资源图并进行死锁检测。仿真实验表明,与经典的插桩机制相比,该方法可有效降低插桩开销并能准确检测出死锁。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社