1
2---Thread-Announcement------------------------------------------
3
4Thread #x is the program's root thread
5
6----------------------------------------------------------------
7
8Thread #x: lock order "0x........ before 0x........" violated
9
10Observed (incorrect) order is: acquisition of lock at 0x........
11   at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
12   by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
13   by 0x........: main (tc13_laog1.c:23)
14
15 followed by a later acquisition of lock at 0x........
16   at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
17   by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
18   by 0x........: main (tc13_laog1.c:24)
19
20Required order was established by acquisition of lock at 0x........
21   at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
22   by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
23   by 0x........: main (tc13_laog1.c:17)
24
25 followed by a later acquisition of lock at 0x........
26   at 0x........: mutex_lock_WRK (hg_intercepts.c:...)
27   by 0x........: pthread_mutex_lock (hg_intercepts.c:...)
28   by 0x........: main (tc13_laog1.c:18)
29
30 Lock at 0x........ was first observed
31   at 0x........: pthread_mutex_init (hg_intercepts.c:...)
32   by 0x........: main (tc13_laog1.c:14)
33 Address 0x........ is on thread #x's stack
34 in frame #x, created by main (tc13_laog1.c:11)
35
36 Lock at 0x........ was first observed
37   at 0x........: pthread_mutex_init (hg_intercepts.c:...)
38   by 0x........: main (tc13_laog1.c:15)
39 Address 0x........ is on thread #x's stack
40 in frame #x, created by main (tc13_laog1.c:11)
41
42
43
44ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
45