Lines Matching full:lock
92 /* maps from Lock .unique fields to LockP*s */
104 Lock* lk1 = (Lock*)lk1W;
105 Lock* lk2 = (Lock*)lk2W;
113 static Lock* mk_LockP_from_LockN ( Lock* lkn )
115 Lock* lkp = NULL;
124 lkp = HG_(zalloc)( "hg.mLPfLN.2", sizeof(Lock) );
128 /* Forget about the bag of lock holders - don't copy that.
162 XE_UnlockUnlocked, // unlocking a not-locked lock
163 XE_UnlockForeign, // unlocking a lock held by some other thread
164 XE_UnlockBogus, // unlocking an address not known to be a lock
166 XE_LockOrder, // lock order error
200 Lock* lock; /* lock (that is already unlocked) */
204 Thread* owner; /* thread that actually holds the lock */
205 Lock* lock; /* lock (that is held by 'owner') */
209 Addr lock_ga; /* purported address of the lock */
419 void HG_(record_error_UnlockUnlocked) ( Thread* thr, Lock* lk )
427 xe.XE.UnlockUnlocked.lock = mk_LockP_from_LockN(lk);
436 Thread* owner, Lock* lk )
446 xe.XE.UnlockForeign.lock = mk_LockP_from_LockN(lk);
556 && xe1->XE.UnlockUnlocked.lock == xe2->XE.UnlockUnlocked.lock;
560 && xe1->XE.UnlockForeign.lock == xe2->XE.UnlockForeign.lock;
758 emit( " <text>Thread #%d: lock order \"%p before %p\" "
769 "acquisition of lock at %p</auxwhat>\n",
773 "of lock at %p</auxwhat>\n",
780 emit( "Thread #%d: lock order \"%p before %p\" violated\n",
787 "acquisition of lock at %p\n",
790 emit( " followed by a later acquisition of lock at %p\n",
840 "lock at %p</text>\n",
850 emit( "Thread #%d unlocked an invalid lock at %p\n",
861 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockForeign.lock ) );
869 emit( " <text>Thread #%d unlocked lock at %p "
872 (void*)xe->XE.UnlockForeign.lock->guestaddr,
881 if (xe->XE.UnlockForeign.lock->appeared_at) {
882 emit( " <auxwhat>Lock at %p was first observed</auxwhat>\n",
883 (void*)xe->XE.UnlockForeign.lock->guestaddr );
884 VG_(pp_ExeContext)( xe->XE.UnlockForeign.lock->appeared_at );
889 emit( "Thread #%d unlocked lock at %p "
892 (void*)xe->XE.UnlockForeign.lock->guestaddr,
895 if (xe->XE.UnlockForeign.lock->appeared_at) {
896 emit( " Lock at %p was first observed\n",
897 (void*)xe->XE.UnlockForeign.lock->guestaddr );
898 VG_(pp_ExeContext)( xe->XE.UnlockForeign.lock->appeared_at );
907 tl_assert( HG_(is_sane_LockP)( xe->XE.UnlockUnlocked.lock ) );
915 "not-locked lock at %p</text>\n",
917 (void*)xe->XE.UnlockUnlocked.lock->guestaddr );
922 if (xe->XE.UnlockUnlocked.lock->appeared_at) {
923 emit( " <auxwhat>Lock at %p was first observed</auxwhat>\n",
924 (void*)xe->XE.UnlockUnlocked.lock->guestaddr );
925 VG_(pp_ExeContext)( xe->XE.UnlockUnlocked.lock->appeared_at );
930 emit( "Thread #%d unlocked a not-locked lock at %p\n",
932 (void*)xe->XE.UnlockUnlocked.lock->guestaddr );
934 if (xe->XE.UnlockUnlocked.lock->appeared_at) {
935 emit( " Lock at %p was first observed\n",
936 lock->guestaddr );
937 VG_(pp_ExeContext)( xe->XE.UnlockUnlocked.lock->appeared_at );
