1ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 2ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 3ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- The thread state. m_threadstate.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_vki.h" 33b32f58018498ea2225959b0ba11c18f0c433deefEvgeniy Stepanov#include "pub_core_libcsetjmp.h" // to keep _threadstate.h happy 34ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_threadstate.h" 35ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown#include "pub_core_libcassert.h" 36ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 37ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 38ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Data structures. ---*/ 39ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThreadId VG_(running_tid) = VG_INVALID_THREADID; 42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThreadState VG_(threads)[VG_N_THREADS]; 44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Operations. ---*/ 47ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/ 48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownconst HChar* VG_(name_of_ThreadStatus) ( ThreadStatus status ) 50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown switch (status) { 52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case VgTs_Empty: return "VgTs_Empty"; 53ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case VgTs_Init: return "VgTs_Init"; 54ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case VgTs_Runnable: return "VgTs_Runnable"; 55ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case VgTs_WaitSys: return "VgTs_WaitSys"; 56ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case VgTs_Yielding: return "VgTs_Yielding"; 57ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown case VgTs_Zombie: return "VgTs_Zombie"; 58ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown default: return "VgTs_???"; 59ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown } 60ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 61ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 62ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThreadState *VG_(get_ThreadState)(ThreadId tid) 63ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 64ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(tid >= 0 && tid < VG_N_THREADS); 65ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(threads)[tid].tid == tid); 66ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return &VG_(threads)[tid]; 67ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool VG_(is_valid_tid) ( ThreadId tid ) 70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown /* tid is unsigned, hence no < 0 test. */ 72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (tid == 0) return False; 73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (tid >= VG_N_THREADS) return False; 74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (VG_(threads)[tid].status == VgTs_Empty) return False; 75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return True; 76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// This function is for tools to call. 79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThreadId VG_(get_running_tid)(void) 80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return VG_(running_tid); 82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool VG_(is_running_thread)(ThreadId tid) 85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ThreadState *tst = VG_(get_ThreadState)(tid); 87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return 89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// tst->os_state.lwpid == VG_(gettid)() && // check we're this tid 90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(running_tid) == tid && // and that we've got the lock 91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown tst->status == VgTs_Runnable; // and we're runnable 92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Return true if the thread is still alive but in the process of exiting. */ 95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Browninline Bool VG_(is_exiting)(ThreadId tid) 96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown vg_assert(VG_(is_valid_tid)(tid)); 98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return VG_(threads)[tid].exitreason != VgSrc_None; 99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Return the number of non-dead Threads */ 102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownInt VG_(count_living_threads)(void) 103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int count = 0; 105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ThreadId tid; 106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for(tid = 1; tid < VG_N_THREADS; tid++) 108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (VG_(threads)[tid].status != VgTs_Empty && 109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown VG_(threads)[tid].status != VgTs_Zombie) 110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown count++; 111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return count; 113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Return the number of threads in VgTs_Runnable state */ 116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownInt VG_(count_runnable_threads)(void) 117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown Int count = 0; 119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ThreadId tid; 120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for(tid = 1; tid < VG_N_THREADS; tid++) 122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (VG_(threads)[tid].status == VgTs_Runnable) 123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown count++; 124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return count; 126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Given an LWP id (ie, real kernel thread id), find the corresponding 129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ThreadId */ 130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThreadId VG_(lwpid_to_vgtid)(Int lwp) 131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{ 132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown ThreadId tid; 133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown for(tid = 1; tid < VG_N_THREADS; tid++) 135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown if (VG_(threads)[tid].status != VgTs_Empty 136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown && VG_(threads)[tid].os_state.lwpid == lwp) 137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return tid; 138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown return VG_INVALID_THREADID; 140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown} 141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown 142ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 143ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end ---*/ 144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/ 145