Rev 2867 | Rev 2894 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 2801 | svoboda | 1 | /** @addtogroup generic |
| 2 | * @{ |
||
| 3 | */ |
||
| 4 | |||
| 5 | /** |
||
| 6 | * @file |
||
| 7 | * @brief Tdebug. |
||
| 8 | */ |
||
| 9 | |||
| 10 | #include <synch/waitq.h> |
||
| 11 | #include <console/klog.h> |
||
| 2813 | svoboda | 12 | #include <udebug/udebug.h> |
| 2870 | svoboda | 13 | #include <errno.h> |
| 2801 | svoboda | 14 | #include <arch.h> |
| 15 | |||
| 2804 | svoboda | 16 | void udebug_stoppable_begin(void) |
| 2801 | svoboda | 17 | { |
| 2804 | svoboda | 18 | int nsc; |
| 19 | call_t *db_call; |
||
| 2823 | svoboda | 20 | ipl_t ipl; |
| 2804 | svoboda | 21 | |
| 2823 | svoboda | 22 | ipl = interrupts_disable(); |
| 2804 | svoboda | 23 | spinlock_lock(&TASK->lock); |
| 24 | |||
| 25 | nsc = --TASK->not_stoppable_count; |
||
| 26 | db_call = TASK->debug_begin_call; |
||
| 27 | |||
| 2825 | svoboda | 28 | if (TASK->dt_state == UDEBUG_TS_BEGINNING) { |
| 2804 | svoboda | 29 | klog_printf("udebug_stoppable_begin"); |
| 30 | klog_printf(" - nsc := %d", nsc); |
||
| 31 | } |
||
| 32 | |||
| 2825 | svoboda | 33 | if (TASK->dt_state == UDEBUG_TS_BEGINNING && nsc == 0) { |
| 34 | TASK->dt_state = UDEBUG_TS_ACTIVE; |
||
| 2801 | svoboda | 35 | TASK->debug_begin_call = NULL; |
| 2804 | svoboda | 36 | spinlock_unlock(&TASK->lock); |
| 2823 | svoboda | 37 | interrupts_restore(ipl); |
| 2804 | svoboda | 38 | |
| 39 | IPC_SET_RETVAL(db_call->data, 0); |
||
| 40 | klog_printf("udebug_stoppable_begin/ipc_answer"); |
||
| 41 | ipc_answer(&TASK->answerbox, db_call); |
||
| 42 | } else { |
||
| 43 | spinlock_unlock(&TASK->lock); |
||
| 2823 | svoboda | 44 | interrupts_restore(ipl); |
| 2804 | svoboda | 45 | } |
| 46 | } |
||
| 47 | |||
| 48 | void udebug_stoppable_end(void) |
||
| 49 | { |
||
| 2823 | svoboda | 50 | ipl_t ipl; |
| 51 | |||
| 2804 | svoboda | 52 | restart: |
| 2823 | svoboda | 53 | ipl = interrupts_disable(); |
| 2804 | svoboda | 54 | spinlock_lock(&TASK->lock); |
| 55 | |||
| 2825 | svoboda | 56 | if ((TASK->dt_state == UDEBUG_TS_BEGINNING || |
| 57 | TASK->dt_state == UDEBUG_TS_ACTIVE) && |
||
| 58 | THREAD->debug_stop == true) { |
||
| 2804 | svoboda | 59 | TASK->debug_begin_call = NULL; |
| 60 | spinlock_unlock(&TASK->lock); |
||
| 2823 | svoboda | 61 | interrupts_restore(ipl); |
| 62 | |||
| 2804 | svoboda | 63 | klog_printf("udebug_stoppable_end: waitq_sleep"); |
| 2801 | svoboda | 64 | waitq_sleep(&THREAD->go_wq); |
| 2804 | svoboda | 65 | goto restart; |
| 66 | /* must try again - have to lose stoppability atomically */ |
||
| 67 | } else { |
||
| 68 | ++TASK->not_stoppable_count; |
||
| 69 | spinlock_unlock(&TASK->lock); |
||
| 2823 | svoboda | 70 | interrupts_restore(ipl); |
| 2801 | svoboda | 71 | } |
| 72 | } |
||
| 73 | |||
| 2805 | svoboda | 74 | void udebug_syscall_event(unative_t a1, unative_t a2, unative_t a3, |
| 75 | unative_t a4, unative_t a5, unative_t a6, unative_t id, unative_t rc) |
||
| 2801 | svoboda | 76 | { |
| 2805 | svoboda | 77 | call_t *call; |
| 2823 | svoboda | 78 | ipl_t ipl; |
| 2805 | svoboda | 79 | |
| 2823 | svoboda | 80 | ipl = interrupts_disable(); |
| 2848 | svoboda | 81 | spinlock_lock(&THREAD->debug_lock); |
| 2823 | svoboda | 82 | |
| 2854 | svoboda | 83 | /* Must only generate events when in debugging session and have go */ |
| 2867 | svoboda | 84 | if (THREAD->debug_active != true || |
| 85 | THREAD->debug_stop == true) { |
||
| 86 | spinlock_unlock(&THREAD->debug_lock); |
||
| 87 | interrupts_restore(ipl); |
||
| 88 | return; |
||
| 89 | } |
||
| 2804 | svoboda | 90 | |
| 2867 | svoboda | 91 | klog_printf("udebug_syscall_event"); |
| 92 | call = THREAD->debug_go_call; |
||
| 93 | IPC_SET_RETVAL(call->data, 0); |
||
| 94 | IPC_SET_ARG1(call->data, UDEBUG_EVENT_SYSCALL); |
||
| 95 | IPC_SET_ARG2(call->data, id); |
||
| 96 | IPC_SET_ARG3(call->data, rc); |
||
| 97 | klog_printf("udebug_syscall_event/ipc_answer"); |
||
| 2805 | svoboda | 98 | |
| 2867 | svoboda | 99 | THREAD->syscall_args[0] = a1; |
| 100 | THREAD->syscall_args[1] = a2; |
||
| 101 | THREAD->syscall_args[2] = a3; |
||
| 102 | THREAD->syscall_args[3] = a4; |
||
| 103 | THREAD->syscall_args[4] = a5; |
||
| 104 | THREAD->syscall_args[5] = a6; |
||
| 2866 | svoboda | 105 | |
| 2867 | svoboda | 106 | /* |
| 107 | * Make sure debug_stop is true when going to sleep |
||
| 108 | * in case we get woken up by DEBUG_END. (At which |
||
| 109 | * point it must be back to the initial true value). |
||
| 110 | */ |
||
| 111 | THREAD->debug_stop = true; |
||
| 2825 | svoboda | 112 | |
| 2867 | svoboda | 113 | THREAD->cur_event = UDEBUG_EVENT_SYSCALL; |
| 114 | spinlock_unlock(&THREAD->debug_lock); |
||
| 2834 | svoboda | 115 | |
| 2867 | svoboda | 116 | spinlock_lock(&TASK->lock); |
| 117 | ipc_answer(&TASK->answerbox, THREAD->debug_go_call); |
||
| 118 | spinlock_unlock(&TASK->lock); |
||
| 2823 | svoboda | 119 | |
| 2867 | svoboda | 120 | interrupts_restore(ipl); |
| 121 | |||
| 122 | waitq_sleep(&THREAD->go_wq); |
||
| 123 | } |
||
| 124 | |||
| 125 | void udebug_new_thread_event(struct thread *t) |
||
| 126 | { |
||
| 127 | call_t *call; |
||
| 128 | ipl_t ipl; |
||
| 129 | |||
| 130 | ipl = interrupts_disable(); |
||
| 131 | spinlock_lock(&THREAD->debug_lock); |
||
| 132 | |||
| 133 | klog_printf("udebug_new_thread_event"); |
||
| 134 | klog_printf("- check state"); |
||
| 135 | |||
| 136 | /* Must only generate events when in debugging session */ |
||
| 137 | if (THREAD->debug_active != true) { |
||
| 138 | klog_printf("- debug_active: %s, debug_stop: %s", |
||
| 139 | THREAD->debug_active ? "yes(+)" : "no(-)", |
||
| 140 | THREAD->debug_stop ? "yes(-)" : "no(+)"); |
||
| 2848 | svoboda | 141 | spinlock_unlock(&THREAD->debug_lock); |
| 2823 | svoboda | 142 | interrupts_restore(ipl); |
| 2867 | svoboda | 143 | return; |
| 2801 | svoboda | 144 | } |
| 2867 | svoboda | 145 | |
| 146 | klog_printf("- trigger event"); |
||
| 147 | |||
| 148 | call = THREAD->debug_go_call; |
||
| 149 | IPC_SET_RETVAL(call->data, 0); |
||
| 150 | IPC_SET_ARG1(call->data, UDEBUG_EVENT_NEW_THREAD); |
||
| 151 | IPC_SET_ARG2(call->data, (unative_t)t); |
||
| 152 | |||
| 153 | /* |
||
| 154 | * Make sure debug_stop is true when going to sleep |
||
| 155 | * in case we get woken up by DEBUG_END. (At which |
||
| 156 | * point it must be back to the initial true value). |
||
| 157 | */ |
||
| 158 | THREAD->debug_stop = true; |
||
| 159 | |||
| 160 | THREAD->cur_event = UDEBUG_EVENT_NEW_THREAD; |
||
| 161 | spinlock_unlock(&THREAD->debug_lock); |
||
| 162 | |||
| 163 | spinlock_lock(&TASK->lock); |
||
| 164 | ipc_answer(&TASK->answerbox, THREAD->debug_go_call); |
||
| 165 | spinlock_unlock(&TASK->lock); |
||
| 166 | |||
| 167 | interrupts_restore(ipl); |
||
| 168 | klog_printf("- sleep"); |
||
| 169 | |||
| 170 | waitq_sleep(&THREAD->go_wq); |
||
| 2801 | svoboda | 171 | } |
| 172 | |||
| 2870 | svoboda | 173 | /** |
| 174 | * Terminate task debugging session. |
||
| 175 | * |
||
| 176 | * \param ta Must be already locked and interrupts must be disabled. |
||
| 177 | * \return Zero on success or negative error code. |
||
| 178 | */ |
||
| 179 | int udebug_task_cleanup(struct task *ta) |
||
| 180 | { |
||
| 181 | thread_t *t; |
||
| 182 | link_t *cur; |
||
| 183 | int flags; |
||
| 2867 | svoboda | 184 | |
| 2870 | svoboda | 185 | klog_printf("udebug_task_cleanup()"); |
| 186 | klog_printf("task %llu", ta->taskid); |
||
| 187 | |||
| 188 | if (ta->dt_state == UDEBUG_TS_BEGINNING && |
||
| 189 | ta->dt_state != UDEBUG_TS_ACTIVE) { |
||
| 190 | klog_printf("udebug_task_cleanup(): task not being debugged"); |
||
| 191 | return EINVAL; |
||
| 192 | } |
||
| 193 | |||
| 194 | /* Finish debugging of all userspace threads */ |
||
| 195 | for (cur = ta->th_head.next; cur != &ta->th_head; cur = cur->next) { |
||
| 196 | t = list_get_instance(cur, thread_t, th_link); |
||
| 197 | |||
| 198 | spinlock_lock(&t->debug_lock); |
||
| 199 | spinlock_lock(&t->lock); |
||
| 200 | |||
| 201 | flags = t->flags; |
||
| 202 | |||
| 203 | spinlock_unlock(&t->lock); |
||
| 204 | |||
| 205 | /* Only process userspace threads */ |
||
| 206 | if ((flags & THREAD_FLAG_USPACE) != 0) { |
||
| 207 | /* Prevent any further debug activity in thread */ |
||
| 208 | t->debug_active = false; |
||
| 209 | t->cur_event = 0; /* none */ |
||
| 210 | |||
| 211 | /* Still has go? */ |
||
| 212 | if (t->debug_stop == false) { |
||
| 213 | /* |
||
| 214 | * Yes, so clear go. As debug_active == false, |
||
| 215 | * this doesn't affect anything. |
||
| 216 | */ |
||
| 217 | t->debug_stop = true; |
||
| 218 | |||
| 219 | /* Answer GO call */ |
||
| 220 | klog_printf("answer GO call with EVENT_FINISHED"); |
||
| 221 | IPC_SET_RETVAL(t->debug_go_call->data, 0); |
||
| 222 | IPC_SET_ARG1(t->debug_go_call->data, UDEBUG_EVENT_FINISHED); |
||
| 223 | ipc_answer(&ta->answerbox, t->debug_go_call); |
||
| 224 | } else { |
||
| 225 | /* |
||
| 226 | * Debug_stop is already at initial value. |
||
| 227 | * Yet this means the thread needs waking up. |
||
| 228 | */ |
||
| 229 | |||
| 230 | /* |
||
| 231 | * t's lock must not be held when calling |
||
| 232 | * waitq_wakeup. |
||
| 233 | */ |
||
| 234 | waitq_wakeup(&t->go_wq, WAKEUP_FIRST); |
||
| 235 | } |
||
| 236 | } |
||
| 237 | spinlock_unlock(&t->debug_lock); |
||
| 238 | } |
||
| 239 | |||
| 240 | ta->dt_state = UDEBUG_TS_INACTIVE; |
||
| 241 | ta->debugger = NULL; |
||
| 242 | |||
| 243 | return 0; |
||
| 244 | } |
||
| 245 | |||
| 246 | |||
| 2801 | svoboda | 247 | /** @} |
| 248 | */ |