Home | History | Annotate | Download | only in helgrind

Lines Matching refs:heldBy

124          an unlocked->locked transition.  Must be sync'd with .heldBy:
133 WordBag* heldBy; /* bag of threads that hold this lock */
134 /* .heldBy is NULL: lock is unheld, and .heldW is meaningless
136 .heldBy is non-NULL:
137 .heldW is True: lock is w-held by threads in heldBy
138 .heldW is False: lock is r-held by threads in heldBy
139 Either way, heldBy may not validly be an empty Bag.
142 only have sizeTotal(heldBy) == 1
145 only have sizeUnique(heldBy) == 1
147 for LK_rdwr, w-holdings may only have sizeTotal(heldBy) == 1 */