利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

6 条记录 (耗时 0.028 秒)

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

    公开(公告)号：US07861118B2

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

    申请号：US11694864

    申请日：2007-03-30

    申请人： Andrew James Edwards ,  James Jordan Tigani ,  Zhenghao Wang ,  Bradley Calder ,  Satish Narayanasamy

    发明人： Andrew James Edwards ,  James Jordan Tigani ,  Zhenghao Wang ,  Bradley Calder ,  Satish Narayanasamy

    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.

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

    SAMPLING TECHNIQUES FOR DYNAMIC DATA-RACE DETECTION
    3.
    发明申请
    SAMPLING TECHNIQUES FOR DYNAMIC DATA-RACE DETECTION 有权
    动态数据检测采样技术

    公开(公告)号：US20100131931A1

    公开(公告)日：2010-05-27

    申请号：US12324290

    申请日：2008-11-26

    申请人： Madanlal Musuvathi ,  Daniel Marino ,  Satish Narayanasamy

    发明人： Madanlal Musuvathi ,  Daniel Marino ,  Satish Narayanasamy

    IPC分类号： G06F9/44

    CPC分类号： G06F11/366 ,  G06F11/3636

    摘要： This document describes a dynamic data race detector that utilizes adaptive sampling techniques. The adaptive sampling techniques include locating threads during execution of a multi-threaded program and identifying thread-specific hot paths, thread-specific cold paths and lockset paths during execution of the program. Once these paths are identified, they are sampled, potentially at different rates. Any information gained during the sampling may be stored in a data race log, which a developer may use to correct any identified program bugs

    摘要翻译： 该文件描述了利用自适应采样技术的动态数据竞争检测器。 自适应采样技术包括在执行多线程程序期间定位线程，并且在执行程序期间识别线程特定的热路径，线程特定的冷路径和锁定路径。 一旦识别出这些路径，就可能以不同的速率进行采样。 在采样期间获得的任何信息可能存储在数据竞赛日志中，开发人员可能会使用这些信息来更正任何已识别的程序错误

    Ordering constraint management within coherent memory systems
    5.
    发明授权
    Ordering constraint management within coherent memory systems 有权
    在一致的内存系统中订购约束管理

    公开(公告)号：US09367461B2

    公开(公告)日：2016-06-14

    申请号：US14169594

    申请日：2014-01-31

    申请人： Shaizeen Aga ,  Abhayendra Singh ,  Satish Narayanasamy

    发明人： Shaizeen Aga ,  Abhayendra Singh ,  Satish Narayanasamy

    IPC分类号： G06F12/00 ,  G06F12/08

    CPC分类号： G06F12/0835 ,  G06F12/0815 ,  G06F12/0831 ,  G06F2212/621

    摘要： A data processing system including multiple processors 6, 8, 10, 12 each with a local cache memory 14, 16, 18, 20 share a main memory 24 under control of a coherency controller 22. Store requests from a store requester which are to be serviced by data received from the main memory 24 trigger the coherency controller 22 to return exclusive rights to access the data to the store requester before the corresponding data is returned from the main memory 24. The store requester uses possession of the exclusive rights to access the data to permit further processing with an ordering constraint relative to the store request to proceed even though the store request has yet to be finished. The ordering constraint may be, for example, a fence instruction. The store requester in possession of the exclusive rights to access the data values ensures that the store request is finished and its results observed by any instruction as required by the ordering constraint it has released early.

    摘要翻译： 包括具有本地高速缓冲存储器14,16,18,20的多个处理器6,8,10,12的数据处理系统在一致性控制器22的控制下共享主存储器24.存储来自存储请求者的请求 在从主存储器24接收到的数据所服务的情况下，触发相关性控制器22，以在从主存储器24返回相应数据之前返回访问存储请求者的专有权限。存储请求者使用拥有专有权访问 数据，以便即使存储请求尚未完成，也可以使用相对于存储请求的排序约束进行进一步处理以继续进行。 排序约束可以是例如栅栏指令。 拥有访问数据值的专有权限的存储请求者确保存储请求完成，并且其结果由早期释放的排序约束所要求的任何指令观察到。

    Sampling techniques for dynamic data-race detection
    6.
    发明授权
    Sampling techniques for dynamic data-race detection 有权
    动态数据竞赛检测采样技术

    公开(公告)号：US08418146B2

    公开(公告)日：2013-04-09

    申请号：US12324290

    申请日：2008-11-26

    申请人： Madanlal Musuvathi ,  Daniel Marino ,  Satish Narayanasamy

    发明人： Madanlal Musuvathi ,  Daniel Marino ,  Satish Narayanasamy

    IPC分类号： G06F9/44

    CPC分类号： G06F11/366 ,  G06F11/3636

    摘要： This document describes a dynamic data race detector that utilizes adaptive sampling techniques. The adaptive sampling techniques include locating threads during execution of a multi-threaded program and identifying thread-specific hot paths, thread-specific cold paths and lockset paths during execution of the program. Once these paths are identified, they are sampled, potentially at different rates. Any information gained during the sampling may be stored in a data race log, which a developer may use to correct any identified program bugs.

    摘要翻译： 该文件描述了利用自适应采样技术的动态数据竞争检测器。 自适应采样技术包括在执行多线程程序期间定位线程，并且在执行程序期间识别线程特定的热路径，线程特定的冷路径和锁定路径。 一旦识别出这些路径，就可能以不同的速率进行采样。 在采样期间获得的任何信息可能存储在数据竞赛日志中，开发人员可能会使用这些信息来更正任何已识别的程序错误。