Data Race in Dekker Sample not Found

Aug 8, 2011 at 5:07 PM

I tested the Dekker Sample today and observed something interesting that I cannot explain. CHESS successfully discovers the Data Race that involves thread_2_is_entering. After lock-ing the access to that field, CHESS is not able to discover the equivalent Data Race that involves thread_1_is_entering.

Any ideas, why this happens?