blob: d77c741deee65fa698880e64c0bc120e7f72515c [file] [log] [blame]
sewardjaf44c822007-11-25 14:01:38 +00001#include "drd_clientreq.h"
2#include "drd_cond.h"
3#include "drd_mutex.h"
4#include "drd_suppression.h" // drd_start_suppression()
5#include "drd_thread.h"
6#include "drd_track.h"
sewardj721ad7b2007-11-30 08:30:29 +00007#include "priv_drd_clientreq.h"
sewardjaf44c822007-11-25 14:01:38 +00008#include "pub_core_tooliface.h" // VG_TRACK()
9#include "pub_tool_basics.h" // Bool
10#include "pub_tool_libcassert.h"
11#include "pub_tool_libcassert.h" // tl_assert()
12#include "pub_tool_libcprint.h" // VG_(message)()
13#include "pub_tool_machine.h" // VG_(get_SP)()
14#include "pub_tool_threadstate.h"
15#include "pub_tool_tooliface.h" // VG_(needs_...)()
16
17
18static void drd_spin_init_or_unlock(const Addr spinlock, const SizeT size)
19{
20 struct mutex_info* mutex_p = mutex_get(spinlock);
21 if (mutex_p)
22 {
sewardj721ad7b2007-11-30 08:30:29 +000023 mutex_unlock(spinlock, mutex_type_spinlock);
sewardjaf44c822007-11-25 14:01:38 +000024 }
25 else
26 {
sewardj721ad7b2007-11-30 08:30:29 +000027 mutex_init(spinlock, size, mutex_type_spinlock);
sewardjaf44c822007-11-25 14:01:38 +000028 }
29}
30
sewardj721ad7b2007-11-30 08:30:29 +000031static void drd_pre_cond_wait(const Addr cond, const SizeT cond_size,
32 const Addr mutex)
sewardjaf44c822007-11-25 14:01:38 +000033{
sewardj721ad7b2007-11-30 08:30:29 +000034 mutex_unlock(mutex, mutex_type_mutex);
35 cond_pre_wait(cond, cond_size, mutex);
sewardjaf44c822007-11-25 14:01:38 +000036}
37
sewardj721ad7b2007-11-30 08:30:29 +000038static void drd_post_cond_wait(const Addr cond, const Addr mutex,
39 const SizeT size)
sewardjaf44c822007-11-25 14:01:38 +000040{
41 cond_post_wait(cond);
sewardj721ad7b2007-11-30 08:30:29 +000042 mutex_lock(mutex, size, mutex_type_mutex);
sewardjaf44c822007-11-25 14:01:38 +000043}
44
45static void drd_pre_cond_signal(const Addr cond)
46{
47 cond_pre_signal(cond);
48}
49
50static void drd_pre_cond_broadcast(const Addr cond)
51{
52 cond_pre_broadcast(cond);
53}
54
55static Bool drd_handle_client_request(ThreadId tid, UWord* arg, UWord* ret)
56{
57 UWord result = 0;
58
59 switch (arg[0])
60 {
61 case VG_USERREQ__GET_THREAD_SELF:
62 result = tid;
63 break;
64
65 case VG_USERREQ__SET_THREAD_NAME:
66 thread_set_name_fmt(VgThreadIdToDrdThreadId(VG_(get_running_tid)()),
67 (char*)arg[1], arg[2]);
68 break;
69
70 case VG_USERREQ__DRD_START_SUPPRESSION:
71 drd_start_suppression(arg[1], arg[1] + arg[2], "client");
72 break;
73
74 case VG_USERREQ__DRD_FINISH_SUPPRESSION:
75 drd_finish_suppression(arg[1], arg[1] + arg[2]);
76 break;
77
78 case VG_USERREQ__DRD_SUPPRESS_CURRENT_STACK:
79 thread_set_stack_startup(thread_get_running_tid(),
80 VG_(get_SP)(VG_(get_running_tid)()));
81 break;
82
83 case VG_USERREQ__DRD_START_NEW_SEGMENT:
84 thread_new_segment(PtThreadIdToDrdThreadId(arg[1]));
85 break;
86
87 case VG_USERREQ__DRD_START_RECORDING:
88 thread_start_recording(PtThreadIdToDrdThreadId(arg[1]));
89 break;
90
91 case VG_USERREQ__DRD_STOP_RECORDING:
92 thread_stop_recording(PtThreadIdToDrdThreadId(arg[1]));
93 break;
94
95 case VG_USERREQ__SET_PTHREADID:
96 thread_set_pthreadid(thread_get_running_tid(), arg[1]);
97 break;
98
99 case VG_USERREQ__SET_JOINABLE:
100 thread_set_joinable(PtThreadIdToDrdThreadId(arg[1]), (Bool)arg[2]);
101 break;
102
103 case VG_USERREQ__POST_THREAD_JOIN:
104 tl_assert(arg[1]);
105 drd_post_thread_join(thread_get_running_tid(),
106 PtThreadIdToDrdThreadId(arg[1]));
107 break;
108
109 case VG_USERREQ__PRE_MUTEX_INIT:
sewardj721ad7b2007-11-30 08:30:29 +0000110 drd_pre_mutex_init(arg[1], arg[2], arg[3]);
sewardjaf44c822007-11-25 14:01:38 +0000111 break;
112
113 case VG_USERREQ__POST_MUTEX_DESTROY:
114 drd_post_mutex_destroy(arg[1], arg[2]);
115 break;
116
117 case VG_USERREQ__PRE_PTHREAD_MUTEX_LOCK:
sewardj721ad7b2007-11-30 08:30:29 +0000118 drd_pre_mutex_lock(thread_get_running_tid(), arg[1], arg[2], arg[3]);
sewardjaf44c822007-11-25 14:01:38 +0000119 break;
120
121 case VG_USERREQ__POST_PTHREAD_MUTEX_LOCK:
sewardj721ad7b2007-11-30 08:30:29 +0000122 drd_post_mutex_lock(thread_get_running_tid(), arg[1], arg[2], arg[3]);
sewardjaf44c822007-11-25 14:01:38 +0000123 break;
124
125 case VG_USERREQ__PRE_PTHREAD_MUTEX_UNLOCK:
sewardj721ad7b2007-11-30 08:30:29 +0000126 drd_pre_mutex_unlock(thread_get_running_tid(), arg[1], arg[3]);
sewardjaf44c822007-11-25 14:01:38 +0000127 break;
128
129 case VG_USERREQ__SPIN_INIT_OR_UNLOCK:
130 drd_spin_init_or_unlock(arg[1], arg[2]);
131 break;
132
133 case VG_USERREQ__POST_PTHREAD_COND_INIT:
134 drd_post_cond_init(arg[1], arg[2]);
135 break;
136
137 case VG_USERREQ__PRE_PTHREAD_COND_DESTROY:
sewardj721ad7b2007-11-30 08:30:29 +0000138 drd_pre_cond_destroy(arg[1]);
sewardjaf44c822007-11-25 14:01:38 +0000139 break;
140
141 case VG_USERREQ__PRE_PTHREAD_COND_WAIT:
sewardj721ad7b2007-11-30 08:30:29 +0000142 drd_pre_cond_wait(arg[1]/*cond*/, arg[2]/*cond_size*/, arg[3]/*mutex*/);
sewardjaf44c822007-11-25 14:01:38 +0000143 break;
144
145 case VG_USERREQ__POST_PTHREAD_COND_WAIT:
sewardj721ad7b2007-11-30 08:30:29 +0000146 drd_post_cond_wait(arg[1]/*cond*/, arg[3]/*mutex*/,
147 arg[4]/*mutex_size*/);
sewardjaf44c822007-11-25 14:01:38 +0000148 break;
149
150 case VG_USERREQ__PRE_PTHREAD_COND_SIGNAL:
151 drd_pre_cond_signal(arg[1]);
152 break;
153
154 case VG_USERREQ__PRE_PTHREAD_COND_BROADCAST:
155 drd_pre_cond_broadcast(arg[1]);
156 break;
157
158 default:
159 VG_(message)(Vg_DebugMsg, "Unrecognized client request 0x%lx 0x%lx",
160 arg[0], arg[1]);
161 tl_assert(0);
162 return False;
163 }
164
165 *ret = result;
166 return True;
167}
168
169void drd_clientreq_init(void)
170{
171 VG_(needs_client_requests)(drd_handle_client_request);
172}
173
174/*
175 * Local variables:
176 * c-basic-offset: 3
177 * End:
178 */