会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Detecting resource deadlocks in multi-threaded programs by controlling scheduling in replay
    • 通过控制重播中的调度来检测多线程程序中的资源死锁
    • US09052967B2
    • 2015-06-09
    • US12848023
    • 2010-07-30
    • Qi GaoMin Xu
    • Qi GaoMin Xu
    • G06F9/52G06F11/36
    • G06F9/524G06F11/3636
    • 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.
    • 一种用于确定目标多线程软件应用程序中潜在的死锁状况的方法和系统。 目标应用程序首先在虚拟机中运行,并记录应用程序中的事件。 记录的事件被重放和分析,以识别在应用程序的线程之间发生的潜在锁定获取冲突。 通过分析获得资源锁定的顺序来识别潜在锁获取冲突,并分析具有以不同顺序获得的相应锁的资源对。 这些分析的对用于定义目标应用程序中不同的事件顺序,当目标应用程序以二次事件重新运行时,可能会触发死锁条件。 然后,目标应用程序以不同的事件顺序重新运行,以尝试触发,然后识别潜在的死锁情况。
    • 9. 发明申请
    • METHOD AND SYSTEM FOR USING A VIRTUALIZATION SYSTEM TO IDENTIFY DEADLOCK CONDITIONS IN MULTI-THREADED PROGRAMS BY CONTROLLING SCHEDULING IN REPLAY
    • 使用虚拟化系统通过控制重排调度来识别多线程程序中的死锁条件的方法和系统
    • US20120030657A1
    • 2012-02-02
    • US12848023
    • 2010-07-30
    • Qi GaoMin Xu
    • Qi GaoMin Xu
    • G06F9/44
    • G06F9/524G06F11/3636
    • 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.
    • 一种用于确定目标多线程软件应用程序中潜在的死锁状况的方法和系统。 目标应用程序首先在虚拟机中运行,并记录应用程序中的事件。 记录的事件被重放和分析,以识别在应用程序的线程之间发生的潜在锁定获取冲突。 通过分析获得资源锁定的顺序来识别潜在锁获取冲突,并分析具有以不同顺序获得的相应锁的资源对。 这些分析的对用于定义目标应用程序中不同的事件顺序,当目标应用程序以二次事件重新运行时,可能会触发死锁条件。 然后,目标应用程序以不同的事件顺序重新运行,以尝试触发,然后识别潜在的死锁情况。