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

    公开(公告)号:US09052967B2

    公开(公告)日:2015-06-09

    申请号:US12848023

    申请日:2010-07-30

    申请人: Qi Gao Min Xu

    发明人: Qi Gao Min Xu

    IPC分类号: G06F9/52 G06F11/36

    CPC分类号: G06F9/524 G06F11/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.

    摘要翻译: 一种用于确定目标多线程软件应用程序中潜在的死锁状况的方法和系统。 目标应用程序首先在虚拟机中运行,并记录应用程序中的事件。 记录的事件被重放和分析,以识别在应用程序的线程之间发生的潜在锁定获取冲突。 通过分析获得资源锁定的顺序来识别潜在锁获取冲突,并分析具有以不同顺序获得的相应锁的资源对。 这些分析的对用于定义目标应用程序中不同的事件顺序,当目标应用程序以二次事件重新运行时,可能会触发死锁条件。 然后,目标应用程序以不同的事件顺序重新运行,以尝试触发,然后识别潜在的死锁情况。

    Mono-lysine salts of azole compounds
    7.
    发明申请
    Mono-lysine salts of azole compounds 审中-公开
    唑化合物的单赖氨酸盐

    公开(公告)号:US20060264406A1

    公开(公告)日:2006-11-23

    申请号:US11416322

    申请日:2006-05-03

    IPC分类号: A61K31/675 C07F9/6509

    摘要: Mono-lysine salts of triazole compounds having a secondary or tertiary hydroxy group are provided. More particularly, the new water-soluble triazole antifungal mono-lysine salt compounds, or solvates thereof, are provided having the general formula I: wherein A in formula I represents the non-hydroxy portion of a triazole antifungal compound of the type containing a secondary or tertiary hydroxyl group. R and R1 in formula I can each be a hydrogen atom or an alkyl group having one to six carbon atoms. The novel water-soluble azole compounds are useful for the treatment of fungal infections and can be administered orally, topically and parenterally.

    摘要翻译: 提供具有仲羟基或叔羟基的三唑化合物的单赖氨酸盐。 更具体地,提供了具有通式I的新的水溶性三唑抗真菌单赖氨酸盐化合物或其溶剂合物:其中式I中的A表示含有二级的三唑类抗真菌化合物的非羟基部分 或叔羟基。 式I中的R 1和R 2各自可以是氢原子或具有1-6个碳原子的烷基。 新型水溶性唑类化合物可用于治疗真菌感染,可以口服,局部和肠胃外给药。

    METHOD AND SYSTEM FOR USING A VIRTUALIZATION SYSTEM TO IDENTIFY DEADLOCK CONDITIONS IN MULTI-THREADED PROGRAMS BY CONTROLLING SCHEDULING IN REPLAY
    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 Gao Min Xu

    发明人: Qi Gao Min Xu

    IPC分类号: G06F9/44

    CPC分类号: G06F9/524 G06F11/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.

    摘要翻译: 一种用于确定目标多线程软件应用程序中潜在的死锁状况的方法和系统。 目标应用程序首先在虚拟机中运行,并记录应用程序中的事件。 记录的事件被重放和分析,以识别在应用程序的线程之间发生的潜在锁定获取冲突。 通过分析获得资源锁定的顺序来识别潜在锁获取冲突,并分析具有以不同顺序获得的相应锁的资源对。 这些分析的对用于定义目标应用程序中不同的事件顺序,当目标应用程序以二次事件重新运行时,可能会触发死锁条件。 然后,目标应用程序以不同的事件顺序重新运行,以尝试触发,然后识别潜在的死锁情况。