|
From: <sv...@va...> - 2009-07-26 19:28:23
|
Author: sewardj Date: 2009-07-26 20:28:07 +0100 (Sun, 26 Jul 2009) New Revision: 10619 Log: Updated expected outputs following r10589 (msm idempotency effects) Modified: trunk/helgrind/tests/hg03_inherit.stderr.exp Modified: trunk/helgrind/tests/hg03_inherit.stderr.exp =================================================================== --- trunk/helgrind/tests/hg03_inherit.stderr.exp 2009-07-26 16:21:00 UTC (rev 10618) +++ trunk/helgrind/tests/hg03_inherit.stderr.exp 2009-07-26 19:28:07 UTC (rev 10619) @@ -15,13 +15,4 @@ Location 0x........ is 0 bytes inside shared[1], declared at hg03_inherit.c:11, in frame #x of thread x -Possible data race during write of size 4 at 0x........ by thread #x - at 0x........: t2 (hg03_inherit.c:29) - by 0x........: mythread_wrapper (hg_intercepts.c:...) - ... - This conflicts with a previous read of size 4 by thread #x - at 0x........: main (hg03_inherit.c:60) - Location 0x........ is 0 bytes inside shared[1], - declared at hg03_inherit.c:11, in frame #x of thread x - -ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) +ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) |
|
From: Bart V. A. <bar...@gm...> - 2009-07-27 07:05:41
|
On Sun, Jul 26, 2009 at 9:28 PM, <sv...@va...> wrote: > > Author: sewardj > Date: 2009-07-26 20:28:07 +0100 (Sun, 26 Jul 2009) > New Revision: 10619 > > Log: > Updated expected outputs following r10589 (msm idempotency effects) > > > Modified: > trunk/helgrind/tests/hg03_inherit.stderr.exp > > > Modified: trunk/helgrind/tests/hg03_inherit.stderr.exp > =================================================================== > --- trunk/helgrind/tests/hg03_inherit.stderr.exp 2009-07-26 16:21:00 UTC (rev 10618) > +++ trunk/helgrind/tests/hg03_inherit.stderr.exp 2009-07-26 19:28:07 UTC (rev 10619) > @@ -15,13 +15,4 @@ > Location 0x........ is 0 bytes inside shared[1], > declared at hg03_inherit.c:11, in frame #x of thread x > > -Possible data race during write of size 4 at 0x........ by thread #x > - at 0x........: t2 (hg03_inherit.c:29) > - by 0x........: mythread_wrapper (hg_intercepts.c:...) > - ... > - This conflicts with a previous read of size 4 by thread #x > - at 0x........: main (hg03_inherit.c:60) > - Location 0x........ is 0 bytes inside shared[1], > - declared at hg03_inherit.c:11, in frame #x of thread x > - > -ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0) > +ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0) There are two statements in the hg03_inherit test program which trigger a data race (*ip += 88 on line 28 and *ip *=3 on line 29). The trunk revision of Helgrind reports the first data race only. This is a change in behavior. I assume that this will be explained further in the Helgrind manual, such that users will know which races will be reported and which ones won't be reported ? Bart. |