[258] | 1 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 2 | // File : exc_handler.c |
---|
| 3 | // Date : 01/04/2012 |
---|
| 4 | // Author : alain greiner and joel porquet |
---|
| 5 | // Copyright (c) UPMC-LIP6 |
---|
| 6 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 7 | // The exc_handler.c and exc_handler.h files are part of the GIET nano-kernel. |
---|
| 8 | // They contains the exception handler code. |
---|
| 9 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 10 | |
---|
| 11 | #include <exc_handler.h> |
---|
| 12 | #include <ctx_handler.h> |
---|
| 13 | #include <sys_handler.h> |
---|
| 14 | #include <tty_driver.h> |
---|
| 15 | #include <utils.h> |
---|
| 16 | |
---|
| 17 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 18 | // Prototypes of exception handlers. |
---|
| 19 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 20 | |
---|
| 21 | static void _cause_ukn(); |
---|
| 22 | static void _cause_adel(); |
---|
| 23 | static void _cause_ades(); |
---|
| 24 | static void _cause_ibe(); |
---|
| 25 | static void _cause_dbe(); |
---|
| 26 | static void _cause_bp(); |
---|
| 27 | static void _cause_ri(); |
---|
| 28 | static void _cause_cpu(); |
---|
| 29 | static void _cause_ovf(); |
---|
| 30 | |
---|
| 31 | extern void _int_handler(); |
---|
| 32 | extern void _sys_handler(); |
---|
| 33 | |
---|
| 34 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 35 | // Initialize the exception vector indexed by the CR XCODE field |
---|
| 36 | /////////////////////////////////////////////////////////////////////////////////// |
---|
| 37 | const _exc_func_t _cause_vector[16] = |
---|
| 38 | { |
---|
| 39 | &_int_handler, /* 0000 : external interrupt */ |
---|
| 40 | &_cause_ukn, /* 0001 : undefined exception */ |
---|
| 41 | &_cause_ukn, /* 0010 : undefined exception */ |
---|
| 42 | &_cause_ukn, /* 0011 : undefined exception */ |
---|
| 43 | &_cause_adel, /* 0100 : illegal address read exception */ |
---|
| 44 | &_cause_ades, /* 0101 : illegal address write exception */ |
---|
| 45 | &_cause_ibe, /* 0110 : instruction bus error exception */ |
---|
| 46 | &_cause_dbe, /* 0111 : data bus error exception */ |
---|
| 47 | &_sys_handler, /* 1000 : system call */ |
---|
| 48 | &_cause_bp, /* 1001 : breakpoint exception */ |
---|
| 49 | &_cause_ri, /* 1010 : illegal codop exception */ |
---|
| 50 | &_cause_cpu, /* 1011 : illegal coprocessor access */ |
---|
| 51 | &_cause_ovf, /* 1100 : arithmetic overflow exception */ |
---|
| 52 | &_cause_ukn, /* 1101 : undefined exception */ |
---|
| 53 | &_cause_ukn, /* 1110 : undefined exception */ |
---|
| 54 | &_cause_ukn, /* 1111 : undefined exception */ |
---|
| 55 | }; |
---|
| 56 | |
---|
| 57 | static const char * exc_type[] = |
---|
| 58 | { |
---|
| 59 | "strange unknown cause", |
---|
| 60 | "illegal read address", |
---|
| 61 | "illegal write address", |
---|
| 62 | "inst bus error", |
---|
| 63 | "data bus error", |
---|
| 64 | "breakpoint", |
---|
| 65 | "reserved instruction", |
---|
| 66 | "illegal coproc access", |
---|
| 67 | "arithmetic overflow", |
---|
| 68 | }; |
---|
| 69 | |
---|
[294] | 70 | /////////////////////////////////////////////// |
---|
| 71 | static void _display_cause( unsigned int type ) |
---|
[258] | 72 | { |
---|
[294] | 73 | unsigned int gpid = _get_procid(); |
---|
| 74 | unsigned int cluster_xy = gpid / NB_PROCS_MAX; |
---|
| 75 | unsigned int lpid = gpid % NB_PROCS_MAX; |
---|
| 76 | unsigned int x = cluster_xy >> Y_WIDTH; |
---|
| 77 | unsigned int y = cluster_xy & ((1<<Y_WIDTH)-1); |
---|
| 78 | unsigned int task = _get_context_slot(CTX_LTID_ID); |
---|
[258] | 79 | |
---|
[294] | 80 | _printf("\n[GIET] Exception for task %d on processor[%d,%d,%d] at cycle %d\n" |
---|
| 81 | " - type : %s\n" |
---|
| 82 | " - EPC : %x\n" |
---|
| 83 | " - BVAR : %x\n" |
---|
| 84 | "...Task desactivated\n", |
---|
| 85 | task, x, y, lpid, _get_proctime(), |
---|
| 86 | exc_type[type], _get_epc(), _get_bvar() ); |
---|
| 87 | |
---|
[258] | 88 | // goes to sleeping state |
---|
| 89 | _set_context_slot(CTX_RUN_ID, 0); |
---|
| 90 | |
---|
| 91 | // deschedule |
---|
| 92 | _ctx_switch(); |
---|
| 93 | } |
---|
| 94 | |
---|
| 95 | static void _cause_ukn() { _display_cause(0); } |
---|
| 96 | static void _cause_adel() { _display_cause(1); } |
---|
| 97 | static void _cause_ades() { _display_cause(2); } |
---|
| 98 | static void _cause_ibe() { _display_cause(3); } |
---|
| 99 | static void _cause_dbe() { _display_cause(4); } |
---|
| 100 | static void _cause_bp() { _display_cause(5); } |
---|
| 101 | static void _cause_ri() { _display_cause(6); } |
---|
| 102 | static void _cause_cpu() { _display_cause(7); } |
---|
| 103 | static void _cause_ovf() { _display_cause(8); } |
---|
| 104 | |
---|
| 105 | // Local Variables: |
---|
| 106 | // tab-width: 4 |
---|
| 107 | // c-basic-offset: 4 |
---|
| 108 | // c-file-offsets:((innamespace . 0)(inline-open . 0)) |
---|
| 109 | // indent-tabs-mode: nil |
---|
| 110 | // End: |
---|
| 111 | // vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4 |
---|
| 112 | |
---|