1 /* -*- mode: C; c-basic-offset: 3; indent-tabs-mode: nil; -*- */
3 This file is part of drd, a thread error detector.
5 Copyright (C) 2006-2011 Bart Van Assche <bvanassche@acm.org>.
7 This program is free software; you can redistribute it and/or
8 modify it under the terms of the GNU General Public License as
9 published by the Free Software Foundation; either version 2 of the
10 License, or (at your option) any later version.
12 This program is distributed in the hope that it will be useful, but
13 WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15 General Public License for more details.
17 You should have received a copy of the GNU General Public License
18 along with this program; if not, write to the Free Software
19 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
22 The GNU General Public License is contained in the file COPYING.
27 * This header file contains the tool-internal interface for the code that
28 * processes client requests.
32 #ifndef __DRD_CLIENTREQ_H
33 #define __DRD_CLIENTREQ_H
37 #include "drd_basics.h" /* DRD_() */
41 * While the client requests defined in the header file "drd.h" define a
42 * public interface between client programs and the DRD tool, the client
43 * requests defined below are a tool-internal interface. These last client
44 * requests must only be used by the source code in the various *_intercepts.c
48 /* Declare the address and size of a variable with value
49 * PTHREAD_COND_INITIALIZER.
51 VG_USERREQ__SET_PTHREAD_COND_INITIALIZER = VG_USERREQ_TOOL_BASE('D', 'r'),
52 /* args: address, size. */
54 /* To ask the drd tool to start a new segment in the specified thread. */
55 VG_USERREQ__DRD_START_NEW_SEGMENT,
56 /* args: POSIX thread ID. */
58 /* Tell drd the pthread_t of the running thread. */
59 VG_USERREQ__SET_PTHREADID,
60 /* args: pthread_t. */
61 /* Ask drd that a the thread's state transition from */
62 /* VgTs_Zombie to VgTs_Empty is delayed until */
63 /* VG_USERREQ__POST_THREAD_JOIN is performed. */
64 VG_USERREQ__SET_JOINABLE,
65 /* args: pthread_t, Bool */
67 /* Tell DRD that the calling thread is about to enter pthread_create(). */
68 VG_USERREQ__ENTERING_PTHREAD_CREATE,
70 /* Tell DRD that the calling thread has left pthread_create(). */
71 VG_USERREQ__LEFT_PTHREAD_CREATE,
74 /* To notify drd that a thread finished because */
75 /* pthread_thread_join() was called on it. */
76 VG_USERREQ__POST_THREAD_JOIN,
77 /* args: pthread_t (joinee) */
79 /* To notify drd before a pthread_cancel call. */
80 VG_USERREQ__PRE_THREAD_CANCEL,
82 /* To notify drd after a pthread_cancel call. */
83 VG_USERREQ__POST_THREAD_CANCEL,
84 /* args: pthread_t, Bool */
86 /* to notify the drd tool of a pthread_mutex_init call. */
87 VG_USERREQ__PRE_MUTEX_INIT,
88 /* args: Addr, MutexT */
89 /* to notify the drd tool of a pthread_mutex_init call. */
90 VG_USERREQ__POST_MUTEX_INIT,
92 /* to notify the drd tool of a pthread_mutex_destroy call. */
93 VG_USERREQ__PRE_MUTEX_DESTROY,
95 /* to notify the drd tool of a pthread_mutex_destroy call. */
96 VG_USERREQ__POST_MUTEX_DESTROY,
97 /* args: Addr, MutexT */
98 /* to notify the drd tool of pthread_mutex_lock calls */
99 VG_USERREQ__PRE_MUTEX_LOCK,
100 /* args: Addr, MutexT, Bool */
101 /* to notify the drd tool of pthread_mutex_lock calls */
102 VG_USERREQ__POST_MUTEX_LOCK,
103 /* args: Addr, Bool */
104 /* to notify the drd tool of pthread_mutex_unlock calls */
105 VG_USERREQ__PRE_MUTEX_UNLOCK,
107 /* to notify the drd tool of pthread_mutex_unlock calls */
108 VG_USERREQ__POST_MUTEX_UNLOCK,
110 /* to notify the drd tool of a pthread_spin_init/pthread_spin_unlock call */
111 VG_USERREQ__PRE_SPIN_INIT_OR_UNLOCK,
113 /* to notify the drd tool of a pthread_spin_init/pthread_spin_unlock call */
114 VG_USERREQ__POST_SPIN_INIT_OR_UNLOCK,
118 /* to notify the drd tool of a pthread_cond_init call. */
119 VG_USERREQ__PRE_COND_INIT,
121 /* to notify the drd tool of a pthread_cond_init call. */
122 VG_USERREQ__POST_COND_INIT,
124 /* to notify the drd tool of a pthread_cond_destroy call. */
125 VG_USERREQ__PRE_COND_DESTROY,
127 /* to notify the drd tool of a pthread_cond_destroy call. */
128 VG_USERREQ__POST_COND_DESTROY,
130 VG_USERREQ__PRE_COND_WAIT,
131 /* args: Addr cond, Addr mutex, MutexT mt */
132 VG_USERREQ__POST_COND_WAIT,
133 /* args: Addr cond, Addr mutex, Bool took_lock*/
134 VG_USERREQ__PRE_COND_SIGNAL,
135 /* args: Addr cond */
136 VG_USERREQ__POST_COND_SIGNAL,
137 /* args: Addr cond */
138 VG_USERREQ__PRE_COND_BROADCAST,
139 /* args: Addr cond */
140 VG_USERREQ__POST_COND_BROADCAST,
141 /* args: Addr cond */
143 /* To notify the drd tool of a sem_init call. */
144 VG_USERREQ__PRE_SEM_INIT,
145 /* args: Addr sem, Word pshared, Word value */
146 /* To notify the drd tool of a sem_init call. */
147 VG_USERREQ__POST_SEM_INIT,
149 /* To notify the drd tool of a sem_destroy call. */
150 VG_USERREQ__PRE_SEM_DESTROY,
152 /* To notify the drd tool of a sem_destroy call. */
153 VG_USERREQ__POST_SEM_DESTROY,
155 /* To notify the drd tool of a sem_open call. */
156 VG_USERREQ__PRE_SEM_OPEN,
157 /* args: Addr name, Word oflag, Word mode, Word value */
158 /* To notify the drd tool of a sem_open call. */
159 VG_USERREQ__POST_SEM_OPEN,
160 /* args: Addr sem, Word oflag, Word mode, Word value */
161 /* To notify the drd tool of a sem_close call. */
162 VG_USERREQ__PRE_SEM_CLOSE,
164 /* To notify the drd tool of a sem_close call. */
165 VG_USERREQ__POST_SEM_CLOSE,
167 /* To notify the drd tool of a sem_wait call. */
168 VG_USERREQ__PRE_SEM_WAIT,
170 /* To notify the drd tool of a sem_wait call. */
171 VG_USERREQ__POST_SEM_WAIT,
172 /* args: Addr sem, Bool waited */
173 /* To notify the drd tool before a sem_post call. */
174 VG_USERREQ__PRE_SEM_POST,
176 /* To notify the drd tool after a sem_post call. */
177 VG_USERREQ__POST_SEM_POST,
178 /* args: Addr sem, Bool waited */
180 /* To notify the drd tool of a pthread_barrier_init call. */
181 VG_USERREQ__PRE_BARRIER_INIT,
182 /* args: Addr barrier, BarrierT type, Word count, Bool reinit */
183 /* To notify the drd tool of a pthread_barrier_init call. */
184 VG_USERREQ__POST_BARRIER_INIT,
185 /* args: Addr barrier, BarrierT type */
186 /* To notify the drd tool of a pthread_barrier_destroy call. */
187 VG_USERREQ__PRE_BARRIER_DESTROY,
188 /* args: Addr barrier, BarrierT type. */
189 /* To notify the drd tool of a pthread_barrier_destroy call. */
190 VG_USERREQ__POST_BARRIER_DESTROY,
191 /* args: Addr barrier, BarrierT type. */
192 /* To notify the drd tool of a pthread_barrier_wait call. */
193 VG_USERREQ__PRE_BARRIER_WAIT,
194 /* args: Addr barrier, BarrierT type. */
195 /* To notify the drd tool of a pthread_barrier_wait call. */
196 VG_USERREQ__POST_BARRIER_WAIT,
197 /* args: Addr barrier, BarrierT type, Word has_waited, Word serializing */
199 /* To notify the drd tool of a pthread_rwlock_init call. */
200 VG_USERREQ__PRE_RWLOCK_INIT,
201 /* args: Addr rwlock, RwLockT */
202 /* To notify the drd tool of a pthread_rwlock_destroy call. */
203 VG_USERREQ__POST_RWLOCK_DESTROY,
204 /* args: Addr rwlock, RwLockT */
205 /* To notify the drd tool of a pthread_rwlock_rdlock call. */
206 VG_USERREQ__PRE_RWLOCK_RDLOCK,
207 /* args: Addr rwlock, RwLockT */
208 /* To notify the drd tool of a pthread_rwlock_rdlock call. */
209 VG_USERREQ__POST_RWLOCK_RDLOCK,
210 /* args: Addr rwlock, RwLockT, Bool took_lock */
211 /* To notify the drd tool of a pthread_rwlock_wrlock call. */
212 VG_USERREQ__PRE_RWLOCK_WRLOCK,
213 /* args: Addr rwlock, RwLockT */
214 /* To notify the drd tool of a pthread_rwlock_wrlock call. */
215 VG_USERREQ__POST_RWLOCK_WRLOCK,
216 /* args: Addr rwlock, RwLockT, Bool took_lock */
217 /* To notify the drd tool of a pthread_rwlock_unlock call. */
218 VG_USERREQ__PRE_RWLOCK_UNLOCK,
219 /* args: Addr rwlock, RwLockT */
220 /* To notify the drd tool of a pthread_rwlock_unlock call. */
221 VG_USERREQ__POST_RWLOCK_UNLOCK
222 /* args: Addr rwlock, RwLockT, Bool unlocked */
227 * Error checking on POSIX recursive mutexes, POSIX error checking mutexes,
228 * POSIX default mutexes and POSIX spinlocks happens the code in drd_mutex.c.
229 * The values defined below specify the mutex type.
232 mutex_type_unknown = -1,
233 mutex_type_invalid_mutex = 0,
234 mutex_type_recursive_mutex = 1,
235 mutex_type_errorcheck_mutex = 2,
236 mutex_type_default_mutex = 3,
237 mutex_type_spinlock = 4,
241 * Error checking on POSIX reader/writer locks and user-defined reader/writer
242 * locks happens by the code in drd_rwlock.c. The values defined below specify
251 * Error checking on POSIX barriers and GOMP barriers happens by the same
252 * code. The integer values defined below specify the type of a barrier with
253 * a given client address.
261 extern Bool DRD_(g_free_is_write);
263 void DRD_(clientreq_init)(void);
266 #endif // __DRD_CLIENTREQ_H