Commit Graph

5 Commits

Author SHA1 Message Date
Sunny Goyal 17c72fbb60 Unifying various tracing calls
Change-Id: Iedf6662ad1d7281b850bdc43b3a1e373ce535ac6
2019-10-14 14:23:19 -07:00
Sunny Goyal 6fe3eec95c Moving various common executors to a single location
Change-Id: I44bca49b8adb6fa22c3b48d10f674e42c28d792c
2019-08-20 14:36:17 -07:00
vadimt 920cb92f80 Optimizing :enter - :exit pairs.
Doing so by not letting any events between XXX:enter and XXX:exit
events. This eliminates unnecessary permutations.

Example: 2 threads with 3 enter-exit pairs each would have produced 924
permutations before this, now only 20.

Bug: 120628042
Change-Id: Ia243d273a1d90202011679cc7520ea4c9e43918b
Tests: All tests that use race condition framework
2019-01-10 16:30:04 -08:00
vadimt 00d4255272 Adding tests that would reliably reproduce shifted search.
This would guaranteed to repro b/118441555 before it was fixed.

The test doesn't use the most powerful feature of race condition
reproducer, which is enumerating all possible event sequences.

Instead, it uses explicit repro sequences, which makes the test much
faster.

Bug: 120628042
Test: The added test
Change-Id: I89a7a9964f160a8a20ba3d9dda2f248237713014
2018-12-17 14:41:20 -08:00
Vadim Tryshev 0d4ac57128 Add framework for reliably reproducing race conditions.
Bug: 120628042
Test: RaceConditionReproducerTest
Change-Id: Id658e2b0da6af186b76501ff16edbd135dda3c9b
2018-12-06 16:11:18 -08:00