International Business Machines Corporation

Keunwoo Lee

Jong-Deok Choi

Manu Sridharan

Vivek Sarkar

Robert W O'Callahan

A method of detecting a datarace between memory accesses within a program includes determining whether a datarace exists between a first access event in a first statement and a second access event in a second statement. It is then determined whether a third statement is more weakly protected than one of the first statement and the second statement.

Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs

A method of detecting a datarace between first and second memory accesses within a program, including: determining whether the first and second memory accesses are to the same memory location; determining whether the first and second memory accesses are executed by different threads in the program; determining whether the first and second memory accesses are guarded by a common synchronization object; and determining whether there is an execution ordering enforced between the first and second memory accesses.

Growing community of inventors

Seattle, WA, United States of America

Keunwoo Lee