Invention Grant
US09052967B2 Detecting resource deadlocks in multi-threaded programs by controlling scheduling in replay 有权
通过控制重播中的调度来检测多线程程序中的资源死锁

  • Patent Title: Detecting resource deadlocks in multi-threaded programs by controlling scheduling in replay
  • Patent Title (中): 通过控制重播中的调度来检测多线程程序中的资源死锁
  • Application No.: US12848023
    Application Date: 2010-07-30
  • Publication No.: US09052967B2
    Publication Date: 2015-06-09
  • Inventor: Qi GaoMin Xu
  • Applicant: Qi GaoMin Xu
  • Applicant Address: US CA Palo Alto
  • Assignee: VMware, Inc.
  • Current Assignee: VMware, Inc.
  • Current Assignee Address: US CA Palo Alto
  • Main IPC: G06F9/52
  • IPC: G06F9/52 G06F11/36
Detecting resource deadlocks 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