Lines Matching defs:Lock
50 encode lock-sets in libhb's history records (Thr_n_RCEC). */
89 WordSetID locksetA; /* WordSet of Lock* currently held by thread */
126 /* Stores information about a lock's current state. These are
129 contains Lock*s. Solution is to copy any Lock which is to be
131 'normal' collection of Locks, which can come and go. When the lock
135 /* Lock kinds. */
140 LK_rdwr /* reader-writer lock */
152 /* Place where lock first came to the attention of Helgrind. */
154 /* If the lock is held, place where the lock most recently made
160 Addr guestaddr; /* Guest address of lock */
161 LockKind kind; /* what kind of lock this is */
164 WordBag* heldBy; /* bag of threads that hold this lock */
165 /* .heldBy is NULL: lock is unheld, and .heldW is meaningless
168 .heldW is True: lock is w-held by threads in heldBy
169 .heldW is False: lock is r-held by threads in heldBy
180 Lock;
182 #define Lock_INVALID ((Lock*)1UL)
189 Bool HG_(is_sane_LockP) ( Lock* lock );
190 Bool HG_(is_sane_LockN) ( Lock* lock );
191 Bool HG_(is_sane_LockNorP) ( Lock* lock );
