1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Store and compare stack backtraces m_execontext.c ---*/ 4ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 5ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 6ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* 7ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This file is part of Valgrind, a dynamic binary instrumentation 8ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown framework. 9ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 10436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov Copyright (C) 2000-2013 Julian Seward 11ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown jseward@acm.org 12ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 13ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is free software; you can redistribute it and/or 14ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown modify it under the terms of the GNU General Public License as 15ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown published by the Free Software Foundation; either version 2 of the 16ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown License, or (at your option) any later version. 17ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 18ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown This program is distributed in the hope that it will be useful, but 19ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown WITHOUT ANY WARRANTY; without even the implied warranty of 20ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 21ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown General Public License for more details. 22ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 23ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown You should have received a copy of the GNU General Public License 24ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown along with this program; if not, write to the Free Software 25ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 26ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 02111-1307, USA. 27ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 28ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The GNU General Public License is contained in the file COPYING. 29ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown*/ 30ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 31ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_basics.h" 32ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_debuglog.h" 33ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_libcassert.h" 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_libcprint.h" // For VG_(message)() 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_mallocfree.h" 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_options.h" 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_stacktrace.h" 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_machine.h" // VG_(get_IP) 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_vki.h" // To keep pub_core_threadstate.h happy 40b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov#include "pub_core_libcsetjmp.h" // Ditto 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_threadstate.h" // VG_(is_valid_tid) 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_execontext.h" // self 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Low-level ExeContext storage. ---*/ 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 48436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov/* Depending on VgRes, the first 2, 4 or all IP values are used in 49436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov comparisons to remove duplicate errors, and for comparing against 50436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov suppression specifications. If not used in comparison, the rest 51436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov are purely informational (but often important). 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The contexts are stored in a traditional chained hash table, so as 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown to allow quick determination of whether a new context already 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown exists. The hash table starts small and expands dynamically, so as 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown to keep the load factor below 1.0. 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The idea is only to ever store any one context once, so as to save 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown space and make exact comparisons faster. */ 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Primes for the hash table */ 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define N_EC_PRIMES 18 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic SizeT ec_primes[N_EC_PRIMES] = { 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 769UL, 1543UL, 3079UL, 6151UL, 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 12289UL, 24593UL, 49157UL, 98317UL, 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 196613UL, 393241UL, 786433UL, 1572869UL, 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 3145739UL, 6291469UL, 12582917UL, 25165843UL, 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 50331653UL, 100663319UL 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}; 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Each element is present in a hash chain, and also contains a 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown variable length array of guest code addresses (the useful part). */ 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstruct _ExeContext { 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown struct _ExeContext* chain; 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* A 32-bit unsigned integer that uniquely identifies this 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext. Memcheck uses these for origin tracking. Values 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown must be nonzero (else Memcheck's origin tracking is hosed), must 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown be a multiple of four, and must be unique. Hence they start at 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 4. */ 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt ecu; 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Variable-length array. The size is 'n_ips'; at 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP, 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown [1] is its caller, [2] is the caller of [1], etc. */ 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt n_ips; 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Addr ips[0]; 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}; 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* This is the dynamically expanding hash table. */ 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ExeContext** ec_htab; /* array [ec_htab_size] of ExeContext* */ 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic SizeT ec_htab_size; /* one of the values in ec_primes */ 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic SizeT ec_htab_size_idx; /* 0 .. N_EC_PRIMES-1 */ 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* ECU serial number */ 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic UInt ec_next_ecu = 4; /* We must never issue zero */ 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 102436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanovstatic ExeContext* null_ExeContext; 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Stats only: the number of times the system was searched to locate a 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown context. */ 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_searchreqs; 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Stats only: the number of full context comparisons done. */ 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_searchcmps; 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Stats only: total number of stored contexts. */ 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_totstored; 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Number of 2, 4 and (fast) full cmps done. */ 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_cmp2s; 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_cmp4s; 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_cmpAlls; 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Exported functions. ---*/ 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 124436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanovstatic ExeContext* record_ExeContext_wrk2 ( Addr* ips, UInt n_ips ); /*fwds*/ 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Initialise this subsystem. */ 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic void init_ExeContext_storage ( void ) 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int i; 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown static Bool init_done = False; 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (LIKELY(init_done)) 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return; 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchreqs = 0; 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchcmps = 0; 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_totstored = 0; 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp2s = 0; 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp4s = 0; 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmpAlls = 0; 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size_idx = 0; 141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size = ec_primes[ec_htab_size_idx]; 142436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov ec_htab = VG_(malloc)("execontext.iEs1", 143436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov sizeof(ExeContext*) * ec_htab_size); 144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < ec_htab_size; i++) 145ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab[i] = NULL; 146ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 147436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov { 148436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov Addr ips[1]; 149436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov ips[0] = 0; 150436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov null_ExeContext = record_ExeContext_wrk2(ips, 1); 151436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov // null execontext must be the first one created and get ecu 4. 152436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov vg_assert(null_ExeContext->ecu == 4); 153436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov } 154436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov 155ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown init_done = True; 156ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 157ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 158ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 159ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Print stats. */ 160436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanovvoid VG_(print_ExeContext_stats) ( Bool with_stacktraces ) 161ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 162ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown init_ExeContext_storage(); 163436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov 164436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov if (with_stacktraces) { 165436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov Int i; 166436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov ExeContext* ec; 167436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov VG_(message)(Vg_DebugMsg, " exectx: Printing contexts stacktraces\n"); 168436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov for (i = 0; i < ec_htab_size; i++) { 169436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov for (ec = ec_htab[i]; ec; ec = ec->chain) { 170436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov VG_(message)(Vg_DebugMsg, " exectx: stacktrace ecu %u n_ips %u\n", 171436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov ec->ecu, ec->n_ips); 172436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov VG_(pp_StackTrace)( ec->ips, ec->n_ips ); 173436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov } 174436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov } 175436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov VG_(message)(Vg_DebugMsg, 176436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov " exectx: Printed %'llu contexts stacktraces\n", 177436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov ec_totstored); 178436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov } 179436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov 180ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_DebugMsg, 181ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown " exectx: %'lu lists, %'llu contexts (avg %'llu per list)\n", 182ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size, ec_totstored, ec_totstored / (ULong)ec_htab_size 183ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 184ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_DebugMsg, 185ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown " exectx: %'llu searches, %'llu full compares (%'llu per 1000)\n", 186ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchreqs, ec_searchcmps, 187ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchreqs == 0 188ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ? 0ULL 189ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown : ( (ec_searchcmps * 1000ULL) / ec_searchreqs ) 190ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 191ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_DebugMsg, 192ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown " exectx: %'llu cmp2, %'llu cmp4, %'llu cmpAll\n", 193ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp2s, ec_cmp4s, ec_cmpAlls 194ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 195ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 196ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 197ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 198ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Print an ExeContext. */ 199ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid VG_(pp_ExeContext) ( ExeContext* ec ) 200ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 201ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(pp_StackTrace)( ec->ips, ec->n_ips ); 202ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 203ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 204ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 205ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Compare two ExeContexts. Number of callers considered depends on res. */ 206ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool VG_(eq_ExeContext) ( VgRes res, ExeContext* e1, ExeContext* e2 ) 207ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 208ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int i; 209ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 210ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (e1 == NULL || e2 == NULL) 211ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return False; 212ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 213ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // Must be at least one address in each trace. 214ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(e1->n_ips >= 1 && e2->n_ips >= 1); 215ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 216ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown switch (res) { 217ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case Vg_LowRes: 218ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Just compare the top two callers. */ 219ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp2s++; 220ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < 2; i++) { 221ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( (e1->n_ips <= i) && (e2->n_ips <= i)) return True; 222ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( (e1->n_ips <= i) && !(e2->n_ips <= i)) return False; 223ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!(e1->n_ips <= i) && (e2->n_ips <= i)) return False; 224ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (e1->ips[i] != e2->ips[i]) return False; 225ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 226ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 227ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 228ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case Vg_MedRes: 229ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Just compare the top four callers. */ 230ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp4s++; 231ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < 4; i++) { 232ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( (e1->n_ips <= i) && (e2->n_ips <= i)) return True; 233ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( (e1->n_ips <= i) && !(e2->n_ips <= i)) return False; 234ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!(e1->n_ips <= i) && (e2->n_ips <= i)) return False; 235ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (e1->ips[i] != e2->ips[i]) return False; 236ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 237ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 238ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 239ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case Vg_HighRes: 240ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmpAlls++; 241ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Compare them all -- just do pointer comparison. */ 242ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (e1 != e2) return False; 243ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 244ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 245ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown default: 246ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(core_panic)("VG_(eq_ExeContext): unrecognised VgRes"); 247ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 248ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 249ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 250ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* VG_(record_ExeContext) is the head honcho here. Take a snapshot of 251ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the client's stack. Search our collection of ExeContexts to see if 252ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown we already have it, and if not, allocate a new one. Either way, 253ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return a pointer to the context. If there is a matching context we 254ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown guarantee to not allocate a new one. Thus we never store 255ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown duplicates, and so exact equality can be quickly done as equality 256ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown on the returned ExeContext* values themselves. Inspired by Hugs's 257ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Text type. 258ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 259ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Also checks whether the hash table needs expanding, and expands it 260ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if so. */ 261ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 262ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic inline UWord ROLW ( UWord w, Int n ) 263ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 264ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int bpw = 8 * sizeof(UWord); 265ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown w = (w << n) | (w >> (bpw-n)); 266ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return w; 267ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 268ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 269ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic UWord calc_hash ( Addr* ips, UInt n_ips, UWord htab_sz ) 270ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 271ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt i; 272ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UWord hash = 0; 273ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(htab_sz > 0); 274ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < n_ips; i++) { 275ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown hash ^= ips[i]; 276ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown hash = ROLW(hash, 19); 277ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 278ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return hash % htab_sz; 279ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 280ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 281ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic void resize_ec_htab ( void ) 282ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 283ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown SizeT i; 284ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown SizeT new_size; 285ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext** new_ec_htab; 286ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 287ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ec_htab_size_idx >= 0 && ec_htab_size_idx < N_EC_PRIMES); 288ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (ec_htab_size_idx == N_EC_PRIMES-1) 289ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return; /* out of primes - can't resize further */ 290ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 291ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_size = ec_primes[ec_htab_size_idx + 1]; 292436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov new_ec_htab = VG_(malloc)("execontext.reh1", 293436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov sizeof(ExeContext*) * new_size); 294ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 295ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(debugLog)( 296ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 1, "execontext", 297ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown "resizing htab from size %lu to %lu (idx %lu) Total#ECs=%llu\n", 298ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size, new_size, ec_htab_size_idx + 1, ec_totstored); 299ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 300ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < new_size; i++) 301ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec_htab[i] = NULL; 302ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 303ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < ec_htab_size; i++) { 304ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* cur = ec_htab[i]; 305ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown while (cur) { 306ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* next = cur->chain; 307ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UWord hash = calc_hash(cur->ips, cur->n_ips, new_size); 308ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(hash < new_size); 309ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cur->chain = new_ec_htab[hash]; 310ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec_htab[hash] = cur; 311ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cur = next; 312ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 313ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 314ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 315436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov VG_(free)(ec_htab); 316ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab = new_ec_htab; 317ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size = new_size; 318ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size_idx++; 319ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 320ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 321ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Do the first part of getting a stack trace: actually unwind the 322ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown stack, and hand the results off to the duplicate-trace-finder 323ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (_wrk2). */ 324ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ExeContext* record_ExeContext_wrk ( ThreadId tid, Word first_ip_delta, 325ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool first_ip_only ) 326ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 327663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng Addr ips[VG_(clo_backtrace_size)]; 328ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt n_ips; 329ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 330ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown init_ExeContext_storage(); 331ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 332ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(void*) == sizeof(UWord)); 333ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(void*) == sizeof(Addr)); 334ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 335ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(is_valid_tid)(tid)); 336ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 337ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (first_ip_only) { 338ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown n_ips = 1; 339663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng ips[0] = VG_(get_IP)(tid) + first_ip_delta; 340ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } else { 341ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown n_ips = VG_(get_StackTrace)( tid, ips, VG_(clo_backtrace_size), 342ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown NULL/*array to dump SP values in*/, 343ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown NULL/*array to dump FP values in*/, 344ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown first_ip_delta ); 345ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 346ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 347ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return record_ExeContext_wrk2 ( ips, n_ips ); 348ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 349ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 350ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Do the second part of getting a stack trace: ips[0 .. n_ips-1] 351ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown holds a proposed trace. Find or allocate a suitable ExeContext. 352ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Note that callers must have done init_ExeContext_storage() before 353ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown getting to this point. */ 354ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ExeContext* record_ExeContext_wrk2 ( Addr* ips, UInt n_ips ) 355ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 356ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int i; 357ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool same; 358ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UWord hash; 359ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* new_ec; 360ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* list; 361ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext *prev2, *prev; 362ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 363ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown static UInt ctr = 0; 364ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 365ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(n_ips >= 1 && n_ips <= VG_(clo_backtrace_size)); 366ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 367ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Now figure out if we've seen this one before. First hash it so 368ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown as to determine the list number. */ 369ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown hash = calc_hash( ips, n_ips, ec_htab_size ); 370ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 371ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* And (the expensive bit) look a for matching entry in the list. */ 372ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 373ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchreqs++; 374ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 375ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev2 = NULL; 376ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev = NULL; 377ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown list = ec_htab[hash]; 378ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 379ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown while (True) { 380ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (list == NULL) break; 381ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchcmps++; 382ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown same = True; 383ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < n_ips; i++) { 384ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (list->ips[i] != ips[i]) { 385ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown same = False; 386ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown break; 387ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 388ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 389ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (same) break; 390ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev2 = prev; 391ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev = list; 392ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown list = list->chain; 393ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 394ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 395ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (list != NULL) { 396ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Yay! We found it. Once every 8 searches, move it one step 397ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown closer to the start of the list to make future searches 398ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cheaper. */ 399ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (0 == ((ctr++) & 7)) { 400ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (prev2 != NULL && prev != NULL) { 401ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Found at 3rd or later position in the chain. */ 402ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(prev2->chain == prev); 403ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(prev->chain == list); 404ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev2->chain = list; 405ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev->chain = list->chain; 406ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown list->chain = prev; 407ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 408ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else if (prev2 == NULL && prev != NULL) { 409ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Found at 2nd position in the chain. */ 410ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ec_htab[hash] == prev); 411ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(prev->chain == list); 412ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev->chain = list->chain; 413ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown list->chain = prev; 414ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab[hash] = list; 415ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 416ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 417ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return list; 418ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 419ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 420ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Bummer. We have to allocate a new context record. */ 421ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_totstored++; 422ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 423436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov new_ec = VG_(perm_malloc)( sizeof(struct _ExeContext) 424436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov + n_ips * sizeof(Addr), 425436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov vg_alignof(struct _ExeContext)); 426ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 427ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < n_ips; i++) 428ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec->ips[i] = ips[i]; 429ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 430ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(is_plausible_ECU)(ec_next_ecu)); 431ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec->ecu = ec_next_ecu; 432ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_next_ecu += 4; 433ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (ec_next_ecu == 0) { 434ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Urr. Now we're hosed; we emitted 2^30 ExeContexts already 435ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown and have run out of numbers. Not sure what to do. */ 436ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(core_panic)("m_execontext: more than 2^30 ExeContexts created"); 437ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 438ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 439ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec->n_ips = n_ips; 440ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec->chain = ec_htab[hash]; 441ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab[hash] = new_ec; 442ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 443ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Resize the hash table, maybe? */ 444ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( ((ULong)ec_totstored) > ((ULong)ec_htab_size) ) { 445ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ec_htab_size_idx >= 0 && ec_htab_size_idx < N_EC_PRIMES); 446ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (ec_htab_size_idx < N_EC_PRIMES-1) 447ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown resize_ec_htab(); 448ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 449ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 450ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return new_ec; 451ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 452ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 453ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* VG_(record_ExeContext)( ThreadId tid, Word first_ip_delta ) { 454ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return record_ExeContext_wrk( tid, first_ip_delta, 455ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown False/*!first_ip_only*/ ); 456ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 457ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 458663860b1408516d02ebfcb3a9999a134e6cfb223Ben ChengExeContext* VG_(record_depth_1_ExeContext)( ThreadId tid, Word first_ip_delta ) 459663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng{ 460663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng return record_ExeContext_wrk( tid, first_ip_delta, 461ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown True/*first_ip_only*/ ); 462ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 463ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 464ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* VG_(make_depth_1_ExeContext_from_Addr)( Addr a ) { 465ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown init_ExeContext_storage(); 466ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return record_ExeContext_wrk2( &a, 1 ); 467ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 468ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 469ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownStackTrace VG_(get_ExeContext_StackTrace) ( ExeContext* e ) { 470ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return e->ips; 471ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 472ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 473ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownUInt VG_(get_ECU_from_ExeContext)( ExeContext* e ) { 474ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(is_plausible_ECU)(e->ecu)); 475ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return e->ecu; 476ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 477ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 478ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownInt VG_(get_ExeContext_n_ips)( ExeContext* e ) { 479ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(e->n_ips >= 1); 480ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return e->n_ips; 481ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 482ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 483ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* VG_(get_ExeContext_from_ECU)( UInt ecu ) 484ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 485ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UWord i; 486ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* ec; 487ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(is_plausible_ECU)(ecu)); 488ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ec_htab_size > 0); 489ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < ec_htab_size; i++) { 490ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (ec = ec_htab[i]; ec; ec = ec->chain) { 491ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (ec->ecu == ecu) 492ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return ec; 493ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 494ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 495ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return NULL; 496ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 497ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 498ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* VG_(make_ExeContext_from_StackTrace)( Addr* ips, UInt n_ips ) 499ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 500436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov init_ExeContext_storage(); 501ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return record_ExeContext_wrk2(ips, n_ips); 502ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 503ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 504436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy IvanovExeContext* VG_(null_ExeContext) (void) 505436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov{ 506436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov init_ExeContext_storage(); 507436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov return null_ExeContext; 508436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov} 509436e89c602e787e7a27dd6624b09beed41a0da8aDmitriy Ivanov 510ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 511ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end m_execontext.c ---*/ 512ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 513