1b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov---Thread-Announcement------------------------------------------
2b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
3b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovThread #x was created
4b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   ...
5b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: pthread_create@* (hg_intercepts.c:...)
6b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: main (locked_vs_unlocked3.c:53)
7b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
8b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov---Thread-Announcement------------------------------------------
9b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
10b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovThread #x was created
11b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   ...
12b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: pthread_create@* (hg_intercepts.c:...)
13b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: main (locked_vs_unlocked3.c:54)
14b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
15b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov----------------------------------------------------------------
16b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
17b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovLock at 0x........ was first observed
18b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   at 0x........: pthread_mutex_init (hg_intercepts.c:...)
19b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: main (locked_vs_unlocked3.c:51)
20b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
21b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovPossible data race during write of size 4 at 0x........ by thread #x
22b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovLocks held: none
23b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   at 0x........: child_fn2 (locked_vs_unlocked3.c:38)
24b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: mythread_wrapper (hg_intercepts.c:...)
25b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   ...
26b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
27b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovThis conflicts with a previous write of size 4 by thread #x
28b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy StepanovLocks held: 1, at address 0x........
29b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   at 0x........: child_fn1 (locked_vs_unlocked3.c:28)
30b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   by 0x........: mythread_wrapper (hg_intercepts.c:...)
31b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov   ...
32eb0bae136f4eeaaf29761dddb148b118fb824632Dmitriy Ivanov Address 0x........ is 0 bytes inside data symbol "x"
33b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov
34