|
From: Bart V. A. <bar...@gm...> - 2009-11-05 20:13:39
|
On Thu, Nov 5, 2009 at 8:48 PM, ERSEK Laszlo <la...@ca...> wrote: > > Does your solution help? > > I didn't try it out. If we cannot prove it's correct (or worse, we can > disprove it), there's no need to. If we prove it correct, there's kinda no > need to either :) Hello Laszlo, Can you please post a small self-standing program or comment on Konstantin's test program (http://code.google.com/p/data-race-test/source/browse/trunk/unittest/racecheck_unittest.cc#520) ? I prefer commenting on a program that can be compiled and run instead of commenting on incomplete program fragments. Bart. |