1af44c8236f7a73e71b16b707bba56f33af4d01cesewardj/* 286562bd89ac23ce795d19c71fabcb9d1c8f956d3bart This file is part of drd, a thread error detector. 3af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4b3a1e4bffbdbbf38304f216af405009868f43628sewardj Copyright (C) 2006-2015 Bart Van Assche <bvanassche@acm.org>. 5af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 6af44c8236f7a73e71b16b707bba56f33af4d01cesewardj This program is free software; you can redistribute it and/or 7af44c8236f7a73e71b16b707bba56f33af4d01cesewardj modify it under the terms of the GNU General Public License as 8af44c8236f7a73e71b16b707bba56f33af4d01cesewardj published by the Free Software Foundation; either version 2 of the 9af44c8236f7a73e71b16b707bba56f33af4d01cesewardj License, or (at your option) any later version. 10af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 11af44c8236f7a73e71b16b707bba56f33af4d01cesewardj This program is distributed in the hope that it will be useful, but 12af44c8236f7a73e71b16b707bba56f33af4d01cesewardj WITHOUT ANY WARRANTY; without even the implied warranty of 13af44c8236f7a73e71b16b707bba56f33af4d01cesewardj MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14af44c8236f7a73e71b16b707bba56f33af4d01cesewardj General Public License for more details. 15af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 16af44c8236f7a73e71b16b707bba56f33af4d01cesewardj You should have received a copy of the GNU General Public License 17af44c8236f7a73e71b16b707bba56f33af4d01cesewardj along with this program; if not, write to the Free Software 18af44c8236f7a73e71b16b707bba56f33af4d01cesewardj Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 19af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 02111-1307, USA. 20af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 21af44c8236f7a73e71b16b707bba56f33af4d01cesewardj The GNU General Public License is contained in the file COPYING. 22af44c8236f7a73e71b16b707bba56f33af4d01cesewardj*/ 23af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 24af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 25af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#ifndef __THREAD_H 26af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#define __THREAD_H 27af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 28af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 29324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Include directives. */ 30f00a85bc55a2790c31670dd21e449a335c739068bart 3109dc13f324a19f1bebf58c7f197a581dc8fb528bbart#include "drd_basics.h" 32af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#include "drd_segment.h" 33d59bb0f2a79bac77cf0f01b20d3d51102d6c71e3bart#include "pub_drd_bitmap.h" 3486a87df5949beb1f89ebbed923068faed08d048cbart#include "pub_tool_libcassert.h" /* tl_assert() */ 3586a87df5949beb1f89ebbed923068faed08d048cbart#include "pub_tool_stacktrace.h" /* typedef StackTrace */ 3686a87df5949beb1f89ebbed923068faed08d048cbart#include "pub_tool_threadstate.h" /* VG_N_THREADS */ 37f00a85bc55a2790c31670dd21e449a335c739068bart 38f00a85bc55a2790c31670dd21e449a335c739068bart 39324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Defines. */ 40af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4186a87df5949beb1f89ebbed923068faed08d048cbart/** Maximum number of threads DRD keeps information about. */ 42f00a85bc55a2790c31670dd21e449a335c739068bart#define DRD_N_THREADS VG_N_THREADS 43af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4486a87df5949beb1f89ebbed923068faed08d048cbart/** A number different from any valid DRD thread ID. */ 45af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#define DRD_INVALID_THREADID 0 46af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 4786a87df5949beb1f89ebbed923068faed08d048cbart/** 4886a87df5949beb1f89ebbed923068faed08d048cbart * A number different from any valid POSIX thread ID. 4986a87df5949beb1f89ebbed923068faed08d048cbart * 5086a87df5949beb1f89ebbed923068faed08d048cbart * @note The PThreadId typedef and the INVALID_POSIX_THREADID depend on the 5186a87df5949beb1f89ebbed923068faed08d048cbart * operating system and threading library in use. PThreadId must contain at 5286a87df5949beb1f89ebbed923068faed08d048cbart * least as many bits as pthread_t, and INVALID_POSIX_THREADID 5386a87df5949beb1f89ebbed923068faed08d048cbart * must be a value that will never be returned by pthread_self(). 5486a87df5949beb1f89ebbed923068faed08d048cbart */ 55af44c8236f7a73e71b16b707bba56f33af4d01cesewardj#define INVALID_POSIX_THREADID ((PThreadId)0) 56af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 57af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 58324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Type definitions. */ 59f00a85bc55a2790c31670dd21e449a335c739068bart 6086a87df5949beb1f89ebbed923068faed08d048cbart/** 6186a87df5949beb1f89ebbed923068faed08d048cbart * POSIX thread ID. The type PThreadId must be at least as wide as 6286a87df5949beb1f89ebbed923068faed08d048cbart * pthread_t. 6386a87df5949beb1f89ebbed923068faed08d048cbart */ 64af44c8236f7a73e71b16b707bba56f33af4d01cesewardjtypedef UWord PThreadId; 65af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 6686a87df5949beb1f89ebbed923068faed08d048cbart/** Per-thread information managed by DRD. */ 67f00a85bc55a2790c31670dd21e449a335c739068barttypedef struct 68f00a85bc55a2790c31670dd21e449a335c739068bart{ 6991b7ec3660efe16790bc337190a1c948beaab0a5bart struct segment* sg_first;/**< Segment list. */ 7091b7ec3660efe16790bc337190a1c948beaab0a5bart struct segment* sg_last; 71bedfd237fbdc80d0c917cfcb85a94b5561c92633bart ThreadId vg_threadid; /**< Valgrind thread ID. */ 72bedfd237fbdc80d0c917cfcb85a94b5561c92633bart PThreadId pt_threadid; /**< POSIX thread ID. */ 73bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Addr stack_min_min; /**< Lowest value stack pointer ever had. */ 74bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Addr stack_min; /**< Current stack pointer. */ 75bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Addr stack_startup; /**<Stack pointer after pthread_create() finished.*/ 76bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Addr stack_max; /**< Top of stack. */ 77bedfd237fbdc80d0c917cfcb85a94b5561c92633bart SizeT stack_size; /**< Maximum size of stack. */ 7819f91bbaedb4caef8a60ce94b0f507193cc0bc10florian HChar name[64]; /**< User-assigned thread name. */ 79383d613d286501412f1760c8eaafaeb8c518b344bart Bool on_alt_stack; 806d956dc21b6a81f0c67ad18ac61867da0d5922a3bart /** Whether this structure contains valid information. */ 816d956dc21b6a81f0c67ad18ac61867da0d5922a3bart Bool valid; 82bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /** Indicates whether the Valgrind core knows about this thread. */ 83bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Bool vg_thread_exists; 84bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /** Indicates whether there is an associated POSIX thread ID. */ 85bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Bool posix_thread_exists; 86bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /** 87bedfd237fbdc80d0c917cfcb85a94b5561c92633bart * If true, indicates that there is a corresponding POSIX thread ID and 88bedfd237fbdc80d0c917cfcb85a94b5561c92633bart * a corresponding OS thread that is detached. 89bedfd237fbdc80d0c917cfcb85a94b5561c92633bart */ 90bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Bool detached_posix_thread; 91d45d99553c15a361bb797d21ec6afb9bad22d2d4bart /** Wether recording of memory load accesses is currently enabled. */ 92d45d99553c15a361bb797d21ec6afb9bad22d2d4bart Bool is_recording_loads; 93d45d99553c15a361bb797d21ec6afb9bad22d2d4bart /** Wether recording of memory load accesses is currently enabled. */ 94d45d99553c15a361bb797d21ec6afb9bad22d2d4bart Bool is_recording_stores; 95dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart /** pthread_create() nesting level. */ 96dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart Int pthread_create_nesting_level; 97bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /** Nesting level of synchronization functions called by the client. */ 98bedfd237fbdc80d0c917cfcb85a94b5561c92633bart Int synchr_nesting; 996d956dc21b6a81f0c67ad18ac61867da0d5922a3bart /** Delayed thread deletion sequence number. */ 1006d956dc21b6a81f0c67ad18ac61867da0d5922a3bart unsigned deletion_seq; 1018eb8bab992e3998c33770b0cdb16059a8b918a06sewardj /** 1028eb8bab992e3998c33770b0cdb16059a8b918a06sewardj * ID of the creator thread. It can be safely accessed only until the 1038eb8bab992e3998c33770b0cdb16059a8b918a06sewardj * thread is fully created. Then the creator thread lives its own life again. 1048eb8bab992e3998c33770b0cdb16059a8b918a06sewardj */ 1058eb8bab992e3998c33770b0cdb16059a8b918a06sewardj DrdThreadId creator_thread; 1068eb8bab992e3998c33770b0cdb16059a8b918a06sewardj 1078eb8bab992e3998c33770b0cdb16059a8b918a06sewardj#if defined(VGO_solaris) 1088eb8bab992e3998c33770b0cdb16059a8b918a06sewardj Int bind_guard_flag; /**< Bind flag from the runtime linker. */ 1098eb8bab992e3998c33770b0cdb16059a8b918a06sewardj#endif /* VGO_solaris */ 110f00a85bc55a2790c31670dd21e449a335c739068bart} ThreadInfo; 111f00a85bc55a2790c31670dd21e449a335c739068bart 112f00a85bc55a2790c31670dd21e449a335c739068bart 113324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* 114324a23bea57e0bfc27d9442ec00a8eee8294f01abart * Local variables of drd_thread.c that are declared here such that these 115324a23bea57e0bfc27d9442ec00a8eee8294f01abart * can be accessed by inline functions. 116324a23bea57e0bfc27d9442ec00a8eee8294f01abart */ 117f00a85bc55a2790c31670dd21e449a335c739068bart 11886a87df5949beb1f89ebbed923068faed08d048cbart/** 11986a87df5949beb1f89ebbed923068faed08d048cbart * DRD thread ID of the currently running thread. It is crucial for correct 12086a87df5949beb1f89ebbed923068faed08d048cbart * operation of DRD that this number is always in sync with 12186a87df5949beb1f89ebbed923068faed08d048cbart * VG_(get_running_tid)(). 12286a87df5949beb1f89ebbed923068faed08d048cbart */ 123324a23bea57e0bfc27d9442ec00a8eee8294f01abartextern DrdThreadId DRD_(g_drd_running_tid); 12486a87df5949beb1f89ebbed923068faed08d048cbart/** Per-thread information managed by DRD. */ 1251e802b6a8d0d4b7b630d2a1dd9683c7c889b01a3florianextern ThreadInfo* DRD_(g_threadinfo); 12686a87df5949beb1f89ebbed923068faed08d048cbart/** Conflict set for the currently running thread. */ 127324a23bea57e0bfc27d9442ec00a8eee8294f01abartextern struct bitmap* DRD_(g_conflict_set); 1289cdc08368068d746e42d40c8f3a3dca5db5caee4bartextern Bool DRD_(verify_conflict_set); 1298eb8bab992e3998c33770b0cdb16059a8b918a06sewardj/** Whether activities during thread creation should be ignored. */ 1308eb8bab992e3998c33770b0cdb16059a8b918a06sewardjextern Bool DRD_(ignore_thread_creation); 131f00a85bc55a2790c31670dd21e449a335c739068bart 132f00a85bc55a2790c31670dd21e449a335c739068bart 133324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Function declarations. */ 134af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 13562a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_trace_context_switches)(const Bool t); 13662a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_trace_conflict_set)(const Bool t); 1378f822af9b234e7c553c408eba65a641c4773457fbartvoid DRD_(thread_trace_conflict_set_bm)(const Bool t); 13809dc13f324a19f1bebf58c7f197a581dc8fb528bbartBool DRD_(thread_get_trace_fork_join)(void); 13909dc13f324a19f1bebf58c7f197a581dc8fb528bbartvoid DRD_(thread_set_trace_fork_join)(const Bool t); 14062a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_segment_merging)(const Bool m); 1418f822af9b234e7c553c408eba65a641c4773457fbartint DRD_(thread_get_segment_merge_interval)(void); 1428f822af9b234e7c553c408eba65a641c4773457fbartvoid DRD_(thread_set_segment_merge_interval)(const int i); 1436d956dc21b6a81f0c67ad18ac61867da0d5922a3bartvoid DRD_(thread_set_join_list_vol)(const int jlv); 144af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 145e278ab506b9a73ef1c17a17077546b2de9a11d7cbartvoid DRD_(thread_init)(void); 14662a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(VgThreadIdToDrdThreadId)(const ThreadId tid); 14762a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(NewVgThreadIdToDrdThreadId)(const ThreadId tid); 14862a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(PtThreadIdToDrdThreadId)(const PThreadId tid); 14962a784c9382fdf7184065ad76ae8d3b905605f21bartThreadId DRD_(DrdThreadIdToVgThreadId)(const DrdThreadId tid); 15062a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(thread_pre_create)(const DrdThreadId creator, 151bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const ThreadId vg_created); 15262a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(thread_post_create)(const ThreadId vg_created); 15309dc13f324a19f1bebf58c7f197a581dc8fb528bbartvoid DRD_(thread_post_join)(DrdThreadId drd_joiner, DrdThreadId drd_joinee); 1549194e93ab737439d653498ee43df4bae7989ad3dbartvoid DRD_(thread_delete)(const DrdThreadId tid, Bool detached); 15562a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_finished)(const DrdThreadId tid); 1565c7e6b69ccaecc32ff43d7f3cb9573f3901d19f0bartvoid DRD_(drd_thread_atfork_child)(const DrdThreadId tid); 15762a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_pre_cancel)(const DrdThreadId tid); 158bedfd237fbdc80d0c917cfcb85a94b5561c92633bartvoid DRD_(thread_set_stack_startup)(const DrdThreadId tid, 159bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const Addr stack_startup); 16062a784c9382fdf7184065ad76ae8d3b905605f21bartAddr DRD_(thread_get_stack_min)(const DrdThreadId tid); 16162a784c9382fdf7184065ad76ae8d3b905605f21bartAddr DRD_(thread_get_stack_min_min)(const DrdThreadId tid); 16262a784c9382fdf7184065ad76ae8d3b905605f21bartAddr DRD_(thread_get_stack_max)(const DrdThreadId tid); 16362a784c9382fdf7184065ad76ae8d3b905605f21bartSizeT DRD_(thread_get_stack_size)(const DrdThreadId tid); 164383d613d286501412f1760c8eaafaeb8c518b344bartBool DRD_(thread_get_on_alt_stack)(const DrdThreadId tid); 165383d613d286501412f1760c8eaafaeb8c518b344bartvoid DRD_(thread_set_on_alt_stack)(const DrdThreadId tid, 166383d613d286501412f1760c8eaafaeb8c518b344bart const Bool on_alt_stack); 167383d613d286501412f1760c8eaafaeb8c518b344bartInt DRD_(thread_get_threads_on_alt_stack)(void); 16862a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_pthreadid)(const DrdThreadId tid, const PThreadId ptid); 16962a784c9382fdf7184065ad76ae8d3b905605f21bartBool DRD_(thread_get_joinable)(const DrdThreadId tid); 17062a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_joinable)(const DrdThreadId tid, const Bool joinable); 171dd75cdfe7612f58bdba8e3a16d34ee32eef85980bartvoid DRD_(thread_entering_pthread_create)(const DrdThreadId tid); 172dd75cdfe7612f58bdba8e3a16d34ee32eef85980bartvoid DRD_(thread_left_pthread_create)(const DrdThreadId tid); 1738eb8bab992e3998c33770b0cdb16059a8b918a06sewardj#if defined(VGO_solaris) 1748eb8bab992e3998c33770b0cdb16059a8b918a06sewardjvoid DRD_(thread_entering_rtld_bind_guard)(const DrdThreadId tid, int flags); 1758eb8bab992e3998c33770b0cdb16059a8b918a06sewardjvoid DRD_(thread_leaving_rtld_bind_clear)(const DrdThreadId tid, int flags); 1768eb8bab992e3998c33770b0cdb16059a8b918a06sewardj#endif /* VGO_solaris */ 17719f91bbaedb4caef8a60ce94b0f507193cc0bc10florianconst HChar* DRD_(thread_get_name)(const DrdThreadId tid); 17819f91bbaedb4caef8a60ce94b0f507193cc0bc10florianvoid DRD_(thread_set_name)(const DrdThreadId tid, const HChar* const name); 17962a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_vg_running_tid)(const ThreadId vg_tid); 18062a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_running_tid)(const ThreadId vg_tid, 181bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const DrdThreadId drd_tid); 18262a784c9382fdf7184065ad76ae8d3b905605f21bartint DRD_(thread_enter_synchr)(const DrdThreadId tid); 18362a784c9382fdf7184065ad76ae8d3b905605f21bartint DRD_(thread_leave_synchr)(const DrdThreadId tid); 18462a784c9382fdf7184065ad76ae8d3b905605f21bartint DRD_(thread_get_synchr_nesting_count)(const DrdThreadId tid); 18562a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_new_segment)(const DrdThreadId tid); 18662a784c9382fdf7184065ad76ae8d3b905605f21bartVectorClock* DRD_(thread_get_vc)(const DrdThreadId tid); 18762a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_get_latest_segment)(Segment** sg, const DrdThreadId tid); 1888f822af9b234e7c553c408eba65a641c4773457fbartvoid DRD_(thread_combine_vc_join)(const DrdThreadId joiner, 1898f822af9b234e7c553c408eba65a641c4773457fbart const DrdThreadId joinee); 190f6ec1fe18f1fc1222fb274d7dfd4343c16048fb1bartvoid DRD_(thread_new_segment_and_combine_vc)(DrdThreadId tid, 191f6ec1fe18f1fc1222fb274d7dfd4343c16048fb1bart const Segment* sg); 1928f822af9b234e7c553c408eba65a641c4773457fbartvoid DRD_(thread_update_conflict_set)(const DrdThreadId tid, 1938f822af9b234e7c553c408eba65a641c4773457fbart const VectorClock* const old_vc); 19462a784c9382fdf7184065ad76ae8d3b905605f21bart 19523ef19de837854c360809e59833513360dc1cce2bartvoid DRD_(thread_stop_using_mem)(const Addr a1, const Addr a2); 196d45d99553c15a361bb797d21ec6afb9bad22d2d4bartvoid DRD_(thread_set_record_loads)(const DrdThreadId tid, const Bool enabled); 197d45d99553c15a361bb797d21ec6afb9bad22d2d4bartvoid DRD_(thread_set_record_stores)(const DrdThreadId tid, const Bool enabled); 19862a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_print_all)(void); 19962a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_report_races)(const DrdThreadId tid); 20062a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_report_races_segment)(const DrdThreadId tid, 201bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const Segment* const p); 20262a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_report_all_races)(void); 20362a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_report_conflicting_segments)(const DrdThreadId tid, 204bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const Addr addr, 205bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const SizeT size, 206bedfd237fbdc80d0c917cfcb85a94b5561c92633bart const BmAccessTypeT access_type); 20762a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_context_switch_count)(void); 20862a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_report_races_count)(void); 20962a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_discard_ordered_segments_count)(void); 21054803feb0b92e4708d3cee92e7449f802be70197bartULong DRD_(thread_get_compute_conflict_set_count)(void); 21154803feb0b92e4708d3cee92e7449f802be70197bartULong DRD_(thread_get_update_conflict_set_count)(void); 212e5214666ead5aebb79ad662deacff0a952cba70dbartULong DRD_(thread_get_update_conflict_set_new_sg_count)(void); 213e5214666ead5aebb79ad662deacff0a952cba70dbartULong DRD_(thread_get_update_conflict_set_sync_count)(void); 214e5214666ead5aebb79ad662deacff0a952cba70dbartULong DRD_(thread_get_update_conflict_set_join_count)(void); 21562a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_conflict_set_bitmap_creation_count)(void); 21662a784c9382fdf7184065ad76ae8d3b905605f21bartULong DRD_(thread_get_conflict_set_bitmap2_creation_count)(void); 217af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 218af44c8236f7a73e71b16b707bba56f33af4d01cesewardj 219324a23bea57e0bfc27d9442ec00a8eee8294f01abart/* Inline function definitions. */ 220324a23bea57e0bfc27d9442ec00a8eee8294f01abart 22186a87df5949beb1f89ebbed923068faed08d048cbart/** 22286a87df5949beb1f89ebbed923068faed08d048cbart * Whether or not the specified DRD thread ID is valid. 22386a87df5949beb1f89ebbed923068faed08d048cbart * 22486a87df5949beb1f89ebbed923068faed08d048cbart * A DRD thread ID is valid if and only if the following conditions are met: 22586a87df5949beb1f89ebbed923068faed08d048cbart * - The ID is a valid index of the DRD_(g_threadinfo)[] array. 22686a87df5949beb1f89ebbed923068faed08d048cbart * - The ID is not equal to DRD_INVALID_THREADID. 22786a87df5949beb1f89ebbed923068faed08d048cbart * - The ID refers either to a thread known by the Valgrind core, a joinable 22886a87df5949beb1f89ebbed923068faed08d048cbart * thread that has not yet been joined or a detached thread. 22986a87df5949beb1f89ebbed923068faed08d048cbart */ 230bf80e12418014298bef23cddea3249dee74e5b96bartstatic __inline__ 23162a784c9382fdf7184065ad76ae8d3b905605f21bartBool DRD_(IsValidDrdThreadId)(const DrdThreadId tid) 232bf80e12418014298bef23cddea3249dee74e5b96bart{ 233bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return (0 <= (int)tid && tid < DRD_N_THREADS && tid != DRD_INVALID_THREADID 2346d956dc21b6a81f0c67ad18ac61867da0d5922a3bart && (DRD_(g_threadinfo)[tid].valid)); 235bf80e12418014298bef23cddea3249dee74e5b96bart} 236bf80e12418014298bef23cddea3249dee74e5b96bart 23786a87df5949beb1f89ebbed923068faed08d048cbart/** Returns the DRD thread ID of the currently running thread. */ 238088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 23962a784c9382fdf7184065ad76ae8d3b905605f21bartDrdThreadId DRD_(thread_get_running_tid)(void) 2401ea5fff9a68ea6d56cb946eb709838bd40562a79bart{ 241dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 242bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(DRD_(g_drd_running_tid) != DRD_INVALID_THREADID); 243dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart#endif 244bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return DRD_(g_drd_running_tid); 2451ea5fff9a68ea6d56cb946eb709838bd40562a79bart} 2461ea5fff9a68ea6d56cb946eb709838bd40562a79bart 24786a87df5949beb1f89ebbed923068faed08d048cbart/** Returns a pointer to the conflict set for the currently running thread. */ 248088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 24962a784c9382fdf7184065ad76ae8d3b905605f21bartstruct bitmap* DRD_(thread_get_conflict_set)(void) 2501a473c757cae99f11477440d5473be6e5c95e0cebart{ 251bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return DRD_(g_conflict_set); 2521a473c757cae99f11477440d5473be6e5c95e0cebart} 2531a473c757cae99f11477440d5473be6e5c95e0cebart 25486a87df5949beb1f89ebbed923068faed08d048cbart/** 255dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart * Reports whether or not the currently running client thread is executing code 256dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart * inside the pthread_create() function. 257dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart */ 258dd75cdfe7612f58bdba8e3a16d34ee32eef85980bartstatic __inline__ 259dd75cdfe7612f58bdba8e3a16d34ee32eef85980bartBool DRD_(running_thread_inside_pthread_create)(void) 260dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart{ 261dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart return (DRD_(g_threadinfo)[DRD_(g_drd_running_tid)] 262dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart .pthread_create_nesting_level > 0); 263dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart} 264dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart 265dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart/** 26631b983d29affe6c30a2283be8824c6d75c74d848bart * Reports whether or not recording of memory loads is enabled for the 267dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart * currently running client thread. 26886a87df5949beb1f89ebbed923068faed08d048cbart */ 269088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 270d45d99553c15a361bb797d21ec6afb9bad22d2d4bartBool DRD_(running_thread_is_recording_loads)(void) 271f00a85bc55a2790c31670dd21e449a335c739068bart{ 2728b4b2eee19af852047cafd270c48c09d8adea33fbart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 273bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(0 <= (int)DRD_(g_drd_running_tid) 274bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && DRD_(g_drd_running_tid) < DRD_N_THREADS 275bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && DRD_(g_drd_running_tid) != DRD_INVALID_THREADID); 276589f9487830f84b24108bed90b4d71c392640dc9bart#endif 277bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return (DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].synchr_nesting == 0 278d45d99553c15a361bb797d21ec6afb9bad22d2d4bart && DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].is_recording_loads); 279d45d99553c15a361bb797d21ec6afb9bad22d2d4bart} 280d45d99553c15a361bb797d21ec6afb9bad22d2d4bart 281dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart/** 28231b983d29affe6c30a2283be8824c6d75c74d848bart * Reports whether or not recording memory stores is enabled for the 283dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart * currently running client thread. 284dd75cdfe7612f58bdba8e3a16d34ee32eef85980bart */ 285d45d99553c15a361bb797d21ec6afb9bad22d2d4bartstatic __inline__ 286d45d99553c15a361bb797d21ec6afb9bad22d2d4bartBool DRD_(running_thread_is_recording_stores)(void) 287d45d99553c15a361bb797d21ec6afb9bad22d2d4bart{ 288d45d99553c15a361bb797d21ec6afb9bad22d2d4bart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 289d45d99553c15a361bb797d21ec6afb9bad22d2d4bart tl_assert(0 <= (int)DRD_(g_drd_running_tid) 290d45d99553c15a361bb797d21ec6afb9bad22d2d4bart && DRD_(g_drd_running_tid) < DRD_N_THREADS 291d45d99553c15a361bb797d21ec6afb9bad22d2d4bart && DRD_(g_drd_running_tid) != DRD_INVALID_THREADID); 292d45d99553c15a361bb797d21ec6afb9bad22d2d4bart#endif 293d45d99553c15a361bb797d21ec6afb9bad22d2d4bart return (DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].synchr_nesting == 0 294d45d99553c15a361bb797d21ec6afb9bad22d2d4bart && DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].is_recording_stores); 2951a473c757cae99f11477440d5473be6e5c95e0cebart} 2961a473c757cae99f11477440d5473be6e5c95e0cebart 29786a87df5949beb1f89ebbed923068faed08d048cbart/** 29886a87df5949beb1f89ebbed923068faed08d048cbart * Update the information about the lowest stack address that has ever been 29986a87df5949beb1f89ebbed923068faed08d048cbart * accessed by a thread. 30086a87df5949beb1f89ebbed923068faed08d048cbart */ 301088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 30262a784c9382fdf7184065ad76ae8d3b905605f21bartvoid DRD_(thread_set_stack_min)(const DrdThreadId tid, const Addr stack_min) 3031ea5fff9a68ea6d56cb946eb709838bd40562a79bart{ 3048b4b2eee19af852047cafd270c48c09d8adea33fbart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 305bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(0 <= (int)tid 306bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && tid < DRD_N_THREADS 307bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && tid != DRD_INVALID_THREADID); 3081ea5fff9a68ea6d56cb946eb709838bd40562a79bart#endif 309bedfd237fbdc80d0c917cfcb85a94b5561c92633bart DRD_(g_threadinfo)[tid].stack_min = stack_min; 3108b4b2eee19af852047cafd270c48c09d8adea33fbart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 311bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /* This function can be called after the thread has been created but */ 312bedfd237fbdc80d0c917cfcb85a94b5561c92633bart /* before drd_post_thread_create() has filled in stack_max. */ 313bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(DRD_(g_threadinfo)[tid].stack_min 314caefb284be3dbb1ac17fba6675e92d379b58b7b3bart <= DRD_(g_threadinfo)[tid].stack_max 315bedfd237fbdc80d0c917cfcb85a94b5561c92633bart || DRD_(g_threadinfo)[tid].stack_max == 0); 3161ea5fff9a68ea6d56cb946eb709838bd40562a79bart#endif 317bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (UNLIKELY(stack_min < DRD_(g_threadinfo)[tid].stack_min_min)) 318bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 319bedfd237fbdc80d0c917cfcb85a94b5561c92633bart DRD_(g_threadinfo)[tid].stack_min_min = stack_min; 320bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 3211ea5fff9a68ea6d56cb946eb709838bd40562a79bart} 3221ea5fff9a68ea6d56cb946eb709838bd40562a79bart 323324a23bea57e0bfc27d9442ec00a8eee8294f01abart/** 324324a23bea57e0bfc27d9442ec00a8eee8294f01abart * Return true if and only if the specified address is on the stack of the 325324a23bea57e0bfc27d9442ec00a8eee8294f01abart * currently scheduled thread. 326088656233045bfaa98d73a9a83eab0a412bd3f2bbart */ 327088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 32862a784c9382fdf7184065ad76ae8d3b905605f21bartBool DRD_(thread_address_on_stack)(const Addr a) 329088656233045bfaa98d73a9a83eab0a412bd3f2bbart{ 330bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return (DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].stack_min <= a 331bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && a < DRD_(g_threadinfo)[DRD_(g_drd_running_tid)].stack_max); 332088656233045bfaa98d73a9a83eab0a412bd3f2bbart} 333088656233045bfaa98d73a9a83eab0a412bd3f2bbart 3340d6d5c5a55674ddcf2842ef43f78d80a1095a770bart/** 3350d6d5c5a55674ddcf2842ef43f78d80a1095a770bart * Return true if and only if the specified address is on the stack of any 3360d6d5c5a55674ddcf2842ef43f78d80a1095a770bart * thread. 3370d6d5c5a55674ddcf2842ef43f78d80a1095a770bart */ 3380d6d5c5a55674ddcf2842ef43f78d80a1095a770bartstatic __inline__ 3390d6d5c5a55674ddcf2842ef43f78d80a1095a770bartBool DRD_(thread_address_on_any_stack)(const Addr a) 3400d6d5c5a55674ddcf2842ef43f78d80a1095a770bart{ 3411e802b6a8d0d4b7b630d2a1dd9683c7c889b01a3florian UInt i; 342bedfd237fbdc80d0c917cfcb85a94b5561c92633bart 343bedfd237fbdc80d0c917cfcb85a94b5561c92633bart for (i = 1; i < DRD_N_THREADS; i++) 344bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 345bedfd237fbdc80d0c917cfcb85a94b5561c92633bart if (DRD_(g_threadinfo)[i].vg_thread_exists 346bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && DRD_(g_threadinfo)[i].stack_min <= a 347bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && a < DRD_(g_threadinfo)[i].stack_max) 348bedfd237fbdc80d0c917cfcb85a94b5561c92633bart { 349bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return True; 350bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 351bedfd237fbdc80d0c917cfcb85a94b5561c92633bart } 352bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return False; 3530d6d5c5a55674ddcf2842ef43f78d80a1095a770bart} 3540d6d5c5a55674ddcf2842ef43f78d80a1095a770bart 3551a473c757cae99f11477440d5473be6e5c95e0cebart/** Return a pointer to the latest segment for the specified thread. */ 356088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 35762a784c9382fdf7184065ad76ae8d3b905605f21bartSegment* DRD_(thread_get_segment)(const DrdThreadId tid) 3581a473c757cae99f11477440d5473be6e5c95e0cebart{ 3598b4b2eee19af852047cafd270c48c09d8adea33fbart#ifdef ENABLE_DRD_CONSISTENCY_CHECKS 360bedfd237fbdc80d0c917cfcb85a94b5561c92633bart tl_assert(0 <= (int)tid && tid < DRD_N_THREADS 361bedfd237fbdc80d0c917cfcb85a94b5561c92633bart && tid != DRD_INVALID_THREADID); 36291b7ec3660efe16790bc337190a1c948beaab0a5bart tl_assert(DRD_(g_threadinfo)[tid].sg_last); 363589f9487830f84b24108bed90b4d71c392640dc9bart#endif 36491b7ec3660efe16790bc337190a1c948beaab0a5bart return DRD_(g_threadinfo)[tid].sg_last; 365f00a85bc55a2790c31670dd21e449a335c739068bart} 366f00a85bc55a2790c31670dd21e449a335c739068bart 367a79df6ed701ed416ba6241e5b0dd95fae8fa35f9bart/** Return a pointer to the latest segment for the running thread. */ 368088656233045bfaa98d73a9a83eab0a412bd3f2bbartstatic __inline__ 36962a784c9382fdf7184065ad76ae8d3b905605f21bartSegment* DRD_(running_thread_get_segment)(void) 370a79df6ed701ed416ba6241e5b0dd95fae8fa35f9bart{ 371bedfd237fbdc80d0c917cfcb85a94b5561c92633bart return DRD_(thread_get_segment)(DRD_(g_drd_running_tid)); 372a79df6ed701ed416ba6241e5b0dd95fae8fa35f9bart} 373f00a85bc55a2790c31670dd21e449a335c739068bart 37486a87df5949beb1f89ebbed923068faed08d048cbart#endif /* __THREAD_H */ 375