Subversion Repositories HelenOS

Rev

Rev 3470 | Rev 3566 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

  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 trace
  30.  * @{
  31.  */
  32. /** @file
  33.  */
  34.  
  35. #include <stdio.h>
  36. #include <stdlib.h>
  37. #include <unistd.h>
  38. #include <ipc/ipc.h>
  39. #include <fibril.h>
  40. #include <errno.h>
  41. #include <udebug.h>
  42. #include <async.h>
  43. #include <task.h>
  44. #include <loader/loader.h>
  45.  
  46. #include <libc.h>
  47.  
  48. // Temporary: service and method names
  49. #include "proto.h"
  50. #include <ipc/services.h>
  51. #include "../../srv/vfs/vfs.h"
  52. #include "../../srv/console/console.h"
  53.  
  54. #include "syscalls.h"
  55. #include "ipcp.h"
  56. #include "errors.h"
  57. #include "trace.h"
  58.  
  59. #define THBUF_SIZE 64
  60. uintptr_t thread_hash_buf[THBUF_SIZE];
  61. int n_threads;
  62.  
  63. int next_thread_id;
  64.  
  65. int phoneid;
  66. int abort_trace;
  67.  
  68. uintptr_t thash;
  69. volatile int paused;
  70.  
  71. void thread_trace_start(uintptr_t thread_hash);
  72.  
  73. static proto_t *proto_console;
  74. static task_id_t task_id;
  75. static loader_t *task_ldr;
  76.  
  77. /** Combination of events/data to print. */
  78. display_mask_t display_mask;
  79.  
  80. static int program_run_fibril(void *arg);
  81.  
  82. static void program_run(void)
  83. {
  84.     fid_t fid;
  85.  
  86.     fid = fibril_create(program_run_fibril, NULL);
  87.     if (fid == 0) {
  88.         printf("Error creating fibril\n");
  89.         exit(1);
  90.     }
  91.  
  92.     fibril_add_ready(fid);
  93. }
  94.  
  95. static int program_run_fibril(void *arg)
  96. {
  97.     int rc;
  98.  
  99.     /*
  100.      * This must be done in background as it will block until
  101.      * we let the task reply to this call.
  102.      */
  103.     rc = loader_run(task_ldr);
  104.     if (rc != 0) {
  105.         printf("Error running program\n");
  106.         exit(1);
  107.     }
  108.  
  109.     free(task_ldr);
  110.     task_ldr = NULL;
  111.  
  112.     printf("program_run_fibril exiting\n");
  113.     return 0;
  114. }
  115.  
  116.  
  117. static int connect_task(task_id_t task_id)
  118. {
  119.     int rc;
  120.  
  121.     rc = ipc_connect_kbox(task_id);
  122.  
  123.     if (rc == ENOTSUP) {
  124.         printf("You do not have userspace debugging support "
  125.             "compiled in the kernel.\n");
  126.         printf("Compile kernel with 'Support for userspace debuggers' "
  127.             "(CONFIG_UDEBUG) enabled.\n");
  128.         return rc;
  129.     }
  130.  
  131.     if (rc < 0) {
  132.         printf("Error connecting\n");
  133.         printf("ipc_connect_task(%lld) -> %d ", task_id, rc);
  134.         return rc;
  135.     }
  136.  
  137.     phoneid = rc;
  138.  
  139.     rc = udebug_begin(phoneid);
  140.     if (rc < 0) {
  141.         printf("udebug_begin() -> %d\n", rc);
  142.         return rc;
  143.     }
  144.  
  145.     rc = udebug_set_evmask(phoneid, UDEBUG_EM_ALL);
  146.     if (rc < 0) {
  147.         printf("udebug_set_evmask(0x%x) -> %d\n ", UDEBUG_EM_ALL, rc);
  148.         return rc;
  149.     }
  150.  
  151.     return 0;
  152. }
  153.  
  154. static int get_thread_list(void)
  155. {
  156.     int rc;
  157.     size_t tb_copied;
  158.     size_t tb_needed;
  159.     int i;
  160.  
  161.     rc = udebug_thread_read(phoneid, thread_hash_buf,
  162.         THBUF_SIZE*sizeof(unsigned), &tb_copied, &tb_needed);
  163.     if (rc < 0) {
  164.         printf("udebug_thread_read() -> %d\n", rc);
  165.         return rc;
  166.     }
  167.  
  168.     n_threads = tb_copied / sizeof(uintptr_t);
  169.  
  170.     printf("Threads:");
  171.     for (i = 0; i < n_threads; i++) {
  172.         printf(" [%d] (hash 0x%lx)", 1+i, thread_hash_buf[i]);
  173.     }
  174.     printf("\ntotal of %u threads\n", tb_needed / sizeof(uintptr_t));
  175.  
  176.     return 0;
  177. }
  178.  
  179. void val_print(sysarg_t val, val_type_t v_type)
  180. {
  181.     switch (v_type) {
  182.     case V_VOID:
  183.         printf("<void>");
  184.         break;
  185.  
  186.     case V_INTEGER:
  187.         printf("%ld", val);
  188.         break;
  189.  
  190.     case V_HASH:
  191.     case V_PTR:
  192.         printf("0x%08lx", val);
  193.         break;
  194.  
  195.     case V_ERRNO:
  196.         if (val >= -15 && val <= 0) {
  197.             printf("%ld %s (%s)", val,
  198.                 err_desc[-val].name,
  199.                 err_desc[-val].desc);
  200.         } else {
  201.             printf("%ld", val);
  202.         }
  203.         break;
  204.     case V_INT_ERRNO:
  205.         if (val >= -15 && val < 0) {
  206.             printf("%ld %s (%s)", val,
  207.                 err_desc[-val].name,
  208.                 err_desc[-val].desc);
  209.         } else {
  210.             printf("%ld", val);
  211.         }
  212.         break;
  213.  
  214.     case V_CHAR:
  215.         if (val >= 0x20 && val < 0x7f) {
  216.             printf("'%c'", val);
  217.         } else {
  218.             switch (val) {
  219.             case '\a': printf("'\\a'"); break;
  220.             case '\b': printf("'\\b'"); break;
  221.             case '\n': printf("'\\n'"); break;
  222.             case '\r': printf("'\\r'"); break;
  223.             case '\t': printf("'\\t'"); break;
  224.             case '\\': printf("'\\\\'"); break;
  225.             default: printf("'\\x%02lX'", val); break;
  226.             }
  227.         }
  228.         break;
  229.     }
  230. }
  231.  
  232.  
  233. static void print_sc_retval(sysarg_t retval, val_type_t val_type)
  234. {
  235.     printf(" -> ");
  236.     val_print(retval, val_type);
  237.     putchar('\n');
  238. }
  239.  
  240. static void print_sc_args(sysarg_t *sc_args, int n)
  241. {
  242.     int i;
  243.  
  244.     putchar('(');
  245.     if (n > 0) printf("%ld", sc_args[0]);
  246.     for (i = 1; i < n; i++) {
  247.         printf(", %ld", sc_args[i]);
  248.     }
  249.     putchar(')');
  250. }
  251.  
  252. static void sc_ipc_call_async_fast(sysarg_t *sc_args, sysarg_t sc_rc)
  253. {
  254.     ipc_call_t call;
  255.     ipcarg_t phoneid;
  256.    
  257.     if (sc_rc == IPC_CALLRET_FATAL || sc_rc == IPC_CALLRET_TEMPORARY)
  258.         return;
  259.  
  260.     phoneid = sc_args[0];
  261.  
  262.     IPC_SET_METHOD(call, sc_args[1]);
  263.     IPC_SET_ARG1(call, sc_args[2]);
  264.     IPC_SET_ARG2(call, sc_args[3]);
  265.     IPC_SET_ARG3(call, sc_args[4]);
  266.     IPC_SET_ARG4(call, sc_args[5]);
  267.     IPC_SET_ARG5(call, 0);
  268.  
  269.     ipcp_call_out(phoneid, &call, sc_rc);
  270. }
  271.  
  272. static void sc_ipc_call_async_slow(sysarg_t *sc_args, sysarg_t sc_rc)
  273. {
  274.     ipc_call_t call;
  275.     int rc;
  276.  
  277.     if (sc_rc == IPC_CALLRET_FATAL || sc_rc == IPC_CALLRET_TEMPORARY)
  278.         return;
  279.  
  280.     memset(&call, 0, sizeof(call));
  281.     rc = udebug_mem_read(phoneid, &call.args, sc_args[1], sizeof(call.args));
  282.  
  283.     if (rc >= 0) {
  284.         ipcp_call_out(sc_args[0], &call, sc_rc);
  285.     }
  286. }
  287.  
  288. static void sc_ipc_call_sync_fast(sysarg_t *sc_args)
  289. {
  290.     ipc_call_t question, reply;
  291.     int rc;
  292.     int phoneidx;
  293.  
  294. //  printf("sc_ipc_call_sync_fast()\n");
  295.     phoneidx = sc_args[0];
  296.  
  297.     IPC_SET_METHOD(question, sc_args[1]);
  298.     IPC_SET_ARG1(question, sc_args[2]);
  299.     IPC_SET_ARG2(question, sc_args[3]);
  300.     IPC_SET_ARG3(question, sc_args[4]);
  301.     IPC_SET_ARG4(question, 0);
  302.     IPC_SET_ARG5(question, 0);
  303.  
  304. //  printf("memset\n");
  305.     memset(&reply, 0, sizeof(reply));
  306. //  printf("udebug_mem_read(phone=%d, buffer_ptr=%u, src_addr=%d, n=%d\n",
  307. //      phoneid, &reply.args, sc_args[5], sizeof(reply.args));
  308.     rc = udebug_mem_read(phoneid, &reply.args, sc_args[5], sizeof(reply.args));
  309. //  printf("dmr->%d\n", rc);
  310.     if (rc < 0) return;
  311.  
  312. //  printf("call ipc_call_sync\n");
  313.     ipcp_call_sync(phoneidx, &question, &reply);
  314. }
  315.  
  316. static void sc_ipc_call_sync_slow(sysarg_t *sc_args)
  317. {
  318.     ipc_call_t question, reply;
  319.     int rc;
  320.  
  321.     memset(&question, 0, sizeof(question));
  322.     rc = udebug_mem_read(phoneid, &question.args, sc_args[1], sizeof(question.args));
  323.     printf("dmr->%d\n", rc);
  324.     if (rc < 0) return;
  325.  
  326.     memset(&reply, 0, sizeof(reply));
  327.     rc = udebug_mem_read(phoneid, &reply.args, sc_args[2], sizeof(reply.args));
  328.     printf("dmr->%d\n", rc);
  329.     if (rc < 0) return;
  330.  
  331.     ipcp_call_sync(sc_args[0], &question, &reply);
  332. }
  333.  
  334. static void sc_ipc_wait(sysarg_t *sc_args, int sc_rc)
  335. {
  336.     ipc_call_t call;
  337.     int rc;
  338.  
  339.     if (sc_rc == 0) return;
  340.  
  341.     memset(&call, 0, sizeof(call));
  342.     rc = udebug_mem_read(phoneid, &call, sc_args[0], sizeof(call));
  343. //  printf("udebug_mem_read(phone %d, dest %d, app-mem src %d, size %d -> %d\n",
  344. //      phoneid, (int)&call, sc_args[0], sizeof(call), rc);
  345.  
  346.     if (rc >= 0) {
  347.         ipcp_call_in(&call, sc_rc);
  348.     }
  349. }
  350.  
  351. static void event_syscall_b(unsigned thread_id, uintptr_t thread_hash,
  352.     unsigned sc_id, sysarg_t sc_rc)
  353. {
  354.     sysarg_t sc_args[6];
  355.     int rc;
  356.  
  357.     /* Read syscall arguments */
  358.     rc = udebug_args_read(phoneid, thread_hash, sc_args);
  359.  
  360.     async_serialize_start();
  361.  
  362. //  printf("[%d] ", thread_id);
  363.  
  364.     if (rc < 0) {
  365.         printf("error\n");
  366.         async_serialize_end();
  367.         return;
  368.     }
  369.  
  370.     if ((display_mask & DM_SYSCALL) != 0) {
  371.         /* Print syscall name and arguments */
  372.         printf("%s", syscall_desc[sc_id].name);
  373.         print_sc_args(sc_args, syscall_desc[sc_id].n_args);
  374.     }
  375.  
  376.     async_serialize_end();
  377. }
  378.  
  379. static void event_syscall_e(unsigned thread_id, uintptr_t thread_hash,
  380.     unsigned sc_id, sysarg_t sc_rc)
  381. {
  382.     sysarg_t sc_args[6];
  383.     int rv_type;
  384.     int rc;
  385.  
  386.     /* Read syscall arguments */
  387.     rc = udebug_args_read(phoneid, thread_hash, sc_args);
  388.  
  389.     async_serialize_start();
  390.  
  391. //  printf("[%d] ", thread_id);
  392.  
  393.     if (rc < 0) {
  394.         printf("error\n");
  395.         async_serialize_end();
  396.         return;
  397.     }
  398.  
  399.     if ((display_mask & DM_SYSCALL) != 0) {
  400.         /* Print syscall return value */
  401.         rv_type = syscall_desc[sc_id].rv_type;
  402.         print_sc_retval(sc_rc, rv_type);
  403.     }
  404.  
  405.     switch (sc_id) {
  406.     case SYS_IPC_CALL_ASYNC_FAST:
  407.         sc_ipc_call_async_fast(sc_args, sc_rc);
  408.         break;
  409.     case SYS_IPC_CALL_ASYNC_SLOW:
  410.         sc_ipc_call_async_slow(sc_args, sc_rc);
  411.         break;
  412.     case SYS_IPC_CALL_SYNC_FAST:
  413.         sc_ipc_call_sync_fast(sc_args);
  414.         break;
  415.     case SYS_IPC_CALL_SYNC_SLOW:
  416.         sc_ipc_call_sync_slow(sc_args);
  417.         break;
  418.     case SYS_IPC_WAIT:
  419.         sc_ipc_wait(sc_args, sc_rc);
  420.         break;
  421.     default:
  422.         break;
  423.     }
  424.  
  425.     async_serialize_end();
  426. }
  427.  
  428. static void event_thread_b(uintptr_t hash)
  429. {
  430.     async_serialize_start();
  431.     printf("New thread, hash 0x%lx\n", hash);
  432.     async_serialize_end();
  433.  
  434.     thread_trace_start(hash);
  435. }
  436.  
  437. static int trace_loop(void *thread_hash_arg)
  438. {
  439.     int rc;
  440.     unsigned ev_type;
  441.     uintptr_t thread_hash;
  442.     unsigned thread_id;
  443.     sysarg_t val0, val1;
  444.  
  445.     thread_hash = (uintptr_t)thread_hash_arg;
  446.     thread_id = next_thread_id++;
  447.  
  448.     printf("Start tracing thread [%d] (hash 0x%lx)\n", thread_id, thread_hash);
  449.  
  450.     while (!abort_trace) {
  451.  
  452.         /* Run thread until an event occurs */
  453.         rc = udebug_go(phoneid, thread_hash,
  454.             &ev_type, &val0, &val1);
  455.  
  456. //      printf("rc = %d, ev_type=%d\n", rc, ev_type);
  457.         if (ev_type == UDEBUG_EVENT_FINISHED) {
  458.             /* Done tracing this thread */
  459.             break;
  460.         }
  461.  
  462.         if (rc >= 0) {
  463.             switch (ev_type) {
  464.             case UDEBUG_EVENT_SYSCALL_B:
  465.                 event_syscall_b(thread_id, thread_hash, val0, (int)val1);
  466.                 break;
  467.             case UDEBUG_EVENT_SYSCALL_E:
  468.                 event_syscall_e(thread_id, thread_hash, val0, (int)val1);
  469.                 break;
  470.             case UDEBUG_EVENT_STOP:
  471.                 printf("Stop event\n");
  472.                 printf("Waiting for resume\n");
  473.                 while (paused) {
  474.                     usleep(1000000);
  475.                     fibril_yield();
  476.                     printf(".");
  477.                 }
  478.                 printf("Resumed\n");
  479.                 break;
  480.             case UDEBUG_EVENT_THREAD_B:
  481.                 event_thread_b(val0);
  482.                 break;
  483.             case UDEBUG_EVENT_THREAD_E:
  484.                 printf("Thread 0x%lx exited\n", val0);
  485.                 abort_trace = 1;
  486.                 break;
  487.             default:
  488.                 printf("Unknown event type %d\n", ev_type);
  489.                 break;
  490.             }
  491.         }
  492.  
  493.     }
  494.  
  495.     printf("Finished tracing thread [%d]\n", thread_id);
  496.     return 0;
  497. }
  498.  
  499. void thread_trace_start(uintptr_t thread_hash)
  500. {
  501.     fid_t fid;
  502.  
  503.     thash = thread_hash;
  504.  
  505.     fid = fibril_create(trace_loop, (void *)thread_hash);
  506.     if (fid == 0) {
  507.         printf("Warning: Failed creating fibril\n");
  508.     }
  509.     fibril_add_ready(fid);
  510. }
  511.  
  512. static loader_t *preload_task(const char *path, char *const argv[],
  513.     task_id_t *task_id)
  514. {
  515.     loader_t *ldr;
  516.     int rc;
  517.  
  518.     /* Spawn a program loader */   
  519.     ldr = loader_spawn();
  520.     if (ldr == NULL)
  521.         return 0;
  522.  
  523.     /* Get task ID. */
  524.     rc = loader_get_task_id(ldr, task_id);
  525.     if (rc != EOK)
  526.         goto error;
  527.  
  528.     /* Send program pathname */
  529.     rc = loader_set_pathname(ldr, path);
  530.     if (rc != EOK)
  531.         goto error;
  532.  
  533.     /* Send arguments */
  534.     rc = loader_set_args(ldr, argv);
  535.     if (rc != EOK)
  536.         goto error;
  537.  
  538.     /* Load the program. */
  539.     rc = loader_load_program(ldr);
  540.     if (rc != EOK)
  541.         goto error;
  542.  
  543.     /* Success */
  544.     return ldr;
  545.  
  546.     /* Error exit */
  547. error:
  548.     loader_abort(ldr);
  549.     free(ldr);
  550.     return NULL;
  551. }
  552.  
  553. static void trace_task(task_id_t task_id)
  554. {
  555.     int i;
  556.     int rc;
  557.     int c;
  558.  
  559.     ipcp_init();
  560.  
  561.     /*
  562.      * User apps now typically have console on phone 3.
  563.      * (Phones 1 and 2 are used by the loader).
  564.      */
  565.     ipcp_connection_set(3, 0, proto_console);
  566.  
  567.     rc = get_thread_list();
  568.     if (rc < 0) {
  569.         printf("Failed to get thread list (error %d)\n", rc);
  570.         return;
  571.     }
  572.  
  573.     abort_trace = 0;
  574.  
  575.     for (i = 0; i < n_threads; i++) {
  576.         thread_trace_start(thread_hash_buf[i]);
  577.     }
  578.  
  579.     while(1) {
  580.         c = getchar();
  581.         if (c == 'q') break;
  582.         if (c == 'p') {
  583.             paused = 1;
  584.             rc = udebug_stop(phoneid, thash);
  585.             printf("stop -> %d\n", rc);
  586.         }
  587.         if (c == 'r') {
  588.             paused = 0;
  589.         }
  590.     }
  591.  
  592.     printf("\nTerminate debugging session...\n");
  593.     abort_trace = 1;
  594.     udebug_end(phoneid);
  595.     ipc_hangup(phoneid);
  596.  
  597.     ipcp_cleanup();
  598.  
  599.     printf("Done\n");
  600.     return;
  601. }
  602.  
  603. static void main_init(void)
  604. {
  605.     proto_t *p;
  606.     oper_t *o;
  607.  
  608.     val_type_t arg_def[OPER_MAX_ARGS] = {
  609.         V_INTEGER,
  610.         V_INTEGER,
  611.         V_INTEGER,
  612.         V_INTEGER,
  613.         V_INTEGER      
  614.     };
  615.  
  616.     val_type_t resp_def[OPER_MAX_ARGS] = {
  617.         V_INTEGER,
  618.         V_INTEGER,
  619.         V_INTEGER,
  620.         V_INTEGER,
  621.         V_INTEGER      
  622.     };
  623.  
  624.     next_thread_id = 1;
  625.     paused = 0;
  626.  
  627.     proto_init();
  628.  
  629.     p = proto_new("vfs");
  630.     o = oper_new("read", 1, arg_def, V_ERRNO, 1, resp_def);
  631.     proto_add_oper(p, VFS_READ, o);
  632.     o = oper_new("write", 1, arg_def, V_ERRNO, 1, resp_def);
  633.     proto_add_oper(p, VFS_WRITE, o);
  634.     o = oper_new("truncate", 5, arg_def, V_ERRNO, 0, resp_def);
  635.     proto_add_oper(p, VFS_TRUNCATE, o);
  636.     o = oper_new("mount", 2, arg_def, V_ERRNO, 0, resp_def);
  637.     proto_add_oper(p, VFS_MOUNT, o);
  638. /*  o = oper_new("unmount", 0, arg_def);
  639.     proto_add_oper(p, VFS_UNMOUNT, o);*/
  640.  
  641.     proto_register(SERVICE_VFS, p);
  642.  
  643.     p = proto_new("console");
  644.     resp_def[0] = V_CHAR;
  645.     o = oper_new("getchar", 0, arg_def, V_INTEGER, 2, resp_def);
  646.     proto_add_oper(p, CONSOLE_GETCHAR, o);
  647.  
  648.     arg_def[0] = V_CHAR;
  649.     o = oper_new("putchar", 1, arg_def, V_VOID, 0, resp_def);
  650.     proto_add_oper(p, CONSOLE_PUTCHAR, o);
  651.     o = oper_new("clear", 0, arg_def, V_VOID, 0, resp_def);
  652.     proto_add_oper(p, CONSOLE_CLEAR, o);
  653.  
  654.     arg_def[0] = V_INTEGER; arg_def[1] = V_INTEGER;
  655.     o = oper_new("goto", 2, arg_def, V_VOID, 0, resp_def);
  656.     proto_add_oper(p, CONSOLE_GOTO, o);
  657.  
  658.     resp_def[0] = V_INTEGER; resp_def[1] = V_INTEGER;
  659.     o = oper_new("getsize", 0, arg_def, V_INTEGER, 2, resp_def);
  660.     proto_add_oper(p, CONSOLE_GETSIZE, o);
  661.     o = oper_new("flush", 0, arg_def, V_VOID, 0, resp_def);
  662.     proto_add_oper(p, CONSOLE_FLUSH, o);
  663.  
  664.     arg_def[0] = V_INTEGER; arg_def[1] = V_INTEGER;
  665.     o = oper_new("set_style", 2, arg_def, V_INTEGER, 0, resp_def);
  666.     proto_add_oper(p, CONSOLE_SET_STYLE, o);
  667.     o = oper_new("cursor_visibility", 1, arg_def, V_VOID, 0, resp_def);
  668.     proto_add_oper(p, CONSOLE_CURSOR_VISIBILITY, o);
  669.  
  670.     proto_console = p;
  671.     proto_register(SERVICE_CONSOLE, p);
  672. }
  673.  
  674. static void print_syntax()
  675. {
  676.     printf("Syntax:\n");
  677.     printf("\ttrace [+<events>] <executable> [<arg1> [...]]\n");
  678.     printf("or\ttrace [+<events>] -t <task_id>\n");
  679.     printf("Events: (default is +tp)\n");
  680.     printf("\n");
  681.     printf("\tt ... Thread creation and termination\n");
  682.     printf("\ts ... System calls\n");
  683.     printf("\ti ... Low-level IPC\n");
  684.     printf("\tp ... Protocol level\n");
  685.     printf("\n");
  686.     printf("Examples:\n");
  687.     printf("\ttrace +s /app/tetris\n");
  688.     printf("\ttrace +tsip -t 12\n");
  689. }
  690.  
  691. static display_mask_t parse_display_mask(char *text)
  692. {
  693.     display_mask_t dm;
  694.     char *c;
  695.  
  696.     c = text;
  697.  
  698.     while (*c) {
  699.         switch (*c) {
  700.         case 't': dm = dm | DM_THREAD; break;
  701.         case 's': dm = dm | DM_SYSCALL; break;
  702.         case 'i': dm = dm | DM_IPC; break;
  703.         case 'p': dm = dm | DM_SYSTEM | DM_USER; break;
  704.         default:
  705.             printf("Unexpected event type '%c'\n", *c);
  706.             exit(1);
  707.         }
  708.  
  709.         ++c;
  710.     }
  711.  
  712.     return dm;
  713. }
  714.  
  715. static int parse_args(int argc, char *argv[])
  716. {
  717.     char *arg;
  718.     char *err_p;
  719.  
  720.     task_id = 0;
  721.  
  722.     --argc; ++argv;
  723.  
  724.     while (argc > 0) {
  725.         arg = *argv;
  726.         if (arg[0] == '+') {
  727.             display_mask = parse_display_mask(&arg[1]);
  728.         } else if (arg[0] == '-') {
  729.             if (arg[1] == 't') {
  730.                 /* Trace an already running task */
  731.                 --argc; ++argv;
  732.                 task_id = strtol(*argv, &err_p, 10);
  733.                 task_ldr = NULL;
  734.                 if (*err_p) {
  735.                     printf("Task ID syntax error\n");
  736.                     print_syntax();
  737.                     return -1;
  738.                 }
  739.             } else {
  740.                 printf("Uknown option '%s'\n", arg[0]);
  741.                 print_syntax();
  742.                 return -1;
  743.             }
  744.         } else {
  745.             break;
  746.         }
  747.  
  748.         --argc; ++argv;
  749.     }
  750.  
  751.     if (task_id != 0) {
  752.         if (argc == 0) return 0;
  753.         printf("Extra arguments\n");
  754.         print_syntax();
  755.         return -1;
  756.     }
  757.  
  758.     if (argc < 1) {
  759.         printf("Missing argument\n");
  760.         print_syntax();
  761.         return -1;
  762.     }
  763.  
  764.     /* Preload the specified program file. */
  765.     printf("Spawning '%s' with arguments:\n", *argv);
  766.     {
  767.         char **cp = argv;
  768.         while (*cp) printf("'%s'\n", *cp++);
  769.     }
  770.     task_ldr = preload_task(*argv, argv, &task_id);
  771.  
  772.     return 0;
  773. }
  774.  
  775. int main(int argc, char *argv[])
  776. {
  777.     int rc;
  778.  
  779.     printf("System Call / IPC Tracer\n");
  780.  
  781.     display_mask = DM_THREAD | DM_SYSTEM | DM_USER;
  782.  
  783.     if (parse_args(argc, argv) < 0)
  784.         return 1;
  785.  
  786.     main_init();
  787.  
  788.     rc = connect_task(task_id);
  789.     if (rc < 0) {
  790.         printf("Failed connecting to task %lld\n", task_id);
  791.         return 1;
  792.     }
  793.  
  794.     printf("Connected to task %lld\n", task_id);
  795.  
  796.     if (task_ldr != NULL) {
  797.         program_run();
  798.     }
  799.  
  800.     trace_task(task_id);
  801.  
  802.     return 0;
  803. }
  804.  
  805. /** @}
  806.  */
  807.