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

Deadlock Detection Method for Embedded System Based on Pile Record

作　　者：席卫华[1] 

机构地区：[1]江苏联合职业技术学院无锡机电分院,江苏无锡214028

出　　处：《软件导刊》2017年第12期22-25,29,共5页Software Guide

摘　　要：针对嵌入式系统死锁缺陷问题,提出了一种基于Lamport clock插桩记录的嵌入式系统死锁检测方法——LPM(Lamport clock Pile Record Deadlock Detection Method)。首先利用Lamport clock对嵌入式程序线程关系、资源依赖关系进行记录,然后离线提取日志记录信息,获取资源图并进行死锁检测。仿真实验表明,与经典的插桩机制相比,该方法可有效降低插桩开销并能准确检测出死锁。Aiming at the problem that the deadlock of the embedded system is more difficult than the usual computer software,a deadlock detection method based on Clock Lamport interpolation is presented in this paper—LPM（Lamport clock Pile Record Deadlock Detection Method）.In this method,the Lamport clock is used to record the relationship between the thread and the resource dependence.Then the log information is extracted,the resource map is obtained and the deadlock detection is carried out.Experimental simulation results have shown that this method can effectively reduce the overhead of the pile,and can detect the deadlock accurately.

关 键 词：嵌入式系统 LPM Lamport CLOCK 插桩 死锁检测 

分 类 号：TP306[自动化与计算机技术—计算机系统结构]