Intel Corporation

Google Inc.

Jungwoo Ha

Justin E Gottschlich

Gilles A Pokam

Cristiano L Pereira

Jaeheon Yi

Peter Dinges

Jeremy Manson

Caitlin Harrison Sadowski

Na Meng

Methods and systems to identify and reproduce concurrency violations in multi-threaded programs are disclosed. An example method disclosed herein comprises determining whether a condition is met and serializing an operation of a first thread of a multi-threaded program relative to an operation of a second thread of the multi-threaded program. The serialization of the operations of the first and second threads results in a concurrency violation or bug thereby causing the multi-threaded program to crash. In this way, the operations of the first and second threads of the multi-threaded program that are responsible for the concurrency violation are identified and can be revised to remove the bug.

Methods and systems to identify and reproduce concurrency violations in multi-threaded programs

A system and method are disclosed for determining the root cause of non-deterministic tests. An exemplary system may receive a non-deterministic test and run the non-deterministic test with call trace collection enabled. For each trace, the system may determine whether the trace was associated with a passing or failing test. Each trace may be labeled according to the trace's association. Then, dynamic call trees may be constructed, one for the traces associated with passing tests and one for traces associated with failing tests. The dynamic call trees may be compared to determine subtree patterns that occur in one tree, but not the other. The subtree patterns may then be ranked based on the number of times the subtrees occur in the traces in order to determine the root cause of the non-deterministic test.

System to uncover root cause of non-deterministic (flaky) tests

Growing community of inventors

Los Altos, CA, United States of America

Jungwoo Ha