发明授权
- 专利标题: Tolerating and detecting asymmetric races
- 专利标题(中): 容忍和检测非对称种族
-
申请号: US11839017申请日: 2007-08-15
-
公开(公告)号: US07971248B2公开(公告)日: 2011-06-28
- 发明人: Rahul Nagpal , Darko Kirovski , Benjamin G. Zorn
- 申请人: Rahul Nagpal , Darko Kirovski , Benjamin G. Zorn
- 申请人地址: US WA Redmond
- 专利权人: Microsoft Corporation
- 当前专利权人: Microsoft Corporation
- 当前专利权人地址: US WA Redmond
- 代理机构: Workman Nydegger
- 主分类号: G06F11/00
- IPC分类号: G06F11/00
摘要:
Detecting and/or tolerating races. Races occur due to malicious threads not respecting software locks. A method of detecting and/or correcting races includes making local copie(s) and reference copie(s) of shared data. Any read and write operations performed by a safe thread are caused to be performed on the local copie(s) during a critical section. The critical section defines a time frame which a variable lock is placed on shared data. Any read and write operations performed by malicious threads are allowed to be performed on the shared data during the critical section. The shared data, the local copie(s), and the reference copie(s) are compared to determine that a race has been detected. An indication can be output that a race has occurred or the race can be corrected.
公开/授权文献
- US20090049545A1 TOLERATING AND DETECTING ASYMMETRIC RACES 公开/授权日:2009-02-19
信息查询