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