| sewardj | 7313524 | 2011-06-24 16:03:32 +0000 | [diff] [blame] | 1 | ---Thread-Announcement------------------------------------------ |
| 2 | |
| 3 | Thread #x was created |
| florian | 31014da | 2011-09-26 00:29:44 +0000 | [diff] [blame] | 4 | ... |
| florian | 31014da | 2011-09-26 00:29:44 +0000 | [diff] [blame] | 5 | by 0x........: pthread_create@* (hg_intercepts.c:...) |
| 6 | by 0x........: main (locked_vs_unlocked1.c:34) |
| sewardj | 7313524 | 2011-06-24 16:03:32 +0000 | [diff] [blame] | 7 | |
| 8 | ---Thread-Announcement------------------------------------------ |
| 9 | |
| 10 | Thread #x was created |
| florian | 31014da | 2011-09-26 00:29:44 +0000 | [diff] [blame] | 11 | ... |
| florian | 31014da | 2011-09-26 00:29:44 +0000 | [diff] [blame] | 12 | by 0x........: pthread_create@* (hg_intercepts.c:...) |
| 13 | by 0x........: main (locked_vs_unlocked1.c:29) |
| sewardj | 7313524 | 2011-06-24 16:03:32 +0000 | [diff] [blame] | 14 | |
| 15 | ---------------------------------------------------------------- |
| 16 | |
| philippe | 46daf0d | 2014-07-29 20:08:15 +0000 | [diff] [blame] | 17 | Lock at 0x........ was first observed |
| sewardj | 7313524 | 2011-06-24 16:03:32 +0000 | [diff] [blame] | 18 | at 0x........: pthread_mutex_lock (hg_intercepts.c:...) |
| 19 | by 0x........: child_fn (locked_vs_unlocked1.c:18) |
| 20 | by 0x........: mythread_wrapper (hg_intercepts.c:...) |
| 21 | ... |
| philippe | 8061201 | 2014-07-24 21:00:24 +0000 | [diff] [blame] | 22 | Address 0x........ is 0 bytes inside data symbol "mx" |
| sewardj | 7313524 | 2011-06-24 16:03:32 +0000 | [diff] [blame] | 23 | |
| 24 | Possible data race during write of size 4 at 0x........ by thread #x |
| 25 | Locks held: none |
| 26 | at 0x........: child_fn (locked_vs_unlocked1.c:19) |
| 27 | by 0x........: mythread_wrapper (hg_intercepts.c:...) |
| 28 | ... |
| 29 | |
| 30 | This conflicts with a previous write of size 4 by thread #x |
| 31 | Locks held: 1, at address 0x........ |
| 32 | at 0x........: child_fn (locked_vs_unlocked1.c:19) |
| 33 | by 0x........: mythread_wrapper (hg_intercepts.c:...) |
| 34 | ... |
| philippe | 07c0852 | 2014-05-14 20:39:27 +0000 | [diff] [blame] | 35 | Address 0x........ is 0 bytes inside data symbol "x" |
| sewardj | 7313524 | 2011-06-24 16:03:32 +0000 | [diff] [blame] | 36 | |