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
10663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng   Copyright (C) 2000-2012 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"
36663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#include "pub_tool_inner.h"
37663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#if defined(ENABLE_INNER_CLIENT_REQUEST)
38663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#include "helgrind/helgrind.h"
39663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng#endif
40ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
41ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/
42ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Data structures.                                     ---*/
43ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/
44ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
45ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThreadId VG_(running_tid) = VG_INVALID_THREADID;
46ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
47663860b1408516d02ebfcb3a9999a134e6cfb223Ben ChengThreadState VG_(threads)[VG_N_THREADS] __attribute__((aligned(16)));
48ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
49ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/
50ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- Operations.                                          ---*/
51ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*------------------------------------------------------------*/
52ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
53663860b1408516d02ebfcb3a9999a134e6cfb223Ben Chengvoid VG_(init_Threads)(void)
54663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng{
55663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng   ThreadId tid;
56663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng
57663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng   for (tid = 1; tid < VG_N_THREADS; tid++) {
58663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng      INNER_REQUEST(
59663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng         ANNOTATE_BENIGN_RACE_SIZED(&VG_(threads)[tid].status,
60663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng                                    sizeof(VG_(threads)[tid].status), ""));
61663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng      INNER_REQUEST(
62663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng         ANNOTATE_BENIGN_RACE_SIZED(&VG_(threads)[tid].os_state.exitcode,
63663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng                                    sizeof(VG_(threads)[tid].os_state.exitcode),
64663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng                                    ""));
65663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng   }
66663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng}
67663860b1408516d02ebfcb3a9999a134e6cfb223Ben Cheng
68ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brownconst HChar* VG_(name_of_ThreadStatus) ( ThreadStatus status )
69ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{
70ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   switch (status) {
71ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   case VgTs_Empty:     return "VgTs_Empty";
72ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   case VgTs_Init:      return "VgTs_Init";
73ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   case VgTs_Runnable:  return "VgTs_Runnable";
74ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   case VgTs_WaitSys:   return "VgTs_WaitSys";
75ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   case VgTs_Yielding:  return "VgTs_Yielding";
76ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   case VgTs_Zombie:    return "VgTs_Zombie";
77ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   default:             return "VgTs_???";
78ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown  }
79ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}
80ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
81ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThreadState *VG_(get_ThreadState)(ThreadId tid)
82ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{
83ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   vg_assert(tid >= 0 && tid < VG_N_THREADS);
84ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   vg_assert(VG_(threads)[tid].tid == tid);
85ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   return &VG_(threads)[tid];
86ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}
87ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
88ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool VG_(is_valid_tid) ( ThreadId tid )
89ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{
90ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   /* tid is unsigned, hence no < 0 test. */
91ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   if (tid == 0) return False;
92ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   if (tid >= VG_N_THREADS) return False;
93ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   if (VG_(threads)[tid].status == VgTs_Empty) return False;
94ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   return True;
95ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}
96ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
97ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown// This function is for tools to call.
98ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThreadId VG_(get_running_tid)(void)
99ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{
100ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   return VG_(running_tid);
101ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}
102ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
103ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownBool VG_(is_running_thread)(ThreadId tid)
104ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{
105ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   ThreadState *tst = VG_(get_ThreadState)(tid);
106ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
107ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   return
108ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown//      tst->os_state.lwpid == VG_(gettid)() &&	// check we're this tid
109ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown      VG_(running_tid) == tid	           &&	// and that we've got the lock
110ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown      tst->status == VgTs_Runnable;		// and we're runnable
111ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}
112ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
113ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Return true if the thread is still alive but in the process of exiting. */
114ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Browninline Bool VG_(is_exiting)(ThreadId tid)
115ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{
116ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   vg_assert(VG_(is_valid_tid)(tid));
117ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   return VG_(threads)[tid].exitreason != VgSrc_None;
118ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}
119ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
120ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Return the number of non-dead Threads */
121ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownInt VG_(count_living_threads)(void)
122ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{
123ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   Int count = 0;
124ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   ThreadId tid;
125ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
126ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   for(tid = 1; tid < VG_N_THREADS; tid++)
127ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown      if (VG_(threads)[tid].status != VgTs_Empty &&
128ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown	  VG_(threads)[tid].status != VgTs_Zombie)
129ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown	 count++;
130ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
131ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   return count;
132ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}
133ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
134ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Return the number of threads in VgTs_Runnable state */
135ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownInt VG_(count_runnable_threads)(void)
136ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{
137ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   Int count = 0;
138ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   ThreadId tid;
139ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
140ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   for(tid = 1; tid < VG_N_THREADS; tid++)
141ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown      if (VG_(threads)[tid].status == VgTs_Runnable)
142ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown	 count++;
143ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
144ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   return count;
145ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}
146ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
147ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/* Given an LWP id (ie, real kernel thread id), find the corresponding
148ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   ThreadId */
149ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff BrownThreadId VG_(lwpid_to_vgtid)(Int lwp)
150ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown{
151ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   ThreadId tid;
152ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
153ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   for(tid = 1; tid < VG_N_THREADS; tid++)
154ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown      if (VG_(threads)[tid].status != VgTs_Empty
155ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown          && VG_(threads)[tid].os_state.lwpid == lwp)
156ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown	 return tid;
157ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
158ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown   return VG_INVALID_THREADID;
159ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown}
160ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown
161ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/
162ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--- end                                                          ---*/
163ed07e00d438c74b7a23c01bfffde77e3968305e4Jeff Brown/*--------------------------------------------------------------------*/
164