会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Techniques and systems for data race detection
    • 用于数据竞争检测的技术和系统
    • US09135082B1
    • 2015-09-15
    • US13112945
    • 2011-05-20
    • Tianwei ShengNeil A. VachharajaniStephane EranianRobert Hundt
    • Tianwei ShengNeil A. VachharajaniStephane EranianRobert Hundt
    • G06F9/44G06F9/52G06F11/36G06F9/45
    • G06F9/524G06F8/458G06F11/28G06F11/36G06F11/3632
    • A race detection mechanism can include running threads of a multithreaded program on a processor, the program being configured to produce locksets each of which indicate a set of one or more locks that a thread holds at a point in time. The mechanism can cause a performance monitoring unit included in the processor to monitor memory accesses caused by the threads and to produce samples based on the memory accesses, the samples being indicative of an accessed memory location. The mechanism can detect an existence of a data race condition based on the samples and the locksets. Detecting can include identifying a protected access to a memory location by a first thread of the threads and identifying an unprotected access to the memory location by a second thread of the threads. The process selectively outputs an indication of the data race condition.
    • 竞争检测机制可以包括在处理器上运行多线程程序的线程,该程序被配置为产生锁定器,每个锁定器指示线程在某个时间点保持的一个或多个锁的集合。 该机制可以使处理器中包括的性能监视单元监视由线程引起的存储器访问并且基于存储器访问产生样本,该样本表示访问的存储器位置。 该机制可以基于样本和锁定点来检测数据竞争条件的存在。 检测可以包括通过线程的第一线程识别对存储器位置的受保护的访问,并且由线程的第二线程识别对存储器位置的不受保护的访问。 该过程选择性地输出数据竞争条件的指示。