drd_thread.h revision 5c7e6b69ccaecc32ff43d7f3cb9573f3901d19f0
1bedfd237fbdc80d0c917cfcb85a94b5561c92633bart/* -*- mode: C; c-basic-offset: 3; -*- */ 2af44c8236f7a73e71b16b707bba56f33af4d01cesewardj/* 386562bd89ac23ce795d19c71fabcb9d1c8f956d3bart This file is part of drd, a thread error detector. 4af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 5876cafda1cd6f0245b81b1dc5a43d84a86f5f59ebart Copyright (C) 2006-2010 Bart Van Assche <bvanassche@acm.org>. 6af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 7af44c8236f7a73e71b16b707bba56f33af4d01cesewardj This program is free software; you can redistribute it and/or 8af44c8236f7a73e71b16b707bba56f33af4d01cesewardj modify it under the terms of the GNU General Public License as 9af44c8236f7a73e71b16b707bba56f33af4d01cesewardj published by the Free Software Foundation; either version 2 of the 10af44c8236f7a73e71b16b707bba56f33af4d01cesewardj License, or (at your option) any later version. 11af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 12af44c8236f7a73e71b16b707bba56f33af4d01cesewardj This program is distributed in the hope that it will be useful, but 13af44c8236f7a73e71b16b707bba56f33af4d01cesewardj WITHOUT ANY WARRANTY; without even the implied warranty of 14af44c8236f7a73e71b16b707bba56f33af4d01cesewardj MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15af44c8236f7a73e71b16b707bba56f33af4d01cesewardj General Public License for more details. 16af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 17af44c8236f7a73e71b16b707bba56f33af4d01cesewardj You should have received a copy of the GNU General Public License 18af44c8236f7a73e71b16b707bba56f33af4d01cesewardj along with this program; if not, write to the Free Software 19af44c8236f7a73e71b16b707bba56f33af4d01cesewardj Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 20af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 02111-1307, USA. 21af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 22af44c8236f7a73e71b16b707bba56f33af4d01cesewardj The GNU General Public License is contained in the file COPYING. 23af44c8236f7a73e71b16b707bba56f33af4d01cesewardj*/ 24af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 25af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 26af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#ifndef __THREAD_H 27af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#define __THREAD_H 28af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 29af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 30324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Include directives. */ 31f00a85bc55a2790c31670dd21e449a335c739068bart 3209dc13f324a19f1bebf58c7f197a581dc8fb528bbart#include "drd_basics.h" 33af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "drd_segment.h" 34d59bb0f2a79bac77cf0f01b20d3d51102d6c71e3bart#include "pub_drd_bitmap.h" 3586a87df5949beb1f89ebbed923068faed08d048cbart#include "pub_tool_libcassert.h" /* tl_assert() */ 3686a87df5949beb1f89ebbed923068faed08d048cbart#include "pub_tool_stacktrace.h" /* typedef StackTrace */ 3786a87df5949beb1f89ebbed923068faed08d048cbart#include "pub_tool_threadstate.h" /* VG_N_THREADS */ 38f00a85bc55a2790c31670dd21e449a335c739068bart 39f00a85bc55a2790c31670dd21e449a335c739068bart 40324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Defines. */ 41af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4286a87df5949beb1f89ebbed923068faed08d048cbart/** Maximum number of threads DRD keeps information about. */ 43f00a85bc55a2790c31670dd21e449a335c739068bart#define DRD_N_THREADS VG_N_THREADS 44af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4586a87df5949beb1f89ebbed923068faed08d048cbart/** A number different from any valid DRD thread ID. */ 46af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#define DRD_INVALID_THREADID 0 47af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4886a87df5949beb1f89ebbed923068faed08d048cbart/** 4986a87df5949beb1f89ebbed923068faed08d048cbart * A number different from any valid POSIX thread ID. 5086a87df5949beb1f89ebbed923068faed08d048cbart * 5186a87df5949beb1f89ebbed923068faed08d048cbart * @note The PThreadId typedef and the INVALID_POSIX_THREADID depend on the 5286a87df5949beb1f89ebbed923068faed08d048cbart * operating system and threading library in use. PThreadId must contain at 5386a87df5949beb1f89ebbed923068faed08d048cbart * least as many bits as pthread_t, and INVALID_POSIX_THREADID 5486a87df5949beb1f89ebbed923068faed08d048cbart * must be a value that will never be returned by pthread_self(). 5586a87df5949beb1f89ebbed923068faed08d048cbart */ 56af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#define INVALID_POSIX_THREADID ((PThreadId)0) 57af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 58af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 59324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Type definitions. */ 60f00a85bc55a2790c31670dd21e449a335c739068bart 6186a87df5949beb1f89ebbed923068faed08d048cbart/** 6286a87df5949beb1f89ebbed923068faed08d048cbart * POSIX thread ID. The type PThreadId must be at least as wide as 6386a87df5949beb1f89ebbed923068faed08d048cbart * pthread_t. 6486a87df5949beb1f89ebbed923068faed08d048cbart */ 65af44c8236f7a73e71b16b707bba56f33af4d01cesewardjtypedef UWord PThreadId; 66af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 6786a87df5949beb1f89ebbed923068faed08d048cbart/** Per-thread information managed by DRD. */ 68f00a85bc55a2790c31670dd21e449a335c739068barttypedef struct 69f00a85bc55a2790c31670dd21e449a335c739068bart{ 70bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Segment* first; /**< Pointer to first segment. */ 71bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Segment* last; /**< Pointer to last segment. */ 72bedfd237fbdc80d0c917cfcb85a94b5561c92633bart ThreadId vg_threadid; /**< Valgrind thread ID. */ 73bedfd237fbdc80d0c917cfcb85a94b5561c92633bart PThreadId pt_threadid; /**< POSIX thread ID. */ 74bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Addr stack_min_min; /**< Lowest value stack pointer ever had. */ 75bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Addr stack_min; /**< Current stack pointer. */ 76bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Addr stack_startup; /**<Stack pointer after pthread_create() finished.*/ 77bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Addr stack_max; /**< Top of stack. */ 78bedfd237fbdc80d0c917cfcb85a94b5561c92633bart SizeT stack_size; /**< Maximum size of stack. */ 79d45d99553c15a361bb797d21ec6afb9bad22d2d4bart char name[64]; /**< User-assigned thread name. */ 80383d613d286501412f1760c8eaafaeb8c518b344bart Bool on_alt_stack; 81bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /** Indicates whether the Valgrind core knows about this thread. */ 82bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Bool vg_thread_exists; 83bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /** Indicates whether there is an associated POSIX thread ID. */ 84bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Bool posix_thread_exists; 85bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /** 86bedfd237fbdc80d0c917cfcb85a94b5561c92633bart * If true, indicates that there is a corresponding POSIX thread ID and 87bedfd237fbdc80d0c917cfcb85a94b5561c92633bart * a corresponding OS thread that is detached. 88bedfd237fbdc80d0c917cfcb85a94b5561c92633bart */ 89bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Bool detached_posix_thread; 90d45d99553c15a361bb797d21ec6afb9bad22d2d4bart /** Wether recording of memory load accesses is currently enabled. */ 91d45d99553c15a361bb797d21ec6afb9bad22d2d4bart Bool is_recording_loads; 92d45d99553c15a361bb797d21ec6afb9bad22d2d4bart /** Wether recording of memory load accesses is currently enabled. */ 93d45d99553c15a361bb797d21ec6afb9bad22d2d4bart Bool is_recording_stores; 94dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart /** pthread_create() nesting level. */ 95dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart Int pthread_create_nesting_level; 96bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /** Nesting level of synchronization functions called by the client. */ 97bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Int synchr_nesting; 98f00a85bc55a2790c31670dd21e449a335c739068bart} ThreadInfo; 99f00a85bc55a2790c31670dd21e449a335c739068bart 100f00a85bc55a2790c31670dd21e449a335c739068bart 101324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* 102324a23bea57e0bfc27d9442ec00a8eee8294f01abart * Local variables of drd_thread.c that are declared here such that these 103324a23bea57e0bfc27d9442ec00a8eee8294f01abart * can be accessed by inline functions. 104324a23bea57e0bfc27d9442ec00a8eee8294f01abart */ 105f00a85bc55a2790c31670dd21e449a335c739068bart 10686a87df5949beb1f89ebbed923068faed08d048cbart/** 10786a87df5949beb1f89ebbed923068faed08d048cbart * DRD thread ID of the currently running thread. It is crucial for correct 10886a87df5949beb1f89ebbed923068faed08d048cbart * operation of DRD that this number is always in sync with 10986a87df5949beb1f89ebbed923068faed08d048cbart * VG_(get_running_tid)(). 11086a87df5949beb1f89ebbed923068faed08d048cbart */ 111324a23bea57e0bfc27d9442ec00a8eee8294f01abartextern DrdThreadId DRD_(g_drd_running_tid); 11286a87df5949beb1f89ebbed923068faed08d048cbart/** Per-thread information managed by DRD. */ 113324a23bea57e0bfc27d9442ec00a8eee8294f01abartextern ThreadInfo DRD_(g_threadinfo)[DRD_N_THREADS]; 11486a87df5949beb1f89ebbed923068faed08d048cbart/** Conflict set for the currently running thread. */ 115324a23bea57e0bfc27d9442ec00a8eee8294f01abartextern struct bitmap* DRD_(g_conflict_set); 116f00a85bc55a2790c31670dd21e449a335c739068bart 117f00a85bc55a2790c31670dd21e449a335c739068bart 118324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Function declarations. */ 119af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 12062a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_trace_context_switches)(const Bool t); 12162a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_trace_conflict_set)(const Bool t); 1228f822af9b234e7c553c408eba65a641c4773457fbartvoid DRD_(thread_trace_conflict_set_bm)(const Bool t); 12309dc13f324a19f1bebf58c7f197a581dc8fb528bbartBool DRD_(thread_get_trace_fork_join)(void); 12409dc13f324a19f1bebf58c7f197a581dc8fb528bbartvoid DRD_(thread_set_trace_fork_join)(const Bool t); 12562a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_segment_merging)(const Bool m); 1268f822af9b234e7c553c408eba65a641c4773457fbartint DRD_(thread_get_segment_merge_interval)(void); 1278f822af9b234e7c553c408eba65a641c4773457fbartvoid DRD_(thread_set_segment_merge_interval)(const int i); 128af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 12962a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(VgThreadIdToDrdThreadId)(const ThreadId tid); 13062a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(NewVgThreadIdToDrdThreadId)(const ThreadId tid); 13162a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(PtThreadIdToDrdThreadId)(const PThreadId tid); 13262a784c9382fdf7184065ad76ae8d3b905605f21bartThreadId DRD_(DrdThreadIdToVgThreadId)(const DrdThreadId tid); 13362a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(thread_pre_create)(const DrdThreadId creator, 134bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const ThreadId vg_created); 13562a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(thread_post_create)(const ThreadId vg_created); 13609dc13f324a19f1bebf58c7f197a581dc8fb528bbartvoid DRD_(thread_post_join)(DrdThreadId drd_joiner, DrdThreadId drd_joinee); 13762a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_delete)(const DrdThreadId tid); 13862a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_finished)(const DrdThreadId tid); 1395c7e6b69ccaecc32ff43d7f3cb9573f3901d19f0bartvoid DRD_(drd_thread_atfork_child)(const DrdThreadId tid); 14062a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_pre_cancel)(const DrdThreadId tid); 141bedfd237fbdc80d0c917cfcb85a94b5561c92633bartvoid DRD_(thread_set_stack_startup)(const DrdThreadId tid, 142bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const Addr stack_startup); 14362a784c9382fdf7184065ad76ae8d3b905605f21bartAddr DRD_(thread_get_stack_min)(const DrdThreadId tid); 14462a784c9382fdf7184065ad76ae8d3b905605f21bartAddr DRD_(thread_get_stack_min_min)(const DrdThreadId tid); 14562a784c9382fdf7184065ad76ae8d3b905605f21bartAddr DRD_(thread_get_stack_max)(const DrdThreadId tid); 14662a784c9382fdf7184065ad76ae8d3b905605f21bartSizeT DRD_(thread_get_stack_size)(const DrdThreadId tid); 147383d613d286501412f1760c8eaafaeb8c518b344bartBool DRD_(thread_get_on_alt_stack)(const DrdThreadId tid); 148383d613d286501412f1760c8eaafaeb8c518b344bartvoid DRD_(thread_set_on_alt_stack)(const DrdThreadId tid, 149383d613d286501412f1760c8eaafaeb8c518b344bart const Bool on_alt_stack); 150383d613d286501412f1760c8eaafaeb8c518b344bartInt DRD_(thread_get_threads_on_alt_stack)(void); 15162a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_pthreadid)(const DrdThreadId tid, const PThreadId ptid); 15262a784c9382fdf7184065ad76ae8d3b905605f21bartBool DRD_(thread_get_joinable)(const DrdThreadId tid); 15362a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_joinable)(const DrdThreadId tid, const Bool joinable); 154dd75cdfe7612f58bdba8e3a16d34ee32eef85980bartvoid DRD_(thread_entering_pthread_create)(const DrdThreadId tid); 155dd75cdfe7612f58bdba8e3a16d34ee32eef85980bartvoid DRD_(thread_left_pthread_create)(const DrdThreadId tid); 156d45d99553c15a361bb797d21ec6afb9bad22d2d4bartconst char* DRD_(thread_get_name)(const DrdThreadId tid); 157d45d99553c15a361bb797d21ec6afb9bad22d2d4bartvoid DRD_(thread_set_name)(const DrdThreadId tid, const char* const name); 15862a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_vg_running_tid)(const ThreadId vg_tid); 15962a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_running_tid)(const ThreadId vg_tid, 160bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const DrdThreadId drd_tid); 16162a784c9382fdf7184065ad76ae8d3b905605f21bartint DRD_(thread_enter_synchr)(const DrdThreadId tid); 16262a784c9382fdf7184065ad76ae8d3b905605f21bartint DRD_(thread_leave_synchr)(const DrdThreadId tid); 16362a784c9382fdf7184065ad76ae8d3b905605f21bartint DRD_(thread_get_synchr_nesting_count)(const DrdThreadId tid); 16462a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_new_segment)(const DrdThreadId tid); 16562a784c9382fdf7184065ad76ae8d3b905605f21bartVectorClock* DRD_(thread_get_vc)(const DrdThreadId tid); 16662a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_get_latest_segment)(Segment** sg, const DrdThreadId tid); 1678f822af9b234e7c553c408eba65a641c4773457fbartvoid DRD_(thread_combine_vc_join)(const DrdThreadId joiner, 1688f822af9b234e7c553c408eba65a641c4773457fbart const DrdThreadId joinee); 169f6ec1fe18f1fc1222fb274d7dfd4343c16048fb1bartvoid DRD_(thread_new_segment_and_combine_vc)(DrdThreadId tid, 170f6ec1fe18f1fc1222fb274d7dfd4343c16048fb1bart const Segment* sg); 1718f822af9b234e7c553c408eba65a641c4773457fbartvoid DRD_(thread_update_conflict_set)(const DrdThreadId tid, 1728f822af9b234e7c553c408eba65a641c4773457fbart const VectorClock* const old_vc); 17362a784c9382fdf7184065ad76ae8d3b905605f21bart 174f9427fda275ba5db5277557ea752af7b3f4dcc5cbartvoid DRD_(thread_stop_using_mem)(const Addr a1, const Addr a2, 175f9427fda275ba5db5277557ea752af7b3f4dcc5cbart const Bool dont_clear_access); 176d45d99553c15a361bb797d21ec6afb9bad22d2d4bartvoid DRD_(thread_set_record_loads)(const DrdThreadId tid, const Bool enabled); 177d45d99553c15a361bb797d21ec6afb9bad22d2d4bartvoid DRD_(thread_set_record_stores)(const DrdThreadId tid, const Bool enabled); 17862a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_print_all)(void); 17962a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_report_races)(const DrdThreadId tid); 18062a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_report_races_segment)(const DrdThreadId tid, 181bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const Segment* const p); 18262a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_report_all_races)(void); 18362a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_report_conflicting_segments)(const DrdThreadId tid, 184bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const Addr addr, 185bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const SizeT size, 186bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const BmAccessTypeT access_type); 18762a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_context_switch_count)(void); 18862a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_report_races_count)(void); 18962a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_discard_ordered_segments_count)(void); 19054803feb0b92e4708d3cee92e7449f802be70197bartULong DRD_(thread_get_compute_conflict_set_count)(void); 19154803feb0b92e4708d3cee92e7449f802be70197bartULong DRD_(thread_get_update_conflict_set_count)(void); 192e5214666ead5aebb79ad662deacff0a952cba70dbartULong DRD_(thread_get_update_conflict_set_new_sg_count)(void); 193e5214666ead5aebb79ad662deacff0a952cba70dbartULong DRD_(thread_get_update_conflict_set_sync_count)(void); 194e5214666ead5aebb79ad662deacff0a952cba70dbartULong DRD_(thread_get_update_conflict_set_join_count)(void); 19562a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_conflict_set_bitmap_creation_count)(void); 19662a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_conflict_set_bitmap2_creation_count)(void); 197af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 198af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 199324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Inline function definitions. */ 200324a23bea57e0bfc27d9442ec00a8eee8294f01abart 20186a87df5949beb1f89ebbed923068faed08d048cbart/** 20286a87df5949beb1f89ebbed923068faed08d048cbart * Whether or not the specified DRD thread ID is valid. 20386a87df5949beb1f89ebbed923068faed08d048cbart * 20486a87df5949beb1f89ebbed923068faed08d048cbart * A DRD thread ID is valid if and only if the following conditions are met: 20586a87df5949beb1f89ebbed923068faed08d048cbart * - The ID is a valid index of the DRD_(g_threadinfo)[] array. 20686a87df5949beb1f89ebbed923068faed08d048cbart * - The ID is not equal to DRD_INVALID_THREADID. 20786a87df5949beb1f89ebbed923068faed08d048cbart * - The ID refers either to a thread known by the Valgrind core, a joinable 20886a87df5949beb1f89ebbed923068faed08d048cbart * thread that has not yet been joined or a detached thread. 20986a87df5949beb1f89ebbed923068faed08d048cbart */ 210bf80e12418014298bef23cddea3249dee74e5b96bartstatic __inline__ 21162a784c9382fdf7184065ad76ae8d3b905605f21bartBool DRD_(IsValidDrdThreadId)(const DrdThreadId tid) 212bf80e12418014298bef23cddea3249dee74e5b96bart{ 213bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return (0 <= (int)tid && tid < DRD_N_THREADS && tid != DRD_INVALID_THREADID 214bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && ! (DRD_(g_threadinfo)[tid].vg_thread_exists == False 215bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && DRD_(g_threadinfo)[tid].posix_thread_exists == False 216bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && DRD_(g_threadinfo)[tid].detached_posix_thread == False)); 217bf80e12418014298bef23cddea3249dee74e5b96bart} 218bf80e12418014298bef23cddea3249dee74e5b96bart 21986a87df5949beb1f89ebbed923068faed08d048cbart/** Returns the DRD thread ID of the currently running thread. */ 220088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 22162a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(thread_get_running_tid)(void) 2221ea5fff9a68ea6d56cb946eb709838bd40562a79bart{ 223dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 224bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(DRD_(g_drd_running_tid) != DRD_INVALID_THREADID); 225dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart#endif 226bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return DRD_(g_drd_running_tid); 2271ea5fff9a68ea6d56cb946eb709838bd40562a79bart} 2281ea5fff9a68ea6d56cb946eb709838bd40562a79bart 22986a87df5949beb1f89ebbed923068faed08d048cbart/** Returns a pointer to the conflict set for the currently running thread. */ 230088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 23162a784c9382fdf7184065ad76ae8d3b905605f21bartstruct bitmap* DRD_(thread_get_conflict_set)(void) 2321a473c757cae99f11477440d5473be6e5c95e0cebart{ 233bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return DRD_(g_conflict_set); 2341a473c757cae99f11477440d5473be6e5c95e0cebart} 2351a473c757cae99f11477440d5473be6e5c95e0cebart 23686a87df5949beb1f89ebbed923068faed08d048cbart/** 237dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart * Reports whether or not the currently running client thread is executing code 238dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart * inside the pthread_create() function. 239dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart */ 240dd75cdfe7612f58bdba8e3a16d34ee32eef85980bartstatic __inline__ 241dd75cdfe7612f58bdba8e3a16d34ee32eef85980bartBool DRD_(running_thread_inside_pthread_create)(void) 242dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart{ 243dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart return (DRD_(g_threadinfo)[DRD_(g_drd_running_tid)] 244dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart .pthread_create_nesting_level > 0); 245dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart} 246dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart 247dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart/** 24831b983d29affe6c30a2283be8824c6d75c74d848bart * Reports whether or not recording of memory loads is enabled for the 249dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart * currently running client thread. 25086a87df5949beb1f89ebbed923068faed08d048cbart */ 251088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 252d45d99553c15a361bb797d21ec6afb9bad22d2d4bartBool DRD_(running_thread_is_recording_loads)(void) 253f00a85bc55a2790c31670dd21e449a335c739068bart{ 2548b4b2eee19af852047cafd270c48c09d8adea33fbart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 255bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(0 <= (int)DRD_(g_drd_running_tid) 256bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && DRD_(g_drd_running_tid) < DRD_N_THREADS 257bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && DRD_(g_drd_running_tid) != DRD_INVALID_THREADID); 258589f9487830f84b24108bed90b4d71c392640dc9bart#endif 259bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return (DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].synchr_nesting == 0 260d45d99553c15a361bb797d21ec6afb9bad22d2d4bart && DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].is_recording_loads); 261d45d99553c15a361bb797d21ec6afb9bad22d2d4bart} 262d45d99553c15a361bb797d21ec6afb9bad22d2d4bart 263dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart/** 26431b983d29affe6c30a2283be8824c6d75c74d848bart * Reports whether or not recording memory stores is enabled for the 265dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart * currently running client thread. 266dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart */ 267d45d99553c15a361bb797d21ec6afb9bad22d2d4bartstatic __inline__ 268d45d99553c15a361bb797d21ec6afb9bad22d2d4bartBool DRD_(running_thread_is_recording_stores)(void) 269d45d99553c15a361bb797d21ec6afb9bad22d2d4bart{ 270d45d99553c15a361bb797d21ec6afb9bad22d2d4bart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 271d45d99553c15a361bb797d21ec6afb9bad22d2d4bart tl_assert(0 <= (int)DRD_(g_drd_running_tid) 272d45d99553c15a361bb797d21ec6afb9bad22d2d4bart && DRD_(g_drd_running_tid) < DRD_N_THREADS 273d45d99553c15a361bb797d21ec6afb9bad22d2d4bart && DRD_(g_drd_running_tid) != DRD_INVALID_THREADID); 274d45d99553c15a361bb797d21ec6afb9bad22d2d4bart#endif 275d45d99553c15a361bb797d21ec6afb9bad22d2d4bart return (DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].synchr_nesting == 0 276d45d99553c15a361bb797d21ec6afb9bad22d2d4bart && DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].is_recording_stores); 2771a473c757cae99f11477440d5473be6e5c95e0cebart} 2781a473c757cae99f11477440d5473be6e5c95e0cebart 27986a87df5949beb1f89ebbed923068faed08d048cbart/** 28086a87df5949beb1f89ebbed923068faed08d048cbart * Update the information about the lowest stack address that has ever been 28186a87df5949beb1f89ebbed923068faed08d048cbart * accessed by a thread. 28286a87df5949beb1f89ebbed923068faed08d048cbart */ 283088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 28462a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_stack_min)(const DrdThreadId tid, const Addr stack_min) 2851ea5fff9a68ea6d56cb946eb709838bd40562a79bart{ 2868b4b2eee19af852047cafd270c48c09d8adea33fbart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 287bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(0 <= (int)tid 288bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && tid < DRD_N_THREADS 289bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && tid != DRD_INVALID_THREADID); 2901ea5fff9a68ea6d56cb946eb709838bd40562a79bart#endif 291bedfd237fbdc80d0c917cfcb85a94b5561c92633bart DRD_(g_threadinfo)[tid].stack_min = stack_min; 2928b4b2eee19af852047cafd270c48c09d8adea33fbart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 293bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /* This function can be called after the thread has been created but */ 294bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /* before drd_post_thread_create() has filled in stack_max. */ 295bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(DRD_(g_threadinfo)[tid].stack_min 296bedfd237fbdc80d0c917cfcb85a94b5561c92633bart < DRD_(g_threadinfo)[tid].stack_max 297bedfd237fbdc80d0c917cfcb85a94b5561c92633bart || DRD_(g_threadinfo)[tid].stack_max == 0); 2981ea5fff9a68ea6d56cb946eb709838bd40562a79bart#endif 299bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (UNLIKELY(stack_min < DRD_(g_threadinfo)[tid].stack_min_min)) 300bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 301bedfd237fbdc80d0c917cfcb85a94b5561c92633bart DRD_(g_threadinfo)[tid].stack_min_min = stack_min; 302bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 3031ea5fff9a68ea6d56cb946eb709838bd40562a79bart} 3041ea5fff9a68ea6d56cb946eb709838bd40562a79bart 305324a23bea57e0bfc27d9442ec00a8eee8294f01abart/** 306324a23bea57e0bfc27d9442ec00a8eee8294f01abart * Return true if and only if the specified address is on the stack of the 307324a23bea57e0bfc27d9442ec00a8eee8294f01abart * currently scheduled thread. 308088656233045bfaa98d73a9a83eab0a412bd3f2bbart */ 309088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 31062a784c9382fdf7184065ad76ae8d3b905605f21bartBool DRD_(thread_address_on_stack)(const Addr a) 311088656233045bfaa98d73a9a83eab0a412bd3f2bbart{ 312bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return (DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].stack_min <= a 313bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && a < DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].stack_max); 314088656233045bfaa98d73a9a83eab0a412bd3f2bbart} 315088656233045bfaa98d73a9a83eab0a412bd3f2bbart 3160d6d5c5a55674ddcf2842ef43f78d80a1095a770bart/** 3170d6d5c5a55674ddcf2842ef43f78d80a1095a770bart * Return true if and only if the specified address is on the stack of any 3180d6d5c5a55674ddcf2842ef43f78d80a1095a770bart * thread. 3190d6d5c5a55674ddcf2842ef43f78d80a1095a770bart */ 3200d6d5c5a55674ddcf2842ef43f78d80a1095a770bartstatic __inline__ 3210d6d5c5a55674ddcf2842ef43f78d80a1095a770bartBool DRD_(thread_address_on_any_stack)(const Addr a) 3220d6d5c5a55674ddcf2842ef43f78d80a1095a770bart{ 323bedfd237fbdc80d0c917cfcb85a94b5561c92633bart int i; 324bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 325bedfd237fbdc80d0c917cfcb85a94b5561c92633bart for (i = 1; i < DRD_N_THREADS; i++) 326bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 327bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (DRD_(g_threadinfo)[i].vg_thread_exists 328bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && DRD_(g_threadinfo)[i].stack_min <= a 329bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && a < DRD_(g_threadinfo)[i].stack_max) 330bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 331bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return True; 332bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 333bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 334bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return False; 3350d6d5c5a55674ddcf2842ef43f78d80a1095a770bart} 3360d6d5c5a55674ddcf2842ef43f78d80a1095a770bart 3371a473c757cae99f11477440d5473be6e5c95e0cebart/** Return a pointer to the latest segment for the specified thread. */ 338088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 33962a784c9382fdf7184065ad76ae8d3b905605f21bartSegment* DRD_(thread_get_segment)(const DrdThreadId tid) 3401a473c757cae99f11477440d5473be6e5c95e0cebart{ 3418b4b2eee19af852047cafd270c48c09d8adea33fbart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 342bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(0 <= (int)tid && tid < DRD_N_THREADS 343bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && tid != DRD_INVALID_THREADID); 344bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(DRD_(g_threadinfo)[tid].last); 345589f9487830f84b24108bed90b4d71c392640dc9bart#endif 346bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return DRD_(g_threadinfo)[tid].last; 347f00a85bc55a2790c31670dd21e449a335c739068bart} 348f00a85bc55a2790c31670dd21e449a335c739068bart 349a79df6ed701ed416ba6241e5b0dd95fae8fa35f9bart/** Return a pointer to the latest segment for the running thread. */ 350088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 35162a784c9382fdf7184065ad76ae8d3b905605f21bartSegment* DRD_(running_thread_get_segment)(void) 352a79df6ed701ed416ba6241e5b0dd95fae8fa35f9bart{ 353bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return DRD_(thread_get_segment)(DRD_(g_drd_running_tid)); 354a79df6ed701ed416ba6241e5b0dd95fae8fa35f9bart} 355f00a85bc55a2790c31670dd21e449a335c739068bart 35686a87df5949beb1f89ebbed923068faed08d048cbart#endif /* __THREAD_H */ 357