MACHINE INSTRUCTION LEVEL RACE CONDITION DETECTION
    3.
    发明申请
    MACHINE INSTRUCTION LEVEL RACE CONDITION DETECTION 有权
    机器指导级环境检测

    公开(公告)号:US20080244332A1

    公开(公告)日:2008-10-02

    申请号:US11694864

    申请日:2007-03-30

    IPC分类号: G06F11/00

    CPC分类号: G06F11/3612

    摘要: An apparatus, method and computer-readable medium provide for detecting and filtering potential race conditions. In one example, potential race conditions may be detected by determining overlap of memory accesses (e.g., read, write). Potential race conditions may be filtered as potentially benign or harmful race conditions using, for example, heuristics, comparison of output states from execution of instructions or operations in differing sequences or identifying of associated output bugs corresponding to the execution of operations in different sequences.

    摘要翻译: 设备,方法和计算机可读介质提供用于检测和过滤潜在的竞争条件。 在一个示例中,可以通过确定存储器访问(例如,读取,写入)的重叠来检测潜在的竞争条件。 可能的竞争条件可能被过滤为潜在的良性或有害的竞争条件,例如使用启发式,输出状态与执行指令或不同序列中的操作进行比较,或识别与不同序列中的操作执行相对应的相关输出错误。

    Machine instruction level race condition detection
    4.
    发明授权
    Machine instruction level race condition detection 有权
    机器指令级别竞争条件检测

    公开(公告)号:US07861118B2

    公开(公告)日:2010-12-28

    申请号:US11694864

    申请日:2007-03-30

    IPC分类号: G06F11/00 G06F11/34

    CPC分类号: G06F11/3612

    摘要: An apparatus, method and computer-readable medium provide for detecting and filtering potential race conditions. In one example, potential race conditions may be detected by determining overlap of memory accesses (e.g., read, write). Potential race conditions may be filtered as potentially benign or harmful race conditions using, for example, heuristics, comparison of output states from execution of instructions or operations in differing sequences or identifying of associated output bugs corresponding to the execution of operations in different sequences.

    摘要翻译: 设备,方法和计算机可读介质提供用于检测和过滤潜在的竞争条件。 在一个示例中,可以通过确定存储器访问(例如,读取,写入)的重叠来检测潜在的竞争条件。 可能的竞争条件可能被过滤为潜在的良性或有害的竞争条件,例如使用启发式,输出状态与执行指令或不同序列中的操作进行比较,或识别与不同序列中的操作执行相对应的相关输出错误。