MECHANISM FOR FACILITATING DYNAMIC AND EFFICIENT MANAGEMENT OF INSTRUCTION ATOMICITY VOLATIONS IN SOFTWARE PROGRAMS AT COMPUTING SYSTEMS
    1.
    发明公开
    MECHANISM FOR FACILITATING DYNAMIC AND EFFICIENT MANAGEMENT OF INSTRUCTION ATOMICITY VOLATIONS IN SOFTWARE PROGRAMS AT COMPUTING SYSTEMS 审中-公开
    机构以在计算机系统软件程序,违约ANWEISUNGSATOMIZITÄT动态和高效的管理PERMIT

    公开(公告)号:EP2972878A4

    公开(公告)日:2016-11-09

    申请号:EP13877966

    申请日:2013-03-15

    Applicant: INTEL CORP

    Abstract: A mechanism is described for facilitating dynamic and efficient management of instruction atomicity violations in software programs according to one embodiment. A method of embodiments, as described herein, includes receiving, at a replay logic from a recording system, a recording of a first software thread running a first macro instruction, and a second software thread running a second macro instruction. The first software thread and the second software thread are executed by a first core and a second core, respectively, of a processor at a computing device. The recording system may record interleavings between the first and second macro instructions. The method includes correctly replaying the recording of the interleavings of the first and second macro instructions precisely as they occurred. The correctly replaying may include replaying a local memory state of the first and second macro instructions and a global memory state of the first and second software threads.

    Abstract translation: 一种机制被描述为软件程序雅鼎用于便利指令原子侵犯的动态,高效的管理。 实施例的方法中,如所描述的,包括接收,在从记录系统中,运行的第一宏指令的第一软件线程的记录,并运行一个第二宏指令的第二软件线程的重放逻辑。 所述第一软件线程与第二软件线程由第一芯和一个第二芯在计算设备处执行的分别,一个处理器。 记录系统可以记录在第一和第二宏指令之间的交错。 该方法包括:正确重放的第一和第二个宏指令间剩余物的记录精确地他们发生。 正确重放可以包括重放的第一和第二宏指令本地内存状态并在第一和第二软件线程的全局内存状态。

    TECHNIQUES FOR DETECTING RACE CONDITIONS
    2.
    发明公开
    TECHNIQUES FOR DETECTING RACE CONDITIONS 审中-公开
    VERFAHREN ZUR ERKENNUNG VON RACE-BEDINGUNGEN

    公开(公告)号:EP3080702A4

    公开(公告)日:2017-07-26

    申请号:EP13899151

    申请日:2013-12-12

    Applicant: INTEL CORP

    Abstract: Various embodiments are generally directed to detecting race conditions arising from uncoordinated data accesses by different portions of an application routine by detecting occurrences of a selected cache event associated with such accesses. An apparatus includes a processor component; a trigger component for execution by the processor component to configure a monitoring unit of the processor component to detect a cache event associated with a race condition between accesses to a piece of data and to capture an indication of a state of the processor component to generate monitoring data in response to an occurrence of the cache event; and a counter component for execution by the processor component to configure a counter of the monitoring unit to enable capture of the indication of the state of the processor component at a frequency less than every occurrence of the cache event. Other embodiments are described and claimed.

    Abstract translation: 各种实施例通常涉及通过检测与这种访问相关联的所选高速缓存事件的发生来检测由应用程序的不同部分的不协调数据访问引起的竞争状况。 一种设备包括处理器组件; 触发组件,所述触发组件由所述处理器组件执行以配置所述处理器组件的监视单元以检测与对一条数据的访问之间的竞争条件相关联的缓存事件并捕获所述处理器组件的状态的指示以生成监视 响应于高速缓存事件的发生的数据; 以及计数器组件,所述计数器组件由所述处理器组件执行以配置所述监视单元的计数器,以使得能够以低于所述缓存事件的每次发生的频率捕获所述处理器组件的所述状态的所述指示。 描述并要求保护其他实施例。

Patent Agency Ranking