Invention Application
US20120030657A1 METHOD AND SYSTEM FOR USING A VIRTUALIZATION SYSTEM TO IDENTIFY DEADLOCK CONDITIONS IN MULTI-THREADED PROGRAMS BY CONTROLLING SCHEDULING IN REPLAY 有权
使用虚拟化系统通过控制重排调度来识别多线程程序中的死锁条件的方法和系统

  • Patent Title: METHOD AND SYSTEM FOR USING A VIRTUALIZATION SYSTEM TO IDENTIFY DEADLOCK CONDITIONS IN MULTI-THREADED PROGRAMS BY CONTROLLING SCHEDULING IN REPLAY
  • Patent Title (中): 使用虚拟化系统通过控制重排调度来识别多线程程序中的死锁条件的方法和系统
  • Application No.: US12848023
    Application Date: 2010-07-30
  • Publication No.: US20120030657A1
    Publication Date: 2012-02-02
  • Inventor: Qi GaoMin Xu
  • Applicant: Qi GaoMin Xu
  • Main IPC: G06F9/44
  • IPC: G06F9/44
METHOD AND SYSTEM FOR USING A VIRTUALIZATION SYSTEM TO IDENTIFY DEADLOCK CONDITIONS IN MULTI-THREADED PROGRAMS BY CONTROLLING SCHEDULING IN REPLAY
Abstract:
A method and system for determining potential deadlock conditions in a target multi-threaded software application. The target application is first run in a virtual machine and the events within the application are recorded. The recorded events are replayed and analyzed to identify potential lock acquisition conflicts occurring between threads of the application. The potential lock acquisition conflicts are identified by analyzing the order in which resource locks are obtained and pairs of resources that have respective locks obtained in different orders are analyzed. These analyzed pairs are used to define a different order of events in the target application that, when the target application is re-run with the second order of events, may trigger a deadlock condition. The target application is then re-run with the different order of events in an attempt to trigger and then identify potential deadlock situations.
Information query
Patent Agency Ranking
0/0