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 10b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov Copyright (C) 2000-2011 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 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* The first 4 IP values are used in comparisons to remove duplicate 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown errors, and for comparing against suppression specifications. The 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown rest are purely informational (but often important). 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The contexts are stored in a traditional chained hash table, so as 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown to allow quick determination of whether a new context already 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown exists. The hash table starts small and expands dynamically, so as 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown to keep the load factor below 1.0. 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown The idea is only to ever store any one context once, so as to save 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown space and make exact comparisons faster. */ 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Primes for the hash table */ 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#define N_EC_PRIMES 18 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic SizeT ec_primes[N_EC_PRIMES] = { 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 769UL, 1543UL, 3079UL, 6151UL, 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 12289UL, 24593UL, 49157UL, 98317UL, 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 196613UL, 393241UL, 786433UL, 1572869UL, 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 3145739UL, 6291469UL, 12582917UL, 25165843UL, 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 50331653UL, 100663319UL 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}; 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Each element is present in a hash chain, and also contains a 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown variable length array of guest code addresses (the useful part). */ 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstruct _ExeContext { 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown struct _ExeContext* chain; 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* A 32-bit unsigned integer that uniquely identifies this 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext. Memcheck uses these for origin tracking. Values 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown must be nonzero (else Memcheck's origin tracking is hosed), must 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown be a multiple of four, and must be unique. Hence they start at 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 4. */ 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt ecu; 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Variable-length array. The size is 'n_ips'; at 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown least 1, at most VG_DEEPEST_BACKTRACE. [0] is the current IP, 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown [1] is its caller, [2] is the caller of [1], etc. */ 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt n_ips; 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Addr ips[0]; 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}; 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* This is the dynamically expanding hash table. */ 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ExeContext** ec_htab; /* array [ec_htab_size] of ExeContext* */ 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic SizeT ec_htab_size; /* one of the values in ec_primes */ 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic SizeT ec_htab_size_idx; /* 0 .. N_EC_PRIMES-1 */ 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* ECU serial number */ 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic UInt ec_next_ecu = 4; /* We must never issue zero */ 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Stats only: the number of times the system was searched to locate a 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown context. */ 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_searchreqs; 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Stats only: the number of full context comparisons done. */ 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_searchcmps; 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Stats only: total number of stored contexts. */ 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_totstored; 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Number of 2, 4 and (fast) full cmps done. */ 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_cmp2s; 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_cmp4s; 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ULong ec_cmpAlls; 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Exported functions. ---*/ 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Initialise this subsystem. */ 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic void init_ExeContext_storage ( void ) 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int i; 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown static Bool init_done = False; 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (LIKELY(init_done)) 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return; 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchreqs = 0; 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchcmps = 0; 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_totstored = 0; 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp2s = 0; 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp4s = 0; 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmpAlls = 0; 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size_idx = 0; 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size = ec_primes[ec_htab_size_idx]; 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab = VG_(arena_malloc)(VG_AR_EXECTXT, "execontext.iEs1", 140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown sizeof(ExeContext*) * ec_htab_size); 141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < ec_htab_size; i++) 142ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab[i] = NULL; 143ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown init_done = True; 145ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 146ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 147ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 148ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Print stats. */ 149ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid VG_(print_ExeContext_stats) ( void ) 150ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 151ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown init_ExeContext_storage(); 152ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_DebugMsg, 153ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown " exectx: %'lu lists, %'llu contexts (avg %'llu per list)\n", 154ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size, ec_totstored, ec_totstored / (ULong)ec_htab_size 155ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 156ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_DebugMsg, 157ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown " exectx: %'llu searches, %'llu full compares (%'llu per 1000)\n", 158ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchreqs, ec_searchcmps, 159ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchreqs == 0 160ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ? 0ULL 161ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown : ( (ec_searchcmps * 1000ULL) / ec_searchreqs ) 162ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 163ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(message)(Vg_DebugMsg, 164ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown " exectx: %'llu cmp2, %'llu cmp4, %'llu cmpAll\n", 165ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp2s, ec_cmp4s, ec_cmpAlls 166ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ); 167ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 168ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 169ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 170ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Print an ExeContext. */ 171ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownvoid VG_(pp_ExeContext) ( ExeContext* ec ) 172ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 173ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(pp_StackTrace)( ec->ips, ec->n_ips ); 174ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 175ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 176ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 177ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Compare two ExeContexts. Number of callers considered depends on res. */ 178ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool VG_(eq_ExeContext) ( VgRes res, ExeContext* e1, ExeContext* e2 ) 179ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 180ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int i; 181ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 182ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (e1 == NULL || e2 == NULL) 183ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return False; 184ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 185ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown // Must be at least one address in each trace. 186ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(e1->n_ips >= 1 && e2->n_ips >= 1); 187ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 188ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown switch (res) { 189ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case Vg_LowRes: 190ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Just compare the top two callers. */ 191ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp2s++; 192ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < 2; i++) { 193ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( (e1->n_ips <= i) && (e2->n_ips <= i)) return True; 194ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( (e1->n_ips <= i) && !(e2->n_ips <= i)) return False; 195ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!(e1->n_ips <= i) && (e2->n_ips <= i)) return False; 196ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (e1->ips[i] != e2->ips[i]) return False; 197ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 198ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 199ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 200ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case Vg_MedRes: 201ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Just compare the top four callers. */ 202ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmp4s++; 203ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < 4; i++) { 204ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( (e1->n_ips <= i) && (e2->n_ips <= i)) return True; 205ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( (e1->n_ips <= i) && !(e2->n_ips <= i)) return False; 206ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (!(e1->n_ips <= i) && (e2->n_ips <= i)) return False; 207ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (e1->ips[i] != e2->ips[i]) return False; 208ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 209ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 210ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 211ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case Vg_HighRes: 212ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_cmpAlls++; 213ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Compare them all -- just do pointer comparison. */ 214ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (e1 != e2) return False; 215ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 216ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 217ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown default: 218ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(core_panic)("VG_(eq_ExeContext): unrecognised VgRes"); 219ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 220ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 221ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 222ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* VG_(record_ExeContext) is the head honcho here. Take a snapshot of 223ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown the client's stack. Search our collection of ExeContexts to see if 224ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown we already have it, and if not, allocate a new one. Either way, 225ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return a pointer to the context. If there is a matching context we 226ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown guarantee to not allocate a new one. Thus we never store 227ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown duplicates, and so exact equality can be quickly done as equality 228ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown on the returned ExeContext* values themselves. Inspired by Hugs's 229ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Text type. 230ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 231ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Also checks whether the hash table needs expanding, and expands it 232ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if so. */ 233ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 234ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic inline UWord ROLW ( UWord w, Int n ) 235ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 236ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int bpw = 8 * sizeof(UWord); 237ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown w = (w << n) | (w >> (bpw-n)); 238ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return w; 239ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 240ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 241ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic UWord calc_hash ( Addr* ips, UInt n_ips, UWord htab_sz ) 242ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 243ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt i; 244ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UWord hash = 0; 245ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(htab_sz > 0); 246ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < n_ips; i++) { 247ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown hash ^= ips[i]; 248ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown hash = ROLW(hash, 19); 249ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 250ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return hash % htab_sz; 251ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 252ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 253ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic void resize_ec_htab ( void ) 254ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 255ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown SizeT i; 256ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown SizeT new_size; 257ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext** new_ec_htab; 258ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 259ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ec_htab_size_idx >= 0 && ec_htab_size_idx < N_EC_PRIMES); 260ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (ec_htab_size_idx == N_EC_PRIMES-1) 261ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return; /* out of primes - can't resize further */ 262ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 263ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_size = ec_primes[ec_htab_size_idx + 1]; 264ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec_htab = VG_(arena_malloc)(VG_AR_EXECTXT, "execontext.reh1", 265ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown sizeof(ExeContext*) * new_size); 266ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 267ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(debugLog)( 268ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 1, "execontext", 269ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown "resizing htab from size %lu to %lu (idx %lu) Total#ECs=%llu\n", 270ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size, new_size, ec_htab_size_idx + 1, ec_totstored); 271ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 272ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < new_size; i++) 273ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec_htab[i] = NULL; 274ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 275ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < ec_htab_size; i++) { 276ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* cur = ec_htab[i]; 277ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown while (cur) { 278ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* next = cur->chain; 279ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UWord hash = calc_hash(cur->ips, cur->n_ips, new_size); 280ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(hash < new_size); 281ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cur->chain = new_ec_htab[hash]; 282ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec_htab[hash] = cur; 283ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cur = next; 284ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 285ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 286ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 287ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(arena_free)(VG_AR_EXECTXT, ec_htab); 288ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab = new_ec_htab; 289ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size = new_size; 290ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab_size_idx++; 291ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 292ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 293ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Do the first part of getting a stack trace: actually unwind the 294ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown stack, and hand the results off to the duplicate-trace-finder 295ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown (_wrk2). */ 296ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ExeContext* record_ExeContext_wrk2 ( Addr* ips, UInt n_ips ); /*fwds*/ 297ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ExeContext* record_ExeContext_wrk ( ThreadId tid, Word first_ip_delta, 298ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool first_ip_only ) 299ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 300ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Addr ips[VG_DEEPEST_BACKTRACE]; 301ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UInt n_ips; 302ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 303ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown init_ExeContext_storage(); 304ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 305ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(void*) == sizeof(UWord)); 306ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(sizeof(void*) == sizeof(Addr)); 307ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 308ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(is_valid_tid)(tid)); 309ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 310ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(clo_backtrace_size) >= 1 && 311ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(clo_backtrace_size) <= VG_DEEPEST_BACKTRACE); 312ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 313ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (first_ip_only) { 314ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown n_ips = 1; 315ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ips[0] = VG_(get_IP)(tid); 316ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } else { 317ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown n_ips = VG_(get_StackTrace)( tid, ips, VG_(clo_backtrace_size), 318ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown NULL/*array to dump SP values in*/, 319ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown NULL/*array to dump FP values in*/, 320ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown first_ip_delta ); 321ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 322ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 323ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return record_ExeContext_wrk2 ( ips, n_ips ); 324ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 325ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 326ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Do the second part of getting a stack trace: ips[0 .. n_ips-1] 327ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown holds a proposed trace. Find or allocate a suitable ExeContext. 328ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Note that callers must have done init_ExeContext_storage() before 329ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown getting to this point. */ 330ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownstatic ExeContext* record_ExeContext_wrk2 ( Addr* ips, UInt n_ips ) 331ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 332ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int i; 333ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Bool same; 334ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UWord hash; 335ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* new_ec; 336ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* list; 337ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext *prev2, *prev; 338ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 339ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown static UInt ctr = 0; 340ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 341ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tl_assert(n_ips >= 1 && n_ips <= VG_(clo_backtrace_size)); 342ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 343ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Now figure out if we've seen this one before. First hash it so 344ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown as to determine the list number. */ 345ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown hash = calc_hash( ips, n_ips, ec_htab_size ); 346ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 347ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* And (the expensive bit) look a for matching entry in the list. */ 348ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 349ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchreqs++; 350ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 351ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev2 = NULL; 352ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev = NULL; 353ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown list = ec_htab[hash]; 354ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 355ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown while (True) { 356ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (list == NULL) break; 357ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_searchcmps++; 358ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown same = True; 359ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < n_ips; i++) { 360ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (list->ips[i] != ips[i]) { 361ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown same = False; 362ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown break; 363ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 364ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 365ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (same) break; 366ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev2 = prev; 367ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev = list; 368ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown list = list->chain; 369ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 370ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 371ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (list != NULL) { 372ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Yay! We found it. Once every 8 searches, move it one step 373ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown closer to the start of the list to make future searches 374ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown cheaper. */ 375ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (0 == ((ctr++) & 7)) { 376ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (prev2 != NULL && prev != NULL) { 377ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Found at 3rd or later position in the chain. */ 378ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(prev2->chain == prev); 379ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(prev->chain == list); 380ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev2->chain = list; 381ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev->chain = list->chain; 382ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown list->chain = prev; 383ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 384ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown else if (prev2 == NULL && prev != NULL) { 385ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Found at 2nd position in the chain. */ 386ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ec_htab[hash] == prev); 387ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(prev->chain == list); 388ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown prev->chain = list->chain; 389ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown list->chain = prev; 390ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab[hash] = list; 391ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 392ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 393ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return list; 394ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 395ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 396ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Bummer. We have to allocate a new context record. */ 397ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_totstored++; 398ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 399ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec = VG_(arena_malloc)( VG_AR_EXECTXT, "execontext.rEw2.2", 400ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown sizeof(struct _ExeContext) 401ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown + n_ips * sizeof(Addr) ); 402ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 403ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < n_ips; i++) 404ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec->ips[i] = ips[i]; 405ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 406ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(is_plausible_ECU)(ec_next_ecu)); 407ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec->ecu = ec_next_ecu; 408ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_next_ecu += 4; 409ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (ec_next_ecu == 0) { 410ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Urr. Now we're hosed; we emitted 2^30 ExeContexts already 411ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown and have run out of numbers. Not sure what to do. */ 412ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(core_panic)("m_execontext: more than 2^30 ExeContexts created"); 413ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 414ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 415ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec->n_ips = n_ips; 416ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown new_ec->chain = ec_htab[hash]; 417ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ec_htab[hash] = new_ec; 418ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 419ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* Resize the hash table, maybe? */ 420ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if ( ((ULong)ec_totstored) > ((ULong)ec_htab_size) ) { 421ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ec_htab_size_idx >= 0 && ec_htab_size_idx < N_EC_PRIMES); 422ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (ec_htab_size_idx < N_EC_PRIMES-1) 423ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown resize_ec_htab(); 424ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 425ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 426ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return new_ec; 427ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 428ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 429ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* VG_(record_ExeContext)( ThreadId tid, Word first_ip_delta ) { 430ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return record_ExeContext_wrk( tid, first_ip_delta, 431ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown False/*!first_ip_only*/ ); 432ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 433ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 434ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* VG_(record_depth_1_ExeContext)( ThreadId tid ) { 435ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return record_ExeContext_wrk( tid, 0/*first_ip_delta*/, 436ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown True/*first_ip_only*/ ); 437ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 438ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 439ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* VG_(make_depth_1_ExeContext_from_Addr)( Addr a ) { 440ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown init_ExeContext_storage(); 441ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return record_ExeContext_wrk2( &a, 1 ); 442ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 443ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 444ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownStackTrace VG_(get_ExeContext_StackTrace) ( ExeContext* e ) { 445ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return e->ips; 446ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 447ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 448ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownUInt VG_(get_ECU_from_ExeContext)( ExeContext* e ) { 449ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(is_plausible_ECU)(e->ecu)); 450ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return e->ecu; 451ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 452ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 453ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownInt VG_(get_ExeContext_n_ips)( ExeContext* e ) { 454ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(e->n_ips >= 1); 455ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return e->n_ips; 456ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 457ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 458ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* VG_(get_ExeContext_from_ECU)( UInt ecu ) 459ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 460ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown UWord i; 461ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ExeContext* ec; 462ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(is_plausible_ECU)(ecu)); 463ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(ec_htab_size > 0); 464ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (i = 0; i < ec_htab_size; i++) { 465ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for (ec = ec_htab[i]; ec; ec = ec->chain) { 466ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (ec->ecu == ecu) 467ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return ec; 468ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 469ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 470ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return NULL; 471ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 472ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 473ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownExeContext* VG_(make_ExeContext_from_StackTrace)( Addr* ips, UInt n_ips ) 474ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 475ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return record_ExeContext_wrk2(ips, n_ips); 476ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 477ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 478ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 479ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end m_execontext.c ---*/ 480ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 481