Subversion Repositories HelenOS

Rev

Rev 3472 | Rev 4377 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2911 svoboda 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 debug
30
 * @{
31
 */
32
/** @file
33
 */
34
 
35
#include <stdio.h>
36
#include <stdlib.h>
37
#include <unistd.h>
3536 svoboda 38
#include <libarch/syscall.h>
2911 svoboda 39
#include <ipc/ipc.h>
40
#include <fibril.h>
3472 svoboda 41
#include <loader/loader.h>
2911 svoboda 42
#include <errno.h>
43
#include <udebug.h>
44
#include <async.h>
45
#include <string.h>
46
 
47
#include "cmd.h"
2936 svoboda 48
#include "cons.h"
2938 svoboda 49
#include "dthread.h"
3005 svoboda 50
#include "breakpoint.h"
2923 svoboda 51
#include "include/arch.h"
2915 svoboda 52
#include "main.h"
2911 svoboda 53
 
54
void thread_debug_start(unsigned thread_hash);
55
 
2936 svoboda 56
#define IN_BUF_SIZE 64
57
static char in_buf[IN_BUF_SIZE];
2911 svoboda 58
 
59
#define MAX_ARGC 10
60
int cmd_argc;
61
char *cmd_argv[MAX_ARGC + 1];   /* need one spare field for cmd_split() */
62
 
2937 svoboda 63
 
2911 svoboda 64
int next_thread_id;
65
 
66
int app_phone;
67
volatile bool abort_debug;
68
 
69
volatile int paused;
70
 
3472 svoboda 71
static task_id_t task_id;
72
static loader_t *task_ldr;
73
 
74
static int program_run_fibril(void *arg);
75
 
76
static void program_run(void)
77
{
78
    fid_t fid;
79
 
80
    fid = fibril_create(program_run_fibril, NULL);
81
    if (fid == 0) {
82
        printf("Error creating fibril\n");
83
        exit(1);
84
    }
85
 
86
    fibril_add_ready(fid);
87
}
88
 
89
static int program_run_fibril(void *arg)
90
{
91
    int rc;
92
 
93
    /*
94
     * This must be done in background as it will block until
95
     * we let the task reply to this call.
96
     */
97
    rc = loader_run(task_ldr);
98
    if (rc != 0) {
99
        printf("Error running program\n");
100
        exit(1);
101
    }
102
 
103
    free(task_ldr);
104
    task_ldr = NULL;
105
 
106
    return 0;
107
}
108
 
109
static loader_t *preload_task(const char *path, char *const argv[],
110
    task_id_t *task_id)
111
{
112
    loader_t *ldr;
113
    int rc;
114
 
115
    /* Spawn a program loader */   
116
    ldr = loader_spawn();
117
    if (ldr == NULL)
118
        return 0;
119
 
120
    /* Get task ID. */
121
    rc = loader_get_task_id(ldr, task_id);
122
    if (rc != EOK)
123
        goto error;
124
 
125
    /* Send program pathname */
126
    rc = loader_set_pathname(ldr, path);
127
    if (rc != EOK)
128
        goto error;
129
 
130
    /* Send arguments */
131
    rc = loader_set_args(ldr, argv);
132
    if (rc != EOK)
133
        goto error;
134
 
135
    /* Load the program. */
136
    rc = loader_load_program(ldr);
137
    if (rc != EOK)
138
        goto error;
139
 
140
    /* Success */
141
    return ldr;
142
 
143
    /* Error exit */
144
error:
145
    loader_abort(ldr);
146
    free(ldr);
147
    return NULL;
148
}
149
 
150
 
2938 svoboda 151
static void command_split(char *cmd_str)
2911 svoboda 152
{
153
    char *p = cmd_str;
154
 
155
    if (*p == '\0') {
156
        cmd_argc = 0;
157
        return;
158
    }
159
 
160
    cmd_argc = 1;
161
    cmd_argv[0] = p;
162
 
163
    while (*p != '\0') {
164
        if (*p == ' ') {
165
            cmd_argv[cmd_argc++] = p + 1;
166
            *p = '\0';
167
        }
168
        ++p;
169
    }
170
}
171
 
2938 svoboda 172
static void command_run(void)
2911 svoboda 173
{
174
    int i;
175
    int cmp_len;
176
    int len;
177
 
178
    int idx_found;
179
    int num_found;
180
 
181
    len = strlen(cmd_argv[0]);
182
    cmp_len = 1;
183
 
2946 svoboda 184
    /* Silence warnings */
185
    num_found = 0;
186
    idx_found = 0;
187
 
2911 svoboda 188
    while (cmp_len <= len + 1) {
189
 
190
        num_found = 0;
191
        i = 0;
192
        while (cmd_table[i].name != NULL) {
193
            if (strncmp(cmd_table[i].name, cmd_argv[0], cmp_len) == 0) {
194
                idx_found = i;
195
                ++num_found;
196
            }
197
            ++i;
198
        }
199
 
200
        if (num_found < 2) break;
201
 
2947 svoboda 202
        ++cmp_len;
2911 svoboda 203
    }
204
 
205
    if (num_found == 0) {
2936 svoboda 206
        cons_printf("Unknown command. Try one of:\n");
2911 svoboda 207
        cmd_help(0, NULL);
208
        return;
209
    }
210
 
211
    if (cmd_argc - 1 != cmd_table[idx_found].argc) {
2936 svoboda 212
        cons_printf("Command '%s' expects %d arguments\n",
2911 svoboda 213
        cmd_table[idx_found].name, cmd_table[idx_found].argc);
214
        return;
215
    }
216
 
217
    (*cmd_table[idx_found].proc)(cmd_argc, cmd_argv);
218
}
219
 
2938 svoboda 220
static void thread_stop(void)
2936 svoboda 221
{
2939 svoboda 222
    dthread_t *dt;
2940 svoboda 223
    uintptr_t pc;
2939 svoboda 224
 
225
    dt = dthread_get();
2940 svoboda 226
    pc = dthread_get_pc(dt);
227
    cons_printf("[thread %d] stopped at 0x%lx\n", dt->id, pc);
2939 svoboda 228
    dthread_stop_me();
229
    cons_printf("[thread %d] go\n", dt->id);
2936 svoboda 230
}
231
 
2935 svoboda 232
/*
233
 * Called by a fibril (from arch code) when a breakpoint is hit.
234
 */
3005 svoboda 235
void breakpoint_hit(breakpoint_t *b)
2935 svoboda 236
{
3005 svoboda 237
    dthread_t *dt;
238
 
239
    dt = dthread_get();
240
    cons_printf("Thread %d hit breakpoint %d at 0x%lx\n",
241
        dt->id, b->id, b->addr);
2936 svoboda 242
    thread_stop();
2935 svoboda 243
}
2911 svoboda 244
 
2942 svoboda 245
/*
246
 * Called by a fibril (from arch code) when a single instruction
247
 * in singlestep is executed
248
 */
249
void singlestep_hit(void)
250
{
251
    cons_printf("singlestep hit\n");
252
    thread_stop();
253
}
254
 
3472 svoboda 255
static int connect_task(task_id_t task_id)
2911 svoboda 256
{
257
    int rc;
2918 svoboda 258
    unsigned evmask;
2911 svoboda 259
 
3429 svoboda 260
    cons_printf("ipc_connect_kbox(%;;d)... ", task_id);
261
    rc = ipc_connect_kbox(task_id);
2936 svoboda 262
    cons_printf("-> %d\n", rc);
2911 svoboda 263
    app_phone = rc;
264
    if (rc < 0) return rc;
265
 
2936 svoboda 266
    cons_printf("udebug_begin()... ");
2911 svoboda 267
    rc = udebug_begin(app_phone);
2936 svoboda 268
    cons_printf("-> %d\n", rc);
2911 svoboda 269
    if (rc < 0) return rc;
270
 
2918 svoboda 271
    evmask = UDEBUG_EM_ALL & ~(UDEBUG_EM_SYSCALL_B | UDEBUG_EM_SYSCALL_E);
2936 svoboda 272
    cons_printf("udebug_set_evmask(0x%x)... ", evmask);
2918 svoboda 273
    rc = udebug_set_evmask(app_phone, evmask);
2936 svoboda 274
    cons_printf("-> %d\n", rc);
2911 svoboda 275
    if (rc < 0) return rc;
276
 
277
    return 0;
278
}
279
 
2940 svoboda 280
#define THASH_BUF_INIT_LENGTH 32
281
 
282
static int get_thread_list(thash_t **thash_buf_ptr, int *n)
2911 svoboda 283
{
284
    int rc;
2946 svoboda 285
    size_t tb_copied;
286
    size_t tb_needed;
2911 svoboda 287
    int i;
2940 svoboda 288
    size_t tb_size;
289
    thash_t *thash_buf;
2911 svoboda 290
 
2940 svoboda 291
    tb_size = THASH_BUF_INIT_LENGTH * sizeof(thash_t);
292
    thash_buf = malloc(tb_size);
293
 
2946 svoboda 294
    rc = udebug_thread_read(app_phone, thash_buf,
2940 svoboda 295
        tb_size, &tb_copied, &tb_needed);
2911 svoboda 296
    if (rc < 0) return rc;
297
 
2940 svoboda 298
    if (tb_needed > tb_size) {
299
        /* Larger buffer needed  */
2911 svoboda 300
 
2940 svoboda 301
        free(thash_buf);
302
 
303
        tb_size = tb_needed;
304
        thash_buf = malloc(tb_size);
305
 
306
        if (!thash_buf) {
307
            printf("malloc failed\n");
308
            exit(1);
309
        }
310
 
311
        /* Try again */
312
 
2946 svoboda 313
        rc = udebug_thread_read(app_phone, thash_buf,
2940 svoboda 314
            tb_size, &tb_copied, &tb_needed);
315
 
316
        if (rc < 0) return rc;
2911 svoboda 317
    }
318
 
2940 svoboda 319
    *n = tb_copied / sizeof(thash_t);
320
 
321
    cons_printf("thread hashes:");
322
 
323
    for (i = 0; i < *n; ++i) {
324
        cons_printf("0x%x\n", thash_buf[i]);
325
    }
326
 
327
    cons_printf("Total of %u threads\n", *n);
328
 
329
    *thash_buf_ptr = thash_buf;
330
 
331
    return 0;
2911 svoboda 332
}
333
 
2946 svoboda 334
static void event_thread_b(unsigned hash)
2911 svoboda 335
{
336
    async_serialize_start();
2936 svoboda 337
    cons_printf("new thread, hash 0x%x\n", hash);
2911 svoboda 338
    async_serialize_end();
339
 
340
    thread_debug_start(hash);
341
}
342
 
2923 svoboda 343
static void debug_event(thash_t thash, udebug_event_t ev_type, sysarg_t val0)
344
{
345
    switch (ev_type) {
346
    case UDEBUG_EVENT_STOP:
2936 svoboda 347
        cons_printf("stop event\n");
2939 svoboda 348
        thread_stop();
2923 svoboda 349
        break;
350
    case UDEBUG_EVENT_THREAD_B:
351
        event_thread_b(val0);
352
        break;
353
    case UDEBUG_EVENT_THREAD_E:
2936 svoboda 354
        cons_printf("thread 0x%x exited\n", val0);
2923 svoboda 355
        abort_debug = true;
356
        break;
357
    case UDEBUG_EVENT_BREAKPOINT:
358
        arch_event_breakpoint(thash);
359
        break;
360
    case UDEBUG_EVENT_TRAP:
2942 svoboda 361
        arch_event_trap(dthread_get());
2923 svoboda 362
        break;
363
    default:
2936 svoboda 364
        cons_printf("unknown event type %d\n", ev_type);
2923 svoboda 365
        break;
366
    }
367
}
368
 
2946 svoboda 369
static int debug_loop(void *dt_arg)
2911 svoboda 370
{
371
    int rc;
2923 svoboda 372
    udebug_event_t ev_type;
2911 svoboda 373
    unsigned val0, val1;
2938 svoboda 374
    dthread_t *dt;
2911 svoboda 375
 
2938 svoboda 376
    dt = (dthread_t *)dt_arg;
2911 svoboda 377
 
2938 svoboda 378
    cons_printf("debug_loop(%d)\n", dt->id);
2911 svoboda 379
 
380
    while (!abort_debug) {
381
 
382
        /* Run thread until an event occurs */
2938 svoboda 383
        rc = udebug_go(app_phone, dt->hash, &ev_type, &val0, &val1);
2911 svoboda 384
 
385
        if (ev_type == UDEBUG_EVENT_FINISHED) {
2938 svoboda 386
            cons_printf("thread %u debugging finished\n", dt->id);
2911 svoboda 387
            break;
388
        }
2939 svoboda 389
        if (rc >= 0) debug_event(dt->hash, ev_type, val0);
2911 svoboda 390
    }
391
 
2938 svoboda 392
    cons_printf("debug_loop(%d) exiting\n", dt->id);
2946 svoboda 393
    return 0;
2911 svoboda 394
}
395
 
2937 svoboda 396
void thread_debug_start(unsigned thash)
2911 svoboda 397
{
398
    fid_t fid;
2938 svoboda 399
    dthread_t *dt;
2911 svoboda 400
 
2938 svoboda 401
    dt = dthread_new(thash);
2911 svoboda 402
 
2938 svoboda 403
    fid = fibril_create(debug_loop, (void *)dt);
2911 svoboda 404
    if (fid == 0) {
2936 svoboda 405
        cons_printf("Warning: Failed creating fibril\n");
2911 svoboda 406
    }
2939 svoboda 407
    dt->fid = fid;
408
 
2911 svoboda 409
    fibril_add_ready(fid);
410
}
411
 
3472 svoboda 412
static void debug_task(task_id_t task_id)
2911 svoboda 413
{
414
    int i;
415
    int rc;
416
 
2940 svoboda 417
    thash_t *thash_buffer;
418
    int n_threads;
419
 
420
    rc = get_thread_list(&thash_buffer, &n_threads);
2911 svoboda 421
    if (rc < 0) {
2940 svoboda 422
        cons_printf("Failed to get thread list\n", rc);
2911 svoboda 423
        return;
424
    }
425
 
426
    abort_debug = false;
427
 
2940 svoboda 428
    for (i = 0; i < n_threads; i++) {
429
        thread_debug_start(thash_buffer[i]);
2911 svoboda 430
    }
431
 
432
    while (!quit) {
2936 svoboda 433
        cons_read_line(in_buf, IN_BUF_SIZE);
2911 svoboda 434
        command_split(in_buf);
435
        if (cmd_argc == 0) continue;
436
 
437
        command_run();
438
    }
439
 
2936 svoboda 440
    cons_printf("terminate debugging session...\n");
2911 svoboda 441
    abort_debug = true;
442
    udebug_end(app_phone);
443
    ipc_hangup(app_phone);
444
 
2936 svoboda 445
    cons_printf("done\n");
2911 svoboda 446
    return;
447
}
448
 
449
static void main_init(void)
450
{
451
    next_thread_id = 1;
452
    paused = 0;
2938 svoboda 453
 
454
    list_initialize(&dthreads);
3005 svoboda 455
    breakpoint_init();
2938 svoboda 456
    cwt = NULL;
2911 svoboda 457
}
458
 
3429 svoboda 459
static void print_syntax()
2911 svoboda 460
{
3472 svoboda 461
    printf("Syntax:\n");
462
    printf("\tdebug <executable> [<arg1> [...]]\n");
463
    printf("or\tdebug -t <task_id>\n");
3429 svoboda 464
}
2911 svoboda 465
 
3472 svoboda 466
static int parse_args(int argc, char *argv[])
3429 svoboda 467
{
3472 svoboda 468
    char *arg;
3429 svoboda 469
    char *err_p;
470
 
3472 svoboda 471
    task_id = 0;
472
 
473
    --argc; ++argv;
474
 
475
    while (argc > 0) {
476
        arg = *argv;
477
        if (arg[0] == '-') {
478
            if (arg[1] == 't') {
479
                /* Trace an already running task */
480
                --argc; ++argv;
481
                task_id = strtol(*argv, &err_p, 10);
482
                task_ldr = NULL;
483
                if (*err_p) {
484
                    printf("Task ID syntax error\n");
485
                    print_syntax();
486
                    return -1;
487
                }
488
            } else {
489
                printf("Uknown option '%s'\n", arg[0]);
490
                print_syntax();
491
                return -1;
492
            }
493
        } else {
494
            break;
495
        }
496
 
497
        --argc; ++argv;
498
    }
499
 
500
    if (task_id != 0) {
501
        if (argc == 0) return 0;
502
        printf("Extra arguments\n");
3429 svoboda 503
        print_syntax();
3472 svoboda 504
        return -1;
2911 svoboda 505
    }
3429 svoboda 506
 
3472 svoboda 507
    if (argc < 1) {
508
        printf("Missing argument\n");
509
        print_syntax();
510
        return -1;
511
    }
3429 svoboda 512
 
3472 svoboda 513
    /* Preload the specified program file. */
514
    printf("Spawning '%s' with arguments:\n", *argv);
515
    {
516
        char **cp = argv;
517
        while (*cp) printf("'%s'\n", *cp++);
518
    }
519
    task_ldr = preload_task(*argv, argv, &task_id);
520
 
521
    return 0;
522
}
523
 
524
int main(int argc, char *argv[])
525
{
526
    int rc;
527
 
528
    cons_printf("Breakpoint Debugger\n");
529
 
530
    main_init();
531
 
532
    if (parse_args(argc, argv) < 0)
3429 svoboda 533
        return 1;
3472 svoboda 534
 
535
    rc = connect_task(task_id);
536
    if (rc < 0) {
537
        printf("Failed connecting to task %lld\n", task_id);
538
        return 1;
3429 svoboda 539
    }
540
 
3472 svoboda 541
    cons_printf("Connected to task %lld\n", task_id);
542
 
543
    if (task_ldr != NULL) {
544
        program_run();
545
    }
546
 
547
    debug_task(task_id);
548
 
549
    return 0;
2911 svoboda 550
}
551
 
552
/** @}
553
 */