International Business Machines Corporation

Robert W O'Callahan

Jong-Deok Choi

Manu Sridharan

Vivek Sarkar

Keunwoo Lee

Simon Goldsmith

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 technique for monitoring an execution of a program is provided. At least one relational query is constructed and compiled into a program instrumentation. The program instrumentation is incorporated into the program and one or more query results are output from the program as the program executes.

Methods and apparatus for monitoring program execution

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

White Plains, NY, United States of America

Robert W O'Callahan