source: mainline/kernel/generic/src/udebug/udebug.c@ 86018c1

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since 86018c1 was 9441458, checked in by Jiri Svoboda <jiri@…>, 16 years ago

Remove errorneous clearing of begin_call (Thx Tomas Brambora).

  • Property mode set to 100644
File size: 12.4 KB
Line 
1/*
2 * Copyright (c) 2008 Jiri Svoboda
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29/** @addtogroup generic
30 * @{
31 */
32
33/**
34 * @file
35 * @brief Udebug hooks and data structure management.
36 *
37 * Udebug is an interface that makes userspace debuggers possible.
38 */
39
40#include <synch/waitq.h>
41#include <debug.h>
42#include <udebug/udebug.h>
43#include <errno.h>
44#include <print.h>
45#include <arch.h>
46
47
48/** Initialize udebug part of task structure.
49 *
50 * Called as part of task structure initialization.
51 * @param ut Pointer to the structure to initialize.
52 */
53void udebug_task_init(udebug_task_t *ut)
54{
55 mutex_initialize(&ut->lock, MUTEX_PASSIVE);
56 ut->dt_state = UDEBUG_TS_INACTIVE;
57 ut->begin_call = NULL;
58 ut->not_stoppable_count = 0;
59 ut->evmask = 0;
60}
61
62/** Initialize udebug part of thread structure.
63 *
64 * Called as part of thread structure initialization.
65 * @param ut Pointer to the structure to initialize.
66 */
67void udebug_thread_initialize(udebug_thread_t *ut)
68{
69 mutex_initialize(&ut->lock, MUTEX_PASSIVE);
70 waitq_initialize(&ut->go_wq);
71
72 ut->go_call = NULL;
73 ut->uspace_state = NULL;
74 ut->go = false;
75 ut->stoppable = true;
76 ut->active = false;
77 ut->cur_event = 0; /* none */
78}
79
80/** Wait for a GO message.
81 *
82 * When a debugging event occurs in a thread or the thread is stopped,
83 * this function is called to block the thread until a GO message
84 * is received.
85 *
86 * @param wq The wait queue used by the thread to wait for GO messages.
87 */
88static void udebug_wait_for_go(waitq_t *wq)
89{
90 int rc;
91 ipl_t ipl;
92
93 ipl = waitq_sleep_prepare(wq);
94
95 wq->missed_wakeups = 0; /* Enforce blocking. */
96 rc = waitq_sleep_timeout_unsafe(wq, SYNCH_NO_TIMEOUT, SYNCH_FLAGS_NONE);
97
98 waitq_sleep_finish(wq, rc, ipl);
99}
100
101/** Start of stoppable section.
102 *
103 * A stoppable section is a section of code where if the thread can be stoped. In other words,
104 * if a STOP operation is issued, the thread is guaranteed not to execute
105 * any userspace instructions until the thread is resumed.
106 *
107 * Having stoppable sections is better than having stopping points, since
108 * a thread can be stopped even when it is blocked indefinitely in a system
109 * call (whereas it would not reach any stopping point).
110 */
111void udebug_stoppable_begin(void)
112{
113 int nsc;
114 call_t *db_call, *go_call;
115
116 ASSERT(THREAD);
117 ASSERT(TASK);
118
119 mutex_lock(&TASK->udebug.lock);
120
121 nsc = --TASK->udebug.not_stoppable_count;
122
123 /* Lock order OK, THREAD->udebug.lock is after TASK->udebug.lock */
124 mutex_lock(&THREAD->udebug.lock);
125 ASSERT(THREAD->udebug.stoppable == false);
126 THREAD->udebug.stoppable = true;
127
128 if (TASK->udebug.dt_state == UDEBUG_TS_BEGINNING && nsc == 0) {
129 /*
130 * This was the last non-stoppable thread. Reply to
131 * DEBUG_BEGIN call.
132 */
133
134 db_call = TASK->udebug.begin_call;
135 ASSERT(db_call);
136
137 TASK->udebug.dt_state = UDEBUG_TS_ACTIVE;
138 TASK->udebug.begin_call = NULL;
139
140 IPC_SET_RETVAL(db_call->data, 0);
141 ipc_answer(&TASK->answerbox, db_call);
142
143 } else if (TASK->udebug.dt_state == UDEBUG_TS_ACTIVE) {
144 /*
145 * Active debugging session
146 */
147
148 if (THREAD->udebug.active == true &&
149 THREAD->udebug.go == false) {
150 /*
151 * Thread was requested to stop - answer go call
152 */
153
154 /* Make sure nobody takes this call away from us */
155 go_call = THREAD->udebug.go_call;
156 THREAD->udebug.go_call = NULL;
157 ASSERT(go_call);
158
159 IPC_SET_RETVAL(go_call->data, 0);
160 IPC_SET_ARG1(go_call->data, UDEBUG_EVENT_STOP);
161
162 THREAD->udebug.cur_event = UDEBUG_EVENT_STOP;
163
164 ipc_answer(&TASK->answerbox, go_call);
165 }
166 }
167
168 mutex_unlock(&THREAD->udebug.lock);
169 mutex_unlock(&TASK->udebug.lock);
170}
171
172/** End of a stoppable section.
173 *
174 * This is the point where the thread will block if it is stopped.
175 * (As, by definition, a stopped thread must not leave its stoppable section).
176 */
177void udebug_stoppable_end(void)
178{
179restart:
180 mutex_lock(&TASK->udebug.lock);
181 mutex_lock(&THREAD->udebug.lock);
182
183 if (THREAD->udebug.active && THREAD->udebug.go == false) {
184 mutex_unlock(&THREAD->udebug.lock);
185 mutex_unlock(&TASK->udebug.lock);
186
187 udebug_wait_for_go(&THREAD->udebug.go_wq);
188
189 goto restart;
190 /* Must try again - have to lose stoppability atomically. */
191 } else {
192 ++TASK->udebug.not_stoppable_count;
193 ASSERT(THREAD->udebug.stoppable == true);
194 THREAD->udebug.stoppable = false;
195
196 mutex_unlock(&THREAD->udebug.lock);
197 mutex_unlock(&TASK->udebug.lock);
198 }
199}
200
201/** Upon being scheduled to run, check if the current thread should stop.
202 *
203 * This function is called from clock().
204 */
205void udebug_before_thread_runs(void)
206{
207 /* Check if we're supposed to stop */
208 udebug_stoppable_begin();
209 udebug_stoppable_end();
210}
211
212/** Syscall event hook.
213 *
214 * Must be called before and after servicing a system call. This generates
215 * a SYSCALL_B or SYSCALL_E event, depending on the value of @a end_variant.
216 */
217void udebug_syscall_event(unative_t a1, unative_t a2, unative_t a3,
218 unative_t a4, unative_t a5, unative_t a6, unative_t id, unative_t rc,
219 bool end_variant)
220{
221 call_t *call;
222 udebug_event_t etype;
223
224 etype = end_variant ? UDEBUG_EVENT_SYSCALL_E : UDEBUG_EVENT_SYSCALL_B;
225
226 mutex_lock(&TASK->udebug.lock);
227 mutex_lock(&THREAD->udebug.lock);
228
229 /* Must only generate events when in debugging session and is go. */
230 if (THREAD->udebug.active != true || THREAD->udebug.go == false ||
231 (TASK->udebug.evmask & UDEBUG_EVMASK(etype)) == 0) {
232 mutex_unlock(&THREAD->udebug.lock);
233 mutex_unlock(&TASK->udebug.lock);
234 return;
235 }
236
237 /* Fill in the GO response. */
238 call = THREAD->udebug.go_call;
239 THREAD->udebug.go_call = NULL;
240
241 IPC_SET_RETVAL(call->data, 0);
242 IPC_SET_ARG1(call->data, etype);
243 IPC_SET_ARG2(call->data, id);
244 IPC_SET_ARG3(call->data, rc);
245
246 THREAD->udebug.syscall_args[0] = a1;
247 THREAD->udebug.syscall_args[1] = a2;
248 THREAD->udebug.syscall_args[2] = a3;
249 THREAD->udebug.syscall_args[3] = a4;
250 THREAD->udebug.syscall_args[4] = a5;
251 THREAD->udebug.syscall_args[5] = a6;
252
253 /*
254 * Make sure udebug.go is false when going to sleep
255 * in case we get woken up by DEBUG_END. (At which
256 * point it must be back to the initial true value).
257 */
258 THREAD->udebug.go = false;
259 THREAD->udebug.cur_event = etype;
260
261 ipc_answer(&TASK->answerbox, call);
262
263 mutex_unlock(&THREAD->udebug.lock);
264 mutex_unlock(&TASK->udebug.lock);
265
266 udebug_wait_for_go(&THREAD->udebug.go_wq);
267}
268
269/** Thread-creation event hook combined with attaching the thread.
270 *
271 * Must be called when a new userspace thread is created in the debugged
272 * task. Generates a THREAD_B event. Also attaches the thread @a t
273 * to the task @a ta.
274 *
275 * This is necessary to avoid a race condition where the BEGIN and THREAD_READ
276 * requests would be handled inbetween attaching the thread and checking it
277 * for being in a debugging session to send the THREAD_B event. We could then
278 * either miss threads or get some threads both in the thread list
279 * and get a THREAD_B event for them.
280 *
281 * @param t Structure of the thread being created. Not locked, as the
282 * thread is not executing yet.
283 * @param ta Task to which the thread should be attached.
284 */
285void udebug_thread_b_event_attach(struct thread *t, struct task *ta)
286{
287 call_t *call;
288
289 mutex_lock(&TASK->udebug.lock);
290 mutex_lock(&THREAD->udebug.lock);
291
292 thread_attach(t, ta);
293
294 LOG("Check state");
295
296 /* Must only generate events when in debugging session */
297 if (THREAD->udebug.active != true) {
298 LOG("udebug.active: %s, udebug.go: %s",
299 THREAD->udebug.active ? "Yes(+)" : "No",
300 THREAD->udebug.go ? "Yes(-)" : "No");
301 mutex_unlock(&THREAD->udebug.lock);
302 mutex_unlock(&TASK->udebug.lock);
303 return;
304 }
305
306 LOG("Trigger event");
307 call = THREAD->udebug.go_call;
308 THREAD->udebug.go_call = NULL;
309 IPC_SET_RETVAL(call->data, 0);
310 IPC_SET_ARG1(call->data, UDEBUG_EVENT_THREAD_B);
311 IPC_SET_ARG2(call->data, (unative_t)t);
312
313 /*
314 * Make sure udebug.go is false when going to sleep
315 * in case we get woken up by DEBUG_END. (At which
316 * point it must be back to the initial true value).
317 */
318 THREAD->udebug.go = false;
319 THREAD->udebug.cur_event = UDEBUG_EVENT_THREAD_B;
320
321 ipc_answer(&TASK->answerbox, call);
322
323 mutex_unlock(&THREAD->udebug.lock);
324 mutex_unlock(&TASK->udebug.lock);
325
326 LOG("Wait for Go");
327 udebug_wait_for_go(&THREAD->udebug.go_wq);
328}
329
330/** Thread-termination event hook.
331 *
332 * Must be called when the current thread is terminating.
333 * Generates a THREAD_E event.
334 */
335void udebug_thread_e_event(void)
336{
337 call_t *call;
338
339 mutex_lock(&TASK->udebug.lock);
340 mutex_lock(&THREAD->udebug.lock);
341
342 LOG("Check state");
343
344 /* Must only generate events when in debugging session. */
345 if (THREAD->udebug.active != true) {
346 LOG("udebug.active: %s, udebug.go: %s",
347 THREAD->udebug.active ? "Yes" : "No",
348 THREAD->udebug.go ? "Yes" : "No");
349 mutex_unlock(&THREAD->udebug.lock);
350 mutex_unlock(&TASK->udebug.lock);
351 return;
352 }
353
354 LOG("Trigger event");
355 call = THREAD->udebug.go_call;
356 THREAD->udebug.go_call = NULL;
357 IPC_SET_RETVAL(call->data, 0);
358 IPC_SET_ARG1(call->data, UDEBUG_EVENT_THREAD_E);
359
360 /* Prevent any further debug activity in thread. */
361 THREAD->udebug.active = false;
362 THREAD->udebug.cur_event = 0; /* none */
363 THREAD->udebug.go = false; /* set to initial value */
364
365 ipc_answer(&TASK->answerbox, call);
366
367 mutex_unlock(&THREAD->udebug.lock);
368 mutex_unlock(&TASK->udebug.lock);
369
370 /*
371 * This event does not sleep - debugging has finished
372 * in this thread.
373 */
374}
375
376/**
377 * Terminate task debugging session.
378 *
379 * Gracefully terminates the debugging session for a task. If the debugger
380 * is still waiting for events on some threads, it will receive a
381 * FINISHED event for each of them.
382 *
383 * @param ta Task structure. ta->udebug.lock must be already locked.
384 * @return Zero on success or negative error code.
385 */
386int udebug_task_cleanup(struct task *ta)
387{
388 thread_t *t;
389 link_t *cur;
390 int flags;
391 ipl_t ipl;
392
393 if (ta->udebug.dt_state != UDEBUG_TS_BEGINNING &&
394 ta->udebug.dt_state != UDEBUG_TS_ACTIVE) {
395 return EINVAL;
396 }
397
398 LOG("Task %" PRIu64, ta->taskid);
399
400 /* Finish debugging of all userspace threads */
401 for (cur = ta->th_head.next; cur != &ta->th_head; cur = cur->next) {
402 t = list_get_instance(cur, thread_t, th_link);
403
404 mutex_lock(&t->udebug.lock);
405
406 ipl = interrupts_disable();
407 spinlock_lock(&t->lock);
408
409 flags = t->flags;
410
411 spinlock_unlock(&t->lock);
412 interrupts_restore(ipl);
413
414 /* Only process userspace threads. */
415 if ((flags & THREAD_FLAG_USPACE) != 0) {
416 /* Prevent any further debug activity in thread. */
417 t->udebug.active = false;
418 t->udebug.cur_event = 0; /* none */
419
420 /* Is the thread still go? */
421 if (t->udebug.go == true) {
422 /*
423 * Yes, so clear go. As active == false,
424 * this doesn't affect anything.
425 */
426 t->udebug.go = false;
427
428 /* Answer GO call */
429 LOG("Answer GO call with EVENT_FINISHED.");
430 IPC_SET_RETVAL(t->udebug.go_call->data, 0);
431 IPC_SET_ARG1(t->udebug.go_call->data,
432 UDEBUG_EVENT_FINISHED);
433
434 ipc_answer(&ta->answerbox, t->udebug.go_call);
435 t->udebug.go_call = NULL;
436 } else {
437 /*
438 * Debug_stop is already at initial value.
439 * Yet this means the thread needs waking up.
440 */
441
442 /*
443 * t's lock must not be held when calling
444 * waitq_wakeup.
445 */
446 waitq_wakeup(&t->udebug.go_wq, WAKEUP_FIRST);
447 }
448 }
449 mutex_unlock(&t->udebug.lock);
450 }
451
452 ta->udebug.dt_state = UDEBUG_TS_INACTIVE;
453 ta->udebug.debugger = NULL;
454
455 return 0;
456}
457
458
459/** @}
460 */
Note: See TracBrowser for help on using the repository browser.