发明名称 METHOD AND SYSTEM FOR DETECTING CONCURRENCY PROGRAMMING ERRORS IN KERNEL MODULES AND DEVICE DRIVERS
摘要 The existence of errors and bugs in device drivers and other software operating in kernel space may be difficult to find and eliminate. A system and method for debugging computer programs may involve the use of several different modules. Running in the kernel space is an event monitor. Running in the user space is an event collector, an event player, and a concurrency error detector. This setup allows one to debug device driver software and other software that executes in kernel space using existing user space error detectors.
申请公布号 EP2956861(A4) 申请公布日期 2016.10.12
申请号 EP20130879846 申请日期 2013.03.27
申请人 INTEL CORPORATION 发明人 MA, ZHIQIANG
分类号 G06F11/36 主分类号 G06F11/36
代理机构 代理人
主权项
地址