Invention Grant
- Patent Title: Atomicity violation detection using access interleaving invariants
- Patent Title (中): 使用访问交错不变量的原子违规检测
-
Application No.: US11857925Application Date: 2007-09-19
-
Publication No.: US08533681B2Publication Date: 2013-09-10
- Inventor: Yuanyuan Zhou , Shan Lu , Joseph Andrew Tucek
- Applicant: Yuanyuan Zhou , Shan Lu , Joseph Andrew Tucek
- Applicant Address: US IL Urbana
- Assignee: The Board of Trustees of the University of Illinois
- Current Assignee: The Board of Trustees of the University of Illinois
- Current Assignee Address: US IL Urbana
- Main IPC: G06F9/44
- IPC: G06F9/44
Abstract:
During execution of a program, the situation where the atomicity of a pair of instructions that are to be executed atomically is violated is identified, and a bug is detected as occurring in the program at the pair of instructions. The pairs of instructions that are to be executed atomically can be identified in different manners, such as by executing a program multiple times and using the results of those executions to automatically identify the pairs of instructions.
Public/Granted literature
- US20130219367A9 ATOMICITY VIOLATION DETECTION USING ACCESS INTERLEAVING INVARIANTS Public/Granted day:2013-08-22
Information query
