1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of drd, a thread error detector. 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 4663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng Copyright (C) 2006-2012 Bart Van Assche <bvanassche@acm.org>. 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 10ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02111-1307, USA. 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "drd_clientobj.h" 26b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov#include "drd_error.h" 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "drd_suppression.h" 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_tool_basics.h" 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_tool_libcassert.h" 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_tool_libcbase.h" 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_tool_libcprint.h" // VG_(message)() 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_tool_mallocfree.h" 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_tool_options.h" // VG_(clo_backtrace_size) 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_tool_oset.h" 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_tool_stacktrace.h" 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_tool_threadstate.h" // VG_(get_running_tid)() 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Local variables. */ 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic OSet* s_clientobj_set; 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic Bool s_trace_clientobj; 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Local functions. */ 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic Bool clientobj_remove_obj(DrdClientobj* const p); 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Function definitions. */ 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid DRD_(clientobj_set_trace)(const Bool trace) 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown s_trace_clientobj = trace; 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** Initialize the client object set. */ 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid DRD_(clientobj_init)(void) 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(s_clientobj_set == 0); 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown s_clientobj_set = VG_(OSetGen_Create)(0, 0, VG_(malloc), 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown "drd.clientobj.ci.1", VG_(free)); 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(s_clientobj_set); 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Free the memory allocated for the client object set. 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * @pre Client object set is empty. 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid DRD_(clientobj_cleanup)(void) 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(s_clientobj_set); 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(VG_(OSetGen_Size)(s_clientobj_set) == 0); 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(OSetGen_Destroy)(s_clientobj_set); 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown s_clientobj_set = 0; 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Return the data associated with the client object at client address addr. 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Return 0 if there is no client object in the set with the specified start 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * address. 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownDrdClientobj* DRD_(clientobj_get_any)(const Addr addr) 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return VG_(OSetGen_Lookup)(s_clientobj_set, &addr); 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Return the data associated with the client object at client address addr 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * and that has object type t. Return 0 if there is no client object in the 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * set with the specified start address. 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownDrdClientobj* DRD_(clientobj_get)(const Addr addr, const ObjType t) 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown DrdClientobj* p; 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown p = VG_(OSetGen_Lookup)(s_clientobj_set, &addr); 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (p && p->any.type == t) 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return p; 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return 0; 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** Return true if and only if the address range of any client object overlaps 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * with the specified address range. 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool DRD_(clientobj_present)(const Addr a1, const Addr a2) 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown DrdClientobj *p; 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(a1 <= a2); 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(OSetGen_ResetIter)(s_clientobj_set); 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for ( ; (p = VG_(OSetGen_Next)(s_clientobj_set)) != 0; ) 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown { 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (a1 <= p->any.a1 && p->any.a1 < a2) 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown { 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return False; 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Add state information for the client object at client address addr and 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * of type t. Suppress data race reports on the address range [addr,addr+size[. 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * @pre No other client object is present in the address range [addr,addr+size[. 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownDrdClientobj* DRD_(clientobj_add)(const Addr a1, const ObjType t) 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown DrdClientobj* p; 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(! DRD_(clientobj_present)(a1, a1 + 1)); 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == 0); 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (s_trace_clientobj) 136b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov DRD_(trace_msg)("Adding client object 0x%lx of type %d", a1, t); 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown p = VG_(OSetGen_AllocNode)(s_clientobj_set, sizeof(*p)); 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(memset)(p, 0, sizeof(*p)); 140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown p->any.a1 = a1; 141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown p->any.type = t; 142ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown p->any.first_observed_at = VG_(record_ExeContext)(VG_(get_running_tid)(), 0); 143ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(OSetGen_Insert)(s_clientobj_set, p); 144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(VG_(OSetGen_Lookup)(s_clientobj_set, &a1) == p); 145ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (t == ClientHbvar) 146ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown DRD_(mark_hbvar)(a1); 147ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else 148ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown DRD_(start_suppression)(a1, a1 + 1, "clientobj"); 149ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return p; 150ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 151ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 152ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** 153ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Remove the information that was stored about the client object. 154ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * 155ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * @param[in] addr Address of the client object in the client address space. 156ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * @param[in] t Type of the client object. 157ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 158ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool DRD_(clientobj_remove)(const Addr addr, const ObjType t) 159ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 160ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown DrdClientobj* p; 161ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 162ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown p = VG_(OSetGen_Lookup)(s_clientobj_set, &addr); 163ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(p); 164ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(p->any.type == t); 165ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return clientobj_remove_obj(p); 166ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 167ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 168ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** 169ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Remove the information that was stored about the client object p. 170ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * 171ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * @note The order of operations below is important. The client object is 172ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * removed from the client object set after the cleanup function has been 173ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * called such that if the cleanup function can still use the function 174ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * DRD_(clientobj_get_any)(). This happens e.g. in the function 175ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * first_observed() in drd_error.c. 176ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 177ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic Bool clientobj_remove_obj(DrdClientobj* const p) 178ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 179ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(p); 180ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 181b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov if (s_trace_clientobj) { 182b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov DRD_(trace_msg)("Removing client object 0x%lx of type %d", p->any.a1, 183b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov p->any.type); 184ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#if 0 185ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(get_and_pp_StackTrace)(VG_(get_running_tid)(), 186ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(clo_backtrace_size)); 187ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#endif 188ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 189ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 190ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(p->any.cleanup); 191ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (*p->any.cleanup)(p); 192ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(OSetGen_Remove)(s_clientobj_set, &p->any.a1); 193ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(OSetGen_FreeNode)(s_clientobj_set, p); 194ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 195ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 196ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 197ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** 198ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Clean up all client objects p for which their start address p->any.a1 fits 199ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * inside the address range [ a1, a2 [. 200ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * 201ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * @note The implementation of this function relies on the fact that the 202ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * data in s_clientobj_set is sorted on the start address of client objects. 203ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 204ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid DRD_(clientobj_stop_using_mem)(const Addr a1, const Addr a2) 205ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 206ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Addr removed_at; 207ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown DrdClientobj* p; 208ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 209ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(s_clientobj_set); 210ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 211ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (! DRD_(range_contains_suppression_or_hbvar)(a1, a2)) 212ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return; 213ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 214ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(OSetGen_ResetIterAt)(s_clientobj_set, &a1); 215ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for ( ; (p = VG_(OSetGen_Next)(s_clientobj_set)) != 0 && p->any.a1 < a2; ) 216ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown { 217ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(a1 <= p->any.a1); 218ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown removed_at = p->any.a1; 219ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown clientobj_remove_obj(p); 220ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* 221ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * The above call removes an element from the oset and hence 222ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * invalidates the iterator. Restore the iterator. 223ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 224ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(OSetGen_ResetIterAt)(s_clientobj_set, &removed_at); 225ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 226ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 227ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 228ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/** 229ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * Delete the per-thread information stored in client objects for the 230ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown * specified thread. 231ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown */ 232ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid DRD_(clientobj_delete_thread)(const DrdThreadId tid) 233ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 234ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown DrdClientobj *p; 235ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 236ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(OSetGen_ResetIter)(s_clientobj_set); 237ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for ( ; (p = VG_(OSetGen_Next)(s_clientobj_set)) != 0; ) 238ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown { 239ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (p->any.delete_thread) 240ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown { 241ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (*p->any.delete_thread)(p, tid); 242ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 243ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 244ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 245ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 246ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownconst char* DRD_(clientobj_type_name)(const ObjType t) 247ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 248ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown switch (t) 249ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown { 250ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case ClientMutex: return "mutex"; 251ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case ClientCondvar: return "cond"; 252ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case ClientHbvar: return "order annotation"; 253ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case ClientSemaphore: return "semaphore"; 254ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case ClientBarrier: return "barrier"; 255ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case ClientRwlock: return "rwlock"; 256ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 257ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return "(unknown)"; 258ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 259