[519] | 1 | /////////////////////////////////////////////////////////////////////////////// |
---|
[258] | 2 | // File : sys_handler.h |
---|
| 3 | // Date : 01/04/2012 |
---|
[519] | 4 | // Author : alain greiner |
---|
[258] | 5 | // Copyright (c) UPMC-LIP6 |
---|
[519] | 6 | /////////////////////////////////////////////////////////////////////////////// |
---|
| 7 | // The sys_handler.c and sys_handler.h files are part of the GIET-VM kernel. |
---|
[440] | 8 | // It define the syscall_vector[] (at the end of this file), as well as the |
---|
| 9 | // associated syscall handlers. |
---|
[519] | 10 | /////////////////////////////////////////////////////////////////////////////// |
---|
[258] | 11 | |
---|
| 12 | #ifndef _SYS_HANDLER_H |
---|
| 13 | #define _SYS_HANDLER_H |
---|
| 14 | |
---|
[459] | 15 | #include "giet_config.h" |
---|
[494] | 16 | #include "kernel_locks.h" |
---|
[519] | 17 | #include "stdio.h" |
---|
[440] | 18 | |
---|
[505] | 19 | /////////////////////////////////////////////////////////////////////////////// |
---|
[709] | 20 | // Define the possible command values for the giet_pthread_control() syscall |
---|
[714] | 21 | // These define must be synchronized with values in the stdio.c file |
---|
[709] | 22 | /////////////////////////////////////////////////////////////////////////////// |
---|
| 23 | |
---|
| 24 | #define THREAD_CMD_PAUSE 0 |
---|
| 25 | #define THREAD_CMD_RESUME 1 |
---|
| 26 | #define THREAD_CMD_CONTEXT 2 |
---|
| 27 | |
---|
| 28 | /////////////////////////////////////////////////////////////////////////////// |
---|
[714] | 29 | // Define the error codes for the syscall handlers |
---|
| 30 | // These define must be synchronized with values in the stdio.c file |
---|
[709] | 31 | /////////////////////////////////////////////////////////////////////////////// |
---|
| 32 | |
---|
[714] | 33 | #define SYSCALL_OK ( 0 ) |
---|
| 34 | #define SYSCALL_VSPACE_NOT_FOUND (-1 ) |
---|
| 35 | #define SYSCALL_THREAD_NOT_FOUND (-2 ) |
---|
| 36 | #define SYSCALL_NOT_IN_SAME_VSPACE (-3 ) |
---|
| 37 | #define SYSCALL_UNCOHERENT_THREAD_CONTEXT (-4 ) |
---|
| 38 | #define SYSCALL_ILLEGAL_THREAD_COMMAND_TYPE (-5 ) |
---|
| 39 | #define SYSCALL_CANNOT_LOAD_DATA_SEGMENT (-6 ) |
---|
| 40 | #define SYSCALL_THREAD_ALREADY_ACTIVE (-7 ) |
---|
| 41 | #define SYSCALL_MAIN_NOT_FOUND (-8 ) |
---|
| 42 | #define SYSCALL_APPLI_CANNOT_BE_KILLED (-9 ) |
---|
| 43 | #define SYSCALL_PTHREAD_ARGUMENT_NOT_SUPPORTED (-10) |
---|
| 44 | #define SYSCALL_ILLEGAL_CLUSTER_COORDINATES (-11) |
---|
| 45 | #define SYSCALL_VSEG_NOT_FOUND (-12) |
---|
| 46 | #define SYSCALL_UNDEFINED_SYSTEM_CALL (-13) |
---|
| 47 | #define SYSCALL_COPROCESSOR_NOT_FOUND (-14) |
---|
| 48 | #define SYSCALL_COPROCESSOR_ILLEGAL_MODE (-15) |
---|
| 49 | #define SYSCALL_COPROCESSOR_NON_ALLOCATED (-16) |
---|
| 50 | #define SYSCALL_CHANNEL_ALREADY_ALLOCATED (-17) |
---|
| 51 | #define SYSCALL_NO_CHANNEL_AVAILABLE (-18) |
---|
| 52 | #define SYSCALL_CHANNEL_NON_ALLOCATED (-19) |
---|
[725] | 53 | #define SYSCALL_ILLEGAL_ARGUMENT (-20) |
---|
[714] | 54 | #define SYSCALL_OUT_OF_KERNEL_HEAP_MEMORY (-21) |
---|
| 55 | #define SYSCALL_ADDRESS_NON_ALIGNED (-22) |
---|
| 56 | #define SYSCALL_ADDRESS_NON_USER_ACCESSIBLE (-23) |
---|
| 57 | #define SYSCALL_MISSING_INITIALISATION (-24) |
---|
[709] | 58 | |
---|
| 59 | /////////////////////////////////////////////////////////////////////////////// |
---|
[258] | 60 | // Syscall Vector Table (indexed by syscall index) |
---|
[505] | 61 | /////////////////////////////////////////////////////////////////////////////// |
---|
[258] | 62 | |
---|
| 63 | extern const void * _syscall_vector[64]; |
---|
| 64 | |
---|
[505] | 65 | /////////////////////////////////////////////////////////////////////////////// |
---|
[725] | 66 | // This structure is used by the CMA component to move a stream of images |
---|
| 67 | // from a set of user buffers to the frame buffer in kernel space. |
---|
[459] | 68 | // It contains two chbuf arrays: |
---|
[725] | 69 | // - The SRC chbuf contains <nbufs> buffer descriptors, in user space, |
---|
| 70 | // that can be distributed (one buffer per cluster) or not. |
---|
| 71 | // - The DST cbuf contains one single buffer, that is the frame buffer. |
---|
[614] | 72 | // Each buffer is described with a 64 bits buffer descriptor: |
---|
[725] | 73 | // - the 26 LSB bits contain bits[31:6] of the status physical address. |
---|
| 74 | // - the 26 following bits contain bits[31:6] of the buffer physical address. |
---|
| 75 | // - the 12 MSB bits contain the common address extension. |
---|
| 76 | // The actual number of user buffers cannot be larger than 256 (at most |
---|
| 77 | // one user buffer per cluster for a 16*16 mesh). |
---|
| 78 | // NB: The user buffers are mapped in user space, but the chbuf descriptor |
---|
| 79 | // contained in this structure is a protected kernel variable. |
---|
[494] | 80 | // This structure must be 64 bytes aligned. |
---|
[505] | 81 | /////////////////////////////////////////////////////////////////////////////// |
---|
[440] | 82 | |
---|
| 83 | typedef struct fbf_chbuf_s |
---|
| 84 | { |
---|
[725] | 85 | unsigned long long fbf_desc; // frame buffer descriptor |
---|
| 86 | unsigned long long usr_desc[256]; // user chbuf descriptor |
---|
| 87 | unsigned int nbufs; // number of user buffers |
---|
[440] | 88 | } fbf_chbuf_t; |
---|
| 89 | |
---|
[505] | 90 | /////////////////////////////////////////////////////////////////////////////// |
---|
[478] | 91 | // This structure is used by the CMA component to move a stream of containers |
---|
| 92 | // between the NIC chbuf containing 2 buffers, and a kernel chbuf |
---|
[494] | 93 | // containing up to (X_SIZE * Y_SIZE) buffers (one buffer per cluster). |
---|
[449] | 94 | // The same structure is used for both TX or RX transfers. |
---|
[494] | 95 | // The number of distributed containers can be smaller than (X_SIZE * YSIZE). |
---|
| 96 | // The actual number of buffers used in the chbuf is defined by (xmax * ymax). |
---|
[614] | 97 | // Each buffer is described with a 64 bits buffer descriptor: |
---|
[725] | 98 | // - the 26 LSB bits contain bits[31:6] of the status physical address. |
---|
| 99 | // - the 26 following bits contain bits[31:6] of the buffer physical address. |
---|
| 100 | // - the 12 MSB bits contain the common address extension. |
---|
| 101 | // The <xmax> and <ymax> fields define the actual mesh size. |
---|
[494] | 102 | // This structure must be 64 bytes aligned. |
---|
[505] | 103 | /////////////////////////////////////////////////////////////////////////////// |
---|
[449] | 104 | |
---|
[725] | 105 | typedef struct nic_chbuf_s |
---|
[449] | 106 | { |
---|
[725] | 107 | unsigned long long buf_desc[X_SIZE*Y_SIZE]; // kernel chbuf descriptor |
---|
[614] | 108 | unsigned int xmax; // nb clusters in a row |
---|
| 109 | unsigned int ymax; // nb clusters in a column |
---|
[725] | 110 | } nic_chbuf_t; |
---|
[449] | 111 | |
---|
[519] | 112 | |
---|
[709] | 113 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 114 | // Applications related syscall handlers |
---|
| 115 | ////////////////////////////////////////////////////////////////////////////// |
---|
[519] | 116 | |
---|
[709] | 117 | extern int _sys_kill_application( char* name ); |
---|
[519] | 118 | |
---|
[709] | 119 | extern int _sys_exec_application( char* name ); |
---|
[519] | 120 | |
---|
[714] | 121 | extern int _sys_applications_status( char* name ); |
---|
[670] | 122 | |
---|
[709] | 123 | ///////////////////////////////////////////////////////////////////////////// |
---|
| 124 | // Threads related syscall handlers |
---|
| 125 | ///////////////////////////////////////////////////////////////////////////// |
---|
[670] | 126 | |
---|
[709] | 127 | extern int _sys_pthread_create( unsigned int* buffer, |
---|
| 128 | void* attr, |
---|
| 129 | void* function, |
---|
| 130 | void* arg ); |
---|
[519] | 131 | |
---|
[709] | 132 | extern int _sys_pthread_join( unsigned int trdid, |
---|
| 133 | void* ptr ); |
---|
[519] | 134 | |
---|
[709] | 135 | extern int _sys_pthread_kill( unsigned int trdid, |
---|
| 136 | int signal ); |
---|
[519] | 137 | |
---|
[709] | 138 | extern int _sys_pthread_exit( void* string); |
---|
[519] | 139 | |
---|
[709] | 140 | extern int _sys_pthread_yield(); |
---|
[519] | 141 | |
---|
[709] | 142 | extern int _sys_pthread_control( unsigned int command, |
---|
| 143 | char* vspace_name, |
---|
| 144 | char* thread_name ); |
---|
| 145 | |
---|
[519] | 146 | /////////////////////////////////////////////////////////////////////////////// |
---|
[709] | 147 | // Coprocessors related syscall handlers |
---|
| 148 | /////////////////////////////////////////////////////////////////////////////// |
---|
| 149 | |
---|
[733] | 150 | extern int _sys_coproc_alloc( unsigned int cluster_xy, |
---|
| 151 | unsigned int coproc_type, |
---|
| 152 | unsigned int* return_info ); |
---|
[709] | 153 | |
---|
[733] | 154 | extern int _sys_coproc_release( unsigned int cluster_xy, |
---|
| 155 | unsigned int coproc_type ); |
---|
[709] | 156 | |
---|
[733] | 157 | extern int _sys_coproc_channel_init( unsigned int cluster_xy, |
---|
| 158 | unsigned int coproc_type, |
---|
| 159 | unsigned int channel, |
---|
[709] | 160 | giet_coproc_channel_t* desc ); |
---|
| 161 | |
---|
[733] | 162 | extern int _sys_coproc_run( unsigned int cluster_xy, |
---|
| 163 | unsigned int coproc_type ); |
---|
[709] | 164 | |
---|
[733] | 165 | extern int _sys_coproc_completed( unsigned int cluster_xy, |
---|
| 166 | unsigned int coproc_type ); |
---|
[709] | 167 | |
---|
| 168 | /////////////////////////////////////////////////////////////////////////////// |
---|
[440] | 169 | // TTY related syscall handlers |
---|
[505] | 170 | /////////////////////////////////////////////////////////////////////////////// |
---|
[258] | 171 | |
---|
[709] | 172 | extern int _sys_tty_alloc( unsigned int shared ); |
---|
[294] | 173 | |
---|
[709] | 174 | extern int _sys_tty_release(); |
---|
[695] | 175 | |
---|
[709] | 176 | extern int _sys_tty_write( const char* buffer, |
---|
[440] | 177 | unsigned int length, |
---|
| 178 | unsigned int channel ); |
---|
[428] | 179 | |
---|
[709] | 180 | extern int _sys_tty_read( char* buffer, |
---|
[440] | 181 | unsigned int length, |
---|
| 182 | unsigned int channel ); |
---|
[294] | 183 | |
---|
[440] | 184 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 185 | // TIM related syscall handlers |
---|
| 186 | ////////////////////////////////////////////////////////////////////////////// |
---|
[294] | 187 | |
---|
[709] | 188 | extern int _sys_tim_alloc(); |
---|
[258] | 189 | |
---|
[709] | 190 | extern int _sys_tim_release(); |
---|
[695] | 191 | |
---|
[709] | 192 | extern int _sys_tim_start( unsigned int period ); |
---|
[258] | 193 | |
---|
[709] | 194 | extern int _sys_tim_stop(); |
---|
[258] | 195 | |
---|
[440] | 196 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 197 | // NIC related syscall handlers |
---|
| 198 | ////////////////////////////////////////////////////////////////////////////// |
---|
[294] | 199 | |
---|
[709] | 200 | extern int _sys_nic_alloc( unsigned int is_rx, |
---|
| 201 | unsigned int xmax, |
---|
| 202 | unsigned int ymax ); |
---|
[396] | 203 | |
---|
[709] | 204 | extern int _sys_nic_release( unsigned int is_rx ); |
---|
[494] | 205 | |
---|
[709] | 206 | extern int _sys_nic_start( unsigned int is_rx ); |
---|
[396] | 207 | |
---|
[709] | 208 | extern int _sys_nic_move( unsigned int is_rx, |
---|
| 209 | void* buffer ); |
---|
[440] | 210 | |
---|
[709] | 211 | extern int _sys_nic_stop( unsigned int is_rx ); |
---|
[449] | 212 | |
---|
[709] | 213 | extern int _sys_nic_clear( unsigned int is_rx ); |
---|
[459] | 214 | |
---|
[709] | 215 | extern int _sys_nic_stats( unsigned int is_rx ); |
---|
[459] | 216 | |
---|
[440] | 217 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 218 | // FBF related syscall handlers |
---|
| 219 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 220 | |
---|
[714] | 221 | extern int _sys_fbf_size( unsigned int* width, |
---|
| 222 | unsigned int* height ); |
---|
| 223 | |
---|
| 224 | extern int _sys_fbf_alloc(); |
---|
| 225 | |
---|
| 226 | extern int _sys_fbf_release(); |
---|
| 227 | |
---|
[709] | 228 | extern int _sys_fbf_sync_write( unsigned int offset, |
---|
[725] | 229 | void* buffer, |
---|
| 230 | unsigned int length ); |
---|
[440] | 231 | |
---|
[709] | 232 | extern int _sys_fbf_sync_read( unsigned int offset, |
---|
[725] | 233 | void* buffer, |
---|
| 234 | unsigned int length ); |
---|
[440] | 235 | |
---|
[725] | 236 | extern int _sys_fbf_cma_alloc( unsigned int nbufs ); |
---|
[440] | 237 | |
---|
[709] | 238 | extern int _sys_fbf_cma_release(); |
---|
[700] | 239 | |
---|
[725] | 240 | extern int _sys_fbf_cma_init_buf( unsigned int index, |
---|
| 241 | void* buf_vaddr, |
---|
| 242 | void* sts_vaddr ); |
---|
[440] | 243 | |
---|
[725] | 244 | extern int _sys_fbf_cma_start(); |
---|
[614] | 245 | |
---|
[725] | 246 | extern int _sys_fbf_cma_display( unsigned int index ); |
---|
[440] | 247 | |
---|
[725] | 248 | extern int _sys_fbf_cma_check( unsigned int index ); |
---|
| 249 | |
---|
[709] | 250 | extern int _sys_fbf_cma_stop(); |
---|
[440] | 251 | |
---|
| 252 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 253 | // Miscelaneous syscall handlers |
---|
| 254 | ////////////////////////////////////////////////////////////////////////////// |
---|
| 255 | |
---|
[709] | 256 | extern int _sys_ukn(); |
---|
[440] | 257 | |
---|
[709] | 258 | extern int _sys_proc_xyp( unsigned int* x, |
---|
[725] | 259 | unsigned int* y, |
---|
| 260 | unsigned int* p ); |
---|
[440] | 261 | |
---|
[709] | 262 | extern int _sys_procs_number( unsigned int* x_size, |
---|
[725] | 263 | unsigned int* y_size, |
---|
| 264 | unsigned int* nprocs ); |
---|
[440] | 265 | |
---|
[709] | 266 | extern int _sys_vseg_get_vbase( char* vspace_name, |
---|
[725] | 267 | char* vseg_name, |
---|
| 268 | unsigned int* vbase ); |
---|
[440] | 269 | |
---|
[709] | 270 | extern int _sys_vseg_get_length( char* vspace_name, |
---|
[725] | 271 | char* vseg_name, |
---|
| 272 | unsigned int* length ); |
---|
[440] | 273 | |
---|
[709] | 274 | extern int _sys_xy_from_ptr( void* ptr, |
---|
[725] | 275 | unsigned int* x, |
---|
| 276 | unsigned int* y ); |
---|
[440] | 277 | |
---|
[709] | 278 | extern int _sys_heap_info( unsigned int* vaddr, |
---|
[725] | 279 | unsigned int* length, |
---|
| 280 | unsigned int x, |
---|
| 281 | unsigned int y ); |
---|
[440] | 282 | |
---|
[258] | 283 | #endif |
---|
| 284 | |
---|
| 285 | // Local Variables: |
---|
| 286 | // tab-width: 4 |
---|
| 287 | // c-basic-offset: 4 |
---|
| 288 | // c-file-offsets:((innamespace . 0)(inline-open . 0)) |
---|
| 289 | // indent-tabs-mode: nil |
---|
| 290 | // End: |
---|
| 291 | // vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4 |
---|
| 292 | |
---|