[1] | 1 | /* |
---|
| 2 | * process.c - process related management |
---|
[172] | 3 | * |
---|
[1] | 4 | * Authors Ghassan Almaless (2008,2009,2010,2011,2012) |
---|
| 5 | * Mohamed Lamine Karaoui (2015) |
---|
[23] | 6 | * Alain Greiner (2016,2017) |
---|
[1] | 7 | * |
---|
| 8 | * Copyright (c) UPMC Sorbonne Universites |
---|
| 9 | * |
---|
[409] | 10 | * This file is part of ALMOS-MKH. |
---|
[1] | 11 | * |
---|
[172] | 12 | * ALMOS-MKH is free software; you can redistribute it and/or modify it |
---|
[1] | 13 | * under the terms of the GNU General Public License as published by |
---|
| 14 | * the Free Software Foundation; version 2.0 of the License. |
---|
| 15 | * |
---|
[172] | 16 | * ALMOS-MKH is distributed in the hope that it will be useful, but |
---|
[1] | 17 | * WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
| 18 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
---|
| 19 | * General Public License for more details. |
---|
| 20 | * |
---|
| 21 | * You should have received a copy of the GNU General Public License |
---|
[172] | 22 | * along with ALMOS-MKH; if not, write to the Free Software Foundation, |
---|
[1] | 23 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
---|
| 24 | */ |
---|
| 25 | |
---|
[14] | 26 | #include <kernel_config.h> |
---|
[1] | 27 | #include <hal_types.h> |
---|
| 28 | #include <hal_remote.h> |
---|
| 29 | #include <hal_uspace.h> |
---|
[409] | 30 | #include <hal_irqmask.h> |
---|
[1] | 31 | #include <errno.h> |
---|
| 32 | #include <printk.h> |
---|
| 33 | #include <memcpy.h> |
---|
| 34 | #include <bits.h> |
---|
| 35 | #include <kmem.h> |
---|
| 36 | #include <page.h> |
---|
| 37 | #include <vmm.h> |
---|
| 38 | #include <vfs.h> |
---|
| 39 | #include <core.h> |
---|
| 40 | #include <thread.h> |
---|
| 41 | #include <list.h> |
---|
[407] | 42 | #include <string.h> |
---|
[1] | 43 | #include <scheduler.h> |
---|
| 44 | #include <remote_spinlock.h> |
---|
| 45 | #include <dqdt.h> |
---|
| 46 | #include <cluster.h> |
---|
| 47 | #include <ppm.h> |
---|
| 48 | #include <boot_info.h> |
---|
| 49 | #include <process.h> |
---|
| 50 | #include <elf.h> |
---|
[23] | 51 | #include <syscalls.h> |
---|
[409] | 52 | #include <signal.h> |
---|
[1] | 53 | |
---|
| 54 | ////////////////////////////////////////////////////////////////////////////////////////// |
---|
| 55 | // Extern global variables |
---|
| 56 | ////////////////////////////////////////////////////////////////////////////////////////// |
---|
| 57 | |
---|
| 58 | extern process_t process_zero; |
---|
| 59 | |
---|
| 60 | ////////////////////////////////////////////////////////////////////////////////////////// |
---|
| 61 | // Process initialisation related functions |
---|
| 62 | ////////////////////////////////////////////////////////////////////////////////////////// |
---|
| 63 | |
---|
| 64 | /////////////////////////// |
---|
| 65 | process_t * process_alloc() |
---|
| 66 | { |
---|
| 67 | kmem_req_t req; |
---|
| 68 | |
---|
| 69 | req.type = KMEM_PROCESS; |
---|
| 70 | req.size = sizeof(process_t); |
---|
| 71 | req.flags = AF_KERNEL; |
---|
| 72 | |
---|
| 73 | return (process_t *)kmem_alloc( &req ); |
---|
| 74 | } |
---|
| 75 | |
---|
| 76 | //////////////////////////////////////// |
---|
| 77 | void process_free( process_t * process ) |
---|
| 78 | { |
---|
| 79 | kmem_req_t req; |
---|
| 80 | |
---|
| 81 | req.type = KMEM_PROCESS; |
---|
| 82 | req.ptr = process; |
---|
| 83 | kmem_free( &req ); |
---|
| 84 | } |
---|
| 85 | |
---|
[408] | 86 | ///////////////////////////////////////////// |
---|
| 87 | void process_zero_init( process_t * process ) |
---|
| 88 | { |
---|
| 89 | // initialize PID, PPID anf PREF |
---|
| 90 | process->pid = 0; |
---|
| 91 | process->ppid = 0; |
---|
| 92 | process->ref_xp = XPTR( local_cxy , process ); |
---|
| 93 | |
---|
| 94 | // reset th_tbl[] array as empty |
---|
| 95 | uint32_t i; |
---|
| 96 | for( i = 0 ; i < CONFIG_THREAD_MAX_PER_CLUSTER ; i++ ) |
---|
| 97 | { |
---|
| 98 | process->th_tbl[i] = NULL; |
---|
| 99 | } |
---|
| 100 | process->th_nr = 0; |
---|
| 101 | spinlock_init( &process->th_lock ); |
---|
| 102 | |
---|
| 103 | hal_fence(); |
---|
| 104 | |
---|
| 105 | process_dmsg("\n[DBG] %s : core[%x,%d] exit for process %x\n", |
---|
| 106 | __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , process->pid ); |
---|
| 107 | |
---|
| 108 | } // end process_zero_init() |
---|
| 109 | |
---|
[101] | 110 | ///////////////////////////////////////////////// |
---|
| 111 | void process_reference_init( process_t * process, |
---|
| 112 | pid_t pid, |
---|
[408] | 113 | pid_t ppid, |
---|
| 114 | xptr_t model_xp ) |
---|
[1] | 115 | { |
---|
[408] | 116 | cxy_t model_cxy; |
---|
| 117 | process_t * model_ptr; |
---|
[407] | 118 | error_t error1; |
---|
| 119 | error_t error2; |
---|
| 120 | error_t error3; |
---|
| 121 | xptr_t stdin_xp; |
---|
| 122 | xptr_t stdout_xp; |
---|
| 123 | xptr_t stderr_xp; |
---|
| 124 | uint32_t stdin_id; |
---|
| 125 | uint32_t stdout_id; |
---|
| 126 | uint32_t stderr_id; |
---|
[1] | 127 | |
---|
[409] | 128 | process_dmsg("\n[DBG] %s : core[%x,%d] enters for process %x / ppid = %x\n", |
---|
| 129 | __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , pid , ppid ); |
---|
[407] | 130 | |
---|
[408] | 131 | // get model process cluster and local pointer |
---|
| 132 | model_cxy = GET_CXY( model_xp ); |
---|
| 133 | model_ptr = (process_t *)GET_PTR( model_xp ); |
---|
[1] | 134 | |
---|
[407] | 135 | // initialize PID, PPID, and REF |
---|
| 136 | process->pid = pid; |
---|
[408] | 137 | process->ppid = ppid; |
---|
[407] | 138 | process->ref_xp = XPTR( local_cxy , process ); |
---|
[204] | 139 | |
---|
[409] | 140 | // initialize vmm as empty |
---|
[408] | 141 | vmm_init( process ); |
---|
[101] | 142 | |
---|
[408] | 143 | process_dmsg("\n[DBG] %s : core[%x,%d] / vmm empty for process %x\n", |
---|
[407] | 144 | __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , pid ); |
---|
[1] | 145 | |
---|
[409] | 146 | // initialize fd_array as empty |
---|
[408] | 147 | process_fd_init( process ); |
---|
[1] | 148 | |
---|
[408] | 149 | // create stdin / stdout / stderr pseudo-files |
---|
[409] | 150 | if( ppid == 0 ) // process_init |
---|
[408] | 151 | { |
---|
| 152 | error1 = vfs_open( process, |
---|
| 153 | CONFIG_INIT_STDIN, |
---|
| 154 | O_RDONLY, |
---|
| 155 | 0, // FIXME chmod |
---|
| 156 | &stdin_xp, |
---|
| 157 | &stdin_id ); |
---|
[1] | 158 | |
---|
[408] | 159 | error2 = vfs_open( process, |
---|
| 160 | CONFIG_INIT_STDOUT, |
---|
| 161 | O_WRONLY, |
---|
| 162 | 0, // FIXME chmod |
---|
| 163 | &stdout_xp, |
---|
| 164 | &stdout_id ); |
---|
[1] | 165 | |
---|
[408] | 166 | error3 = vfs_open( process, |
---|
| 167 | CONFIG_INIT_STDERR, |
---|
| 168 | O_WRONLY, |
---|
| 169 | 0, // FIXME chmod |
---|
| 170 | &stderr_xp, |
---|
| 171 | &stderr_id ); |
---|
| 172 | } |
---|
[409] | 173 | else // any other process |
---|
[408] | 174 | { |
---|
| 175 | error1 = vfs_open( process, |
---|
| 176 | CONFIG_USER_STDIN, |
---|
| 177 | O_RDONLY, |
---|
| 178 | 0, // FIXME chmod |
---|
| 179 | &stdin_xp, |
---|
| 180 | &stdin_id ); |
---|
[407] | 181 | |
---|
[408] | 182 | error2 = vfs_open( process, |
---|
| 183 | CONFIG_USER_STDOUT, |
---|
| 184 | O_WRONLY, |
---|
| 185 | 0, // FIXME chmod |
---|
| 186 | &stdout_xp, |
---|
| 187 | &stdout_id ); |
---|
[407] | 188 | |
---|
[408] | 189 | error3 = vfs_open( process, |
---|
| 190 | CONFIG_USER_STDERR, |
---|
| 191 | O_WRONLY, |
---|
| 192 | 0, // FIXME chmod |
---|
| 193 | &stderr_xp, |
---|
| 194 | &stderr_id ); |
---|
| 195 | } |
---|
[407] | 196 | |
---|
[408] | 197 | assert( ((error1 == 0) && (error2 == 0) && (error3 == 0)) , __FUNCTION__ , |
---|
| 198 | "cannot open stdin/stdout/stderr pseudo files\n"); |
---|
[407] | 199 | |
---|
[408] | 200 | assert( ((stdin_id == 0) && (stdout_id == 1) && (stderr_id == 2)) , __FUNCTION__ , |
---|
| 201 | "bad indexes : stdin %d / stdout %d / stderr %d \n", stdin_id , stdout_id , stderr_id ); |
---|
[407] | 202 | |
---|
[409] | 203 | // initialize specific inodes root and cwd |
---|
[408] | 204 | process->vfs_root_xp = (xptr_t)hal_remote_lwd( XPTR( model_cxy, |
---|
| 205 | &model_ptr->vfs_root_xp ) ); |
---|
| 206 | process->vfs_cwd_xp = (xptr_t)hal_remote_lwd( XPTR( model_cxy, |
---|
| 207 | &model_ptr->vfs_cwd_xp ) ); |
---|
[409] | 208 | vfs_inode_remote_up( process->vfs_root_xp ); |
---|
| 209 | vfs_inode_remote_up( process->vfs_cwd_xp ); |
---|
[408] | 210 | |
---|
[409] | 211 | remote_rwlock_init( XPTR( local_cxy , &process->cwd_lock ) ); |
---|
| 212 | |
---|
| 213 | // copy all open file descriptors (other than stdin / stdout / stderr) |
---|
[408] | 214 | process_fd_remote_copy( XPTR( local_cxy , &process->fd_array ), |
---|
| 215 | XPTR( model_cxy , &model_ptr->fd_array ) ); |
---|
| 216 | |
---|
[409] | 217 | process_dmsg("\n[DBG] %s : core[%x,%d] / fd array for process %x\n", |
---|
[407] | 218 | __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , pid ); |
---|
| 219 | |
---|
[408] | 220 | // reset children list root |
---|
| 221 | xlist_root_init( XPTR( local_cxy , &process->children_root ) ); |
---|
| 222 | process->children_nr = 0; |
---|
[407] | 223 | |
---|
[408] | 224 | // reset semaphore / mutex / barrier / condvar list roots |
---|
| 225 | xlist_root_init( XPTR( local_cxy , &process->sem_root ) ); |
---|
| 226 | xlist_root_init( XPTR( local_cxy , &process->mutex_root ) ); |
---|
| 227 | xlist_root_init( XPTR( local_cxy , &process->barrier_root ) ); |
---|
| 228 | xlist_root_init( XPTR( local_cxy , &process->condvar_root ) ); |
---|
| 229 | remote_spinlock_init( XPTR( local_cxy , &process->sync_lock ) ); |
---|
[407] | 230 | |
---|
[408] | 231 | // register new process in the local cluster manager pref_tbl[] |
---|
| 232 | lpid_t lpid = LPID_FROM_PID( pid ); |
---|
| 233 | LOCAL_CLUSTER->pmgr.pref_tbl[lpid] = XPTR( local_cxy , process ); |
---|
[407] | 234 | |
---|
[408] | 235 | // register new process descriptor in local cluster manager local_list |
---|
| 236 | cluster_process_local_link( process ); |
---|
[407] | 237 | |
---|
[408] | 238 | // register new process descriptor in local cluster manager copies_list |
---|
| 239 | cluster_process_copies_link( process ); |
---|
[172] | 240 | |
---|
[408] | 241 | // reset th_tbl[] array as empty in process descriptor |
---|
[1] | 242 | uint32_t i; |
---|
| 243 | for( i = 0 ; i < CONFIG_THREAD_MAX_PER_CLUSTER ; i++ ) |
---|
| 244 | { |
---|
| 245 | process->th_tbl[i] = NULL; |
---|
| 246 | } |
---|
| 247 | process->th_nr = 0; |
---|
| 248 | spinlock_init( &process->th_lock ); |
---|
| 249 | |
---|
[124] | 250 | hal_fence(); |
---|
[1] | 251 | |
---|
[407] | 252 | process_dmsg("\n[DBG] %s : core[%x,%d] exit for process %x\n", |
---|
| 253 | __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , pid ); |
---|
[101] | 254 | |
---|
[204] | 255 | } // process_reference init() |
---|
| 256 | |
---|
[1] | 257 | ///////////////////////////////////////////////////// |
---|
| 258 | error_t process_copy_init( process_t * local_process, |
---|
| 259 | xptr_t reference_process_xp ) |
---|
| 260 | { |
---|
[23] | 261 | // get reference process cluster and local pointer |
---|
| 262 | cxy_t ref_cxy = GET_CXY( reference_process_xp ); |
---|
| 263 | process_t * ref_ptr = (process_t *)GET_PTR( reference_process_xp ); |
---|
[1] | 264 | |
---|
[407] | 265 | // set the pid, ppid, ref_xp fields in local process |
---|
| 266 | local_process->pid = hal_remote_lw( XPTR( ref_cxy , &ref_ptr->pid ) ); |
---|
| 267 | local_process->ppid = hal_remote_lw( XPTR( ref_cxy , &ref_ptr->ppid ) ); |
---|
| 268 | local_process->ref_xp = reference_process_xp; |
---|
| 269 | |
---|
| 270 | process_dmsg("\n[DBG] %s : core[%x,%d] enters for process %x in cluster %x\n", |
---|
| 271 | __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , local_process->pid ); |
---|
| 272 | |
---|
[172] | 273 | // reset local process vmm |
---|
[23] | 274 | vmm_init( local_process ); |
---|
[1] | 275 | |
---|
[172] | 276 | // reset process file descriptors array |
---|
[23] | 277 | process_fd_init( local_process ); |
---|
[1] | 278 | |
---|
[23] | 279 | // reset vfs_root_xp / vfs_bin_xp / vfs_cwd_xp fields |
---|
| 280 | local_process->vfs_root_xp = hal_remote_lwd( XPTR( ref_cxy , &ref_ptr->vfs_root_xp ) ); |
---|
| 281 | local_process->vfs_bin_xp = hal_remote_lwd( XPTR( ref_cxy , &ref_ptr->vfs_bin_xp ) ); |
---|
| 282 | local_process->vfs_cwd_xp = XPTR_NULL; |
---|
[1] | 283 | |
---|
| 284 | // reset children list root (not used in a process descriptor copy) |
---|
| 285 | xlist_root_init( XPTR( local_cxy , &local_process->children_root ) ); |
---|
[172] | 286 | local_process->children_nr = 0; |
---|
[1] | 287 | |
---|
| 288 | // reset brothers list (not used in a process descriptor copy) |
---|
| 289 | xlist_entry_init( XPTR( local_cxy , &local_process->brothers_list ) ); |
---|
| 290 | |
---|
| 291 | // reset semaphores list root (not used in a process descriptor copy) |
---|
| 292 | xlist_root_init( XPTR( local_cxy , &local_process->sem_root ) ); |
---|
[23] | 293 | xlist_root_init( XPTR( local_cxy , &local_process->mutex_root ) ); |
---|
| 294 | xlist_root_init( XPTR( local_cxy , &local_process->barrier_root ) ); |
---|
| 295 | xlist_root_init( XPTR( local_cxy , &local_process->condvar_root ) ); |
---|
[1] | 296 | |
---|
[23] | 297 | // reset th_tbl[] array as empty |
---|
[1] | 298 | uint32_t i; |
---|
| 299 | for( i = 0 ; i < CONFIG_THREAD_MAX_PER_CLUSTER ; i++ ) |
---|
| 300 | { |
---|
| 301 | local_process->th_tbl[i] = NULL; |
---|
| 302 | } |
---|
| 303 | local_process->th_nr = 0; |
---|
| 304 | spinlock_init( &local_process->th_lock ); |
---|
| 305 | |
---|
| 306 | // register new process descriptor in local cluster manager local_list |
---|
| 307 | cluster_process_local_link( local_process ); |
---|
| 308 | |
---|
| 309 | // register new process descriptor in owner cluster manager copies_list |
---|
| 310 | cluster_process_copies_link( local_process ); |
---|
| 311 | |
---|
[172] | 312 | // initialize signal manager TODO [AG] |
---|
[23] | 313 | |
---|
[124] | 314 | hal_fence(); |
---|
[1] | 315 | |
---|
[407] | 316 | process_dmsg("\n[DBG] %s : core[%x,%d] exit for process %x in cluster %x\n", |
---|
| 317 | __FUNCTION__ , local_cxy , CURRENT_THREAD->core->lid , local_process->pid ); |
---|
[279] | 318 | |
---|
[1] | 319 | return 0; |
---|
| 320 | |
---|
[204] | 321 | } // end process_copy_init() |
---|
| 322 | |
---|
[1] | 323 | /////////////////////////////////////////// |
---|
| 324 | void process_destroy( process_t * process ) |
---|
| 325 | { |
---|
[172] | 326 | if( process->th_nr != 0 ) |
---|
[1] | 327 | { |
---|
[374] | 328 | panic("process %x in cluster %x has still active threads", |
---|
[373] | 329 | process->pid , local_cxy ); |
---|
[1] | 330 | } |
---|
| 331 | |
---|
| 332 | // get local process manager pointer |
---|
| 333 | pmgr_t * pmgr = &LOCAL_CLUSTER->pmgr; |
---|
| 334 | |
---|
[23] | 335 | // get the lock protecting the list of local process descriptors |
---|
| 336 | remote_spinlock_lock( XPTR( local_cxy , &pmgr->local_lock ) ); |
---|
| 337 | |
---|
[172] | 338 | // remove the process descriptor from local_list in local cluster manager |
---|
[1] | 339 | xlist_unlink( XPTR( local_cxy , &process->local_list ) ); |
---|
| 340 | |
---|
[23] | 341 | // release the lock protecting the list of local process descriptors |
---|
| 342 | remote_spinlock_unlock( XPTR( local_cxy , &pmgr->local_lock ) ); |
---|
| 343 | |
---|
[1] | 344 | // get extended pointer on copies_lock in owner cluster manager |
---|
| 345 | cxy_t owner_cxy = CXY_FROM_PID( process->pid ); |
---|
| 346 | lpid_t lpid = LPID_FROM_PID( process->pid ); |
---|
[326] | 347 | xptr_t copies_lock = XPTR( owner_cxy , &pmgr->copies_lock[lpid] ); |
---|
[1] | 348 | |
---|
| 349 | // remove the local process descriptor from copies_list |
---|
| 350 | remote_spinlock_lock( copies_lock ); |
---|
| 351 | xlist_unlink( XPTR( local_cxy , &process->copies_list ) ); |
---|
| 352 | remote_spinlock_unlock( copies_lock ); |
---|
[172] | 353 | |
---|
[124] | 354 | hal_fence(); |
---|
[1] | 355 | |
---|
[172] | 356 | // From this point, the process descriptor is unreachable |
---|
[1] | 357 | |
---|
[409] | 358 | // FIXME close all open files and update dirty [AG] |
---|
[23] | 359 | |
---|
| 360 | // Decrease refcount for bin file, root file and cwd file |
---|
[337] | 361 | if( process->vfs_bin_xp != XPTR_NULL ) vfs_file_count_down( process->vfs_bin_xp ); |
---|
| 362 | if( process->vfs_root_xp != XPTR_NULL ) vfs_file_count_down( process->vfs_root_xp ); |
---|
| 363 | if( process->vfs_cwd_xp != XPTR_NULL ) vfs_file_count_down( process->vfs_cwd_xp ); |
---|
[1] | 364 | |
---|
| 365 | // Destroy VMM |
---|
| 366 | vmm_destroy( process ); |
---|
| 367 | |
---|
[407] | 368 | process_dmsg("\n[DBG] %s for pid %d / page_faults = %d\n", |
---|
[1] | 369 | __FUNCTION__ , process->pid, process->vmm.pgfault_nr ); |
---|
| 370 | |
---|
[407] | 371 | } // end process_destroy() |
---|
| 372 | |
---|
[409] | 373 | ///////////////////////////////////////////////// |
---|
| 374 | char * process_action_str( uint32_t action_type ) |
---|
| 375 | { |
---|
| 376 | if ( action_type == BLOCK_ALL_THREADS ) return "BLOCK"; |
---|
| 377 | else if( action_type == UNBLOCK_ALL_THREADS ) return "UNBLOCK"; |
---|
| 378 | else if( action_type == DELETE_ALL_THREADS ) return "DELETE"; |
---|
| 379 | else return "undefined"; |
---|
| 380 | } |
---|
| 381 | |
---|
| 382 | //////////////////////////////////////////// |
---|
| 383 | void process_sigaction( process_t * process, |
---|
| 384 | uint32_t action_type ) |
---|
| 385 | { |
---|
| 386 | cxy_t owner_cxy; // owner cluster identifier |
---|
| 387 | lpid_t lpid; // process index in owner cluster |
---|
| 388 | cluster_t * cluster; // pointer on cluster manager |
---|
| 389 | xptr_t root_xp; // extended pointer on root of copies |
---|
| 390 | xptr_t lock_xp; // extended pointer on lock protecting copies |
---|
| 391 | xptr_t client_xp; // extended pointer on client thread |
---|
| 392 | uint32_t rsp_count; // number of expected responses |
---|
| 393 | xptr_t rsp_xp; // extended pointer on responses counter |
---|
| 394 | xptr_t iter_xp; // iterator on copies list |
---|
| 395 | xptr_t process_xp; // extended pointer on process copy |
---|
| 396 | cxy_t process_cxy; // process copy cluster identifier |
---|
| 397 | process_t * process_ptr; // local pointer on process copy |
---|
| 398 | |
---|
| 399 | signal_dmsg("\n[DBG] %s : enter for signal %s to process %x in cluster %x\n", |
---|
| 400 | __FUNCTION__ , process_action_str( action_type ) , process , local_cxy ); |
---|
| 401 | |
---|
| 402 | thread_t * this = CURRENT_THREAD; |
---|
| 403 | |
---|
| 404 | // get extended pointer on client thread and response counter |
---|
| 405 | client_xp = XPTR( local_cxy , this ); |
---|
| 406 | rsp_xp = XPTR( local_cxy , &rsp_count ); |
---|
| 407 | |
---|
| 408 | // get owner cluster identifier and process lpid |
---|
| 409 | owner_cxy = CXY_FROM_PID( process->pid ); |
---|
| 410 | lpid = LPID_FROM_PID( process->pid ); |
---|
| 411 | |
---|
| 412 | assert( (owner_cxy == local_cxy) , __FUNCTION__ , "illegal cluster\n" ); |
---|
| 413 | |
---|
| 414 | // get local pointer on local cluster manager |
---|
| 415 | cluster = LOCAL_CLUSTER; |
---|
| 416 | |
---|
| 417 | // get extended pointers on copies root, copies lock, and number of copies |
---|
| 418 | root_xp = XPTR( local_cxy , &cluster->pmgr.copies_root[lpid] ); |
---|
| 419 | lock_xp = XPTR( local_cxy , &cluster->pmgr.copies_lock[lpid] ); |
---|
| 420 | |
---|
| 421 | // initialize responses number |
---|
| 422 | rsp_count = cluster->pmgr.copies_nr[lpid]; |
---|
| 423 | |
---|
| 424 | // take the lock protecting the copies |
---|
| 425 | remote_spinlock_lock( lock_xp ); |
---|
| 426 | |
---|
| 427 | // send RPCs to all process copies |
---|
| 428 | XLIST_FOREACH( root_xp , iter_xp ) |
---|
| 429 | { |
---|
| 430 | process_xp = XLIST_ELEMENT( iter_xp , process_t , copies_list ); |
---|
| 431 | process_cxy = GET_CXY( process_xp ); |
---|
| 432 | process_ptr = (process_t *)GET_PTR( process_xp ); |
---|
| 433 | |
---|
| 434 | printk("\n @@@ %s : process = %x / pid = %x / ppid = %x\n", |
---|
| 435 | __FUNCTION__ , process_ptr , process_ptr->pid , process_ptr->ppid ); |
---|
| 436 | |
---|
| 437 | rpc_process_sigaction_client( process_cxy, |
---|
| 438 | process_ptr, |
---|
| 439 | action_type, |
---|
| 440 | rsp_xp, |
---|
| 441 | client_xp ); |
---|
| 442 | } |
---|
| 443 | |
---|
| 444 | // release the lock protecting process copies |
---|
| 445 | remote_spinlock_unlock( lock_xp ); |
---|
| 446 | |
---|
| 447 | // block and deschedule to wait response |
---|
| 448 | thread_block( CURRENT_THREAD , THREAD_BLOCKED_RPC ); |
---|
| 449 | sched_yield("BLOCKED on RPC"); |
---|
| 450 | |
---|
| 451 | signal_dmsg("\n[DBG] %s : exit for signal %s to process %x in cluster %x\n", |
---|
| 452 | __FUNCTION__ , process_action_str( action_type ) , process , local_cxy ); |
---|
| 453 | |
---|
| 454 | } // end process_sigaction() |
---|
| 455 | |
---|
[1] | 456 | //////////////////////////////////////// |
---|
[409] | 457 | void process_block( process_t * process, |
---|
| 458 | xptr_t rsp_xp, |
---|
| 459 | xptr_t client_xp ) |
---|
[1] | 460 | { |
---|
[409] | 461 | thread_t * target; // pointer on target thread |
---|
| 462 | uint32_t ltid; // index in process th_tbl |
---|
| 463 | thread_t * killer; // killer thread pointer |
---|
| 464 | uint32_t count; // requests counter |
---|
| 465 | volatile uint32_t sig_rsp_count; // responses counter |
---|
| 466 | cxy_t client_cxy; // client thread cluster identifier |
---|
| 467 | thread_t * client_ptr; // client thread pointer |
---|
| 468 | core_t * client_core; // client thread core pointer |
---|
[1] | 469 | |
---|
[409] | 470 | // get local killer thread pointer |
---|
| 471 | killer = CURRENT_THREAD; |
---|
[407] | 472 | |
---|
[409] | 473 | signal_dmsg("\n[DBG] %s : enter for process %x in cluster %x\n", |
---|
| 474 | __FUNCTION__ , process->pid , local_cxy ); |
---|
| 475 | |
---|
| 476 | // get lock protecting process th_tbl[] |
---|
[1] | 477 | spinlock_lock( &process->th_lock ); |
---|
| 478 | |
---|
[409] | 479 | // initialize local responses counter |
---|
| 480 | sig_rsp_count = process->th_nr; |
---|
| 481 | |
---|
| 482 | // loop on process threads to block and deschedule all threads in cluster |
---|
| 483 | // we use both "ltid" and "count" because it can exist "holes" in th_tbl |
---|
| 484 | for( ltid = 0 , count = 0 ; count < process->th_nr ; ltid++ ) |
---|
[1] | 485 | { |
---|
[409] | 486 | target = process->th_tbl[ltid]; |
---|
[1] | 487 | |
---|
[409] | 488 | if( target != NULL ) // thread found |
---|
[1] | 489 | { |
---|
| 490 | count++; |
---|
[409] | 491 | |
---|
| 492 | // set signal in target thread descriptor |
---|
| 493 | thread_set_signal( target , (uint32_t *)sig_rsp_count ); |
---|
| 494 | |
---|
| 495 | // set the global blocked bit in target thread descriptor. |
---|
| 496 | thread_block( target , THREAD_BLOCKED_GLOBAL ); |
---|
| 497 | |
---|
| 498 | // - if the killer thread and the target thread are not on the same core |
---|
| 499 | // we want the scheduler of target thread to acknowlege the signal |
---|
| 500 | // to be sure that the target thread is descheduled |
---|
| 501 | // - if the killer thread and the target thread are on the same core |
---|
| 502 | // we simply decrement the response counter. |
---|
| 503 | if( killer->core->lid != target->core->lid ) |
---|
| 504 | { |
---|
| 505 | dev_pic_send_ipi( local_cxy , target->core->lid ); |
---|
| 506 | } |
---|
| 507 | else |
---|
| 508 | { |
---|
| 509 | hal_atomic_add( (void *)&sig_rsp_count , -1 ); |
---|
| 510 | } |
---|
[1] | 511 | } |
---|
[172] | 512 | } |
---|
| 513 | |
---|
[409] | 514 | // poll the reponses counter |
---|
| 515 | while( 1 ) |
---|
| 516 | { |
---|
| 517 | // exit loop when all responses received |
---|
| 518 | if ( sig_rsp_count == 0 ) break; |
---|
| 519 | |
---|
| 520 | // wait 1000 cycles before retry |
---|
| 521 | hal_fixed_delay( 1000 ); |
---|
| 522 | } |
---|
[1] | 523 | |
---|
[409] | 524 | // acknowledge client thread & unblock client thread if last response |
---|
| 525 | client_cxy = GET_CXY( client_xp ); |
---|
| 526 | client_ptr = (thread_t *)GET_PTR( client_xp ); |
---|
| 527 | client_core = (core_t *)hal_remote_lpt( XPTR( client_cxy , &client_ptr->core ) ); |
---|
| 528 | if( hal_remote_atomic_add( rsp_xp , -1 ) == 1 ) |
---|
| 529 | { |
---|
| 530 | thread_unblock( client_xp , THREAD_BLOCKED_RPC); |
---|
| 531 | dev_pic_send_ipi( client_cxy , client_core->lid ); |
---|
| 532 | } |
---|
| 533 | |
---|
| 534 | signal_dmsg("\n[DBG] %s : exit for process %x in cluster %x / %d threads blocked\n", |
---|
| 535 | __FUNCTION__ , process->pid , local_cxy , count ); |
---|
| 536 | |
---|
| 537 | } // end process_block() |
---|
| 538 | |
---|
| 539 | ////////////////////////////////////////// |
---|
| 540 | void process_unblock( process_t * process, |
---|
| 541 | xptr_t rsp_xp, |
---|
| 542 | xptr_t client_xp ) |
---|
| 543 | { |
---|
| 544 | thread_t * target; // pointer on target thead |
---|
| 545 | uint32_t ltid; // index in process th_tbl |
---|
| 546 | thread_t * killer; // killer thread pointer |
---|
| 547 | uint32_t req_count; // requests counter |
---|
| 548 | cxy_t client_cxy; // client thread cluster identifier |
---|
| 549 | thread_t * client_ptr; // client thread pointer |
---|
| 550 | core_t * client_core; // client thread core pointer |
---|
| 551 | |
---|
| 552 | // get local killer thread pointer |
---|
| 553 | killer = CURRENT_THREAD; |
---|
| 554 | |
---|
| 555 | signal_dmsg("\n[DBG] %s : enter for process %x in cluster %x\n", |
---|
| 556 | __FUNCTION__ , process->pid , local_cxy ); |
---|
| 557 | |
---|
| 558 | // get lock protecting process th_tbl[] |
---|
| 559 | spinlock_lock( &process->th_lock ); |
---|
| 560 | |
---|
| 561 | // loop on process threads to unblock all threads in cluster |
---|
| 562 | // we use both "ltid" and "req_count" because it can exist "holes" in th_tbl |
---|
| 563 | for( ltid = 0 , req_count = 0 ; |
---|
| 564 | req_count < process->th_nr ; |
---|
[1] | 565 | ltid++ ) |
---|
| 566 | { |
---|
[409] | 567 | target = process->th_tbl[ltid]; |
---|
[1] | 568 | |
---|
[409] | 569 | if( target != NULL ) // thread found |
---|
[1] | 570 | { |
---|
[409] | 571 | req_count++; |
---|
[1] | 572 | |
---|
[409] | 573 | // reset the global blocked bit in target thread descriptor. |
---|
| 574 | thread_unblock( XPTR( local_cxy , target ) , THREAD_BLOCKED_GLOBAL ); |
---|
| 575 | } |
---|
| 576 | } |
---|
[1] | 577 | |
---|
[409] | 578 | // acknowledge client thread & unblock client thread if last response |
---|
| 579 | client_cxy = GET_CXY( client_xp ); |
---|
| 580 | client_ptr = (thread_t *)GET_PTR( client_xp ); |
---|
| 581 | client_core = (core_t *)hal_remote_lpt( XPTR( client_cxy , &client_ptr->core ) ); |
---|
| 582 | if( hal_remote_atomic_add( rsp_xp , -1 ) == 1 ) |
---|
| 583 | { |
---|
| 584 | thread_unblock( client_xp , THREAD_BLOCKED_RPC); |
---|
| 585 | dev_pic_send_ipi( client_cxy , client_core->lid ); |
---|
| 586 | } |
---|
[407] | 587 | |
---|
[409] | 588 | signal_dmsg("\n[DBG] %s : exit for process %x in cluster %x / %d threads blocked\n", |
---|
| 589 | __FUNCTION__ , process->pid , local_cxy , req_count ); |
---|
[407] | 590 | |
---|
[409] | 591 | } // end process_unblock() |
---|
| 592 | |
---|
| 593 | ///////////////////////////////////////// |
---|
| 594 | void process_delete( process_t * process, |
---|
| 595 | xptr_t rsp_xp, |
---|
| 596 | xptr_t client_xp ) |
---|
| 597 | { |
---|
| 598 | thread_t * thread; // pointer on target thread |
---|
| 599 | uint32_t ltid; // index in process th_tbl |
---|
| 600 | uint32_t count; // request counter |
---|
| 601 | pid_t pid; // process PID |
---|
| 602 | cxy_t client_cxy; // client thread cluster identifier |
---|
| 603 | thread_t * client_ptr; // client thread pointer |
---|
| 604 | core_t * client_core; // client thread core pointer |
---|
| 605 | |
---|
| 606 | // get process PID |
---|
| 607 | pid = process->pid; |
---|
| 608 | |
---|
| 609 | signal_dmsg("\n[DBG] %s : enter for process %x in cluster %x at cycle %d\n", |
---|
| 610 | __FUNCTION__ , pid , local_cxy , (uint32_t)hal_get_cycles() ); |
---|
| 611 | |
---|
| 612 | // loop on threads to release memory allocated to threads |
---|
| 613 | for( ltid = 0 , count = 0 ; count < process->th_nr ; ltid++ ) |
---|
| 614 | { |
---|
| 615 | thread = process->th_tbl[ltid]; |
---|
| 616 | |
---|
| 617 | if( thread != NULL ) // thread found |
---|
| 618 | { |
---|
| 619 | count++; |
---|
| 620 | |
---|
| 621 | // detach thread from parent if attached |
---|
| 622 | if( (thread->flags & THREAD_FLAG_DETACHED) == 0 ) |
---|
[407] | 623 | thread_child_parent_unlink( thread->parent , XPTR( local_cxy , thread ) ); |
---|
| 624 | |
---|
[409] | 625 | // detach thread from process |
---|
[1] | 626 | process_remove_thread( thread ); |
---|
| 627 | |
---|
[409] | 628 | // remove thread from scheduler |
---|
| 629 | sched_remove_thread( thread ); |
---|
| 630 | |
---|
| 631 | // release memory allocated to thread |
---|
[1] | 632 | thread_destroy( thread ); |
---|
| 633 | } |
---|
| 634 | } |
---|
| 635 | |
---|
[409] | 636 | // release memory allocated to process descriptors |
---|
| 637 | // for all clusters other than the owner cluster |
---|
| 638 | if( local_cxy != CXY_FROM_PID( process->pid ) ) process_destroy( process ); |
---|
[407] | 639 | |
---|
[409] | 640 | // acknowledge client thread & unblock client thread if last response |
---|
| 641 | client_cxy = GET_CXY( client_xp ); |
---|
| 642 | client_ptr = (thread_t *)GET_PTR( client_xp ); |
---|
| 643 | client_core = (core_t *)hal_remote_lpt( XPTR( client_cxy , &client_ptr->core ) ); |
---|
| 644 | if( hal_remote_atomic_add( rsp_xp , -1 ) == 1 ) |
---|
| 645 | { |
---|
| 646 | thread_unblock( client_xp , THREAD_BLOCKED_RPC); |
---|
| 647 | dev_pic_send_ipi( client_cxy , client_core->lid ); |
---|
| 648 | } |
---|
[1] | 649 | |
---|
[409] | 650 | signal_dmsg("\n[DBG] %s : exit for process %x in cluster %x at cycle %d\n", |
---|
| 651 | __FUNCTION__ , pid , local_cxy , (uint32_t)hal_get_cycles() ); |
---|
[1] | 652 | |
---|
[409] | 653 | } // end process_delete() |
---|
[407] | 654 | |
---|
[1] | 655 | /////////////////////////////////////////////// |
---|
| 656 | process_t * process_get_local_copy( pid_t pid ) |
---|
| 657 | { |
---|
| 658 | error_t error; |
---|
[172] | 659 | process_t * process_ptr; // local pointer on process |
---|
[23] | 660 | xptr_t process_xp; // extended pointer on process |
---|
[1] | 661 | |
---|
| 662 | cluster_t * cluster = LOCAL_CLUSTER; |
---|
| 663 | |
---|
| 664 | // get lock protecting local list of processes |
---|
[23] | 665 | remote_spinlock_lock( XPTR( local_cxy , &cluster->pmgr.local_lock ) ); |
---|
[1] | 666 | |
---|
| 667 | // scan the local list of process descriptors to find the process |
---|
[23] | 668 | xptr_t iter; |
---|
| 669 | bool_t found = false; |
---|
| 670 | XLIST_FOREACH( XPTR( local_cxy , &cluster->pmgr.local_root ) , iter ) |
---|
[1] | 671 | { |
---|
[23] | 672 | process_xp = XLIST_ELEMENT( iter , process_t , local_list ); |
---|
| 673 | process_ptr = (process_t *)GET_PTR( process_xp ); |
---|
| 674 | if( process_ptr->pid == pid ) |
---|
[1] | 675 | { |
---|
| 676 | found = true; |
---|
| 677 | break; |
---|
| 678 | } |
---|
| 679 | } |
---|
| 680 | |
---|
| 681 | // release lock protecting local list of processes |
---|
[23] | 682 | remote_spinlock_unlock( XPTR( local_cxy , &cluster->pmgr.local_lock ) ); |
---|
[1] | 683 | |
---|
[172] | 684 | // allocate memory for a new local process descriptor |
---|
[23] | 685 | // and initialise it from reference cluster if required |
---|
[1] | 686 | if( !found ) |
---|
| 687 | { |
---|
| 688 | // get extended pointer on reference process descriptor |
---|
[23] | 689 | xptr_t ref_xp = cluster_get_reference_process_from_pid( pid ); |
---|
[1] | 690 | |
---|
[23] | 691 | assert( (ref_xp != XPTR_NULL) , __FUNCTION__ , "illegal pid\n" ); |
---|
| 692 | |
---|
[1] | 693 | // allocate memory for local process descriptor |
---|
[23] | 694 | process_ptr = process_alloc(); |
---|
| 695 | if( process_ptr == NULL ) return NULL; |
---|
[1] | 696 | |
---|
| 697 | // initialize local process descriptor copy |
---|
[23] | 698 | error = process_copy_init( process_ptr , ref_xp ); |
---|
[1] | 699 | if( error ) return NULL; |
---|
| 700 | } |
---|
| 701 | |
---|
[23] | 702 | return process_ptr; |
---|
[1] | 703 | |
---|
[409] | 704 | } // end process_get_local_copy() |
---|
| 705 | |
---|
[1] | 706 | ////////////////////////////////////////////////////////////////////////////////////////// |
---|
| 707 | // File descriptor array related functions |
---|
| 708 | ////////////////////////////////////////////////////////////////////////////////////////// |
---|
| 709 | |
---|
| 710 | /////////////////////////////////////////// |
---|
| 711 | void process_fd_init( process_t * process ) |
---|
| 712 | { |
---|
| 713 | uint32_t fd; |
---|
| 714 | |
---|
| 715 | remote_spinlock_init( XPTR( local_cxy , &process->fd_array.lock ) ); |
---|
| 716 | |
---|
[23] | 717 | process->fd_array.current = 0; |
---|
| 718 | |
---|
[1] | 719 | // initialize array |
---|
[23] | 720 | for ( fd = 0 ; fd < CONFIG_PROCESS_FILE_MAX_NR ; fd++ ) |
---|
[1] | 721 | { |
---|
| 722 | process->fd_array.array[fd] = XPTR_NULL; |
---|
| 723 | } |
---|
| 724 | } |
---|
| 725 | |
---|
[23] | 726 | ////////////////////////////// |
---|
| 727 | bool_t process_fd_array_full() |
---|
[1] | 728 | { |
---|
[172] | 729 | // get extended pointer on reference process |
---|
[23] | 730 | xptr_t ref_xp = CURRENT_THREAD->process->ref_xp; |
---|
[1] | 731 | |
---|
[23] | 732 | // get reference process cluster and local pointer |
---|
| 733 | process_t * ref_ptr = (process_t *)GET_PTR( ref_xp ); |
---|
| 734 | cxy_t ref_cxy = GET_CXY( ref_xp ); |
---|
[1] | 735 | |
---|
[23] | 736 | // get number of open file descriptors from reference fd_array |
---|
| 737 | uint32_t current = hal_remote_lw( XPTR( ref_cxy , &ref_ptr->fd_array.current ) ); |
---|
| 738 | |
---|
[172] | 739 | return ( current >= CONFIG_PROCESS_FILE_MAX_NR ); |
---|
[1] | 740 | } |
---|
| 741 | |
---|
| 742 | ///////////////////////////////////////////////// |
---|
[407] | 743 | error_t process_fd_register( process_t * process, |
---|
| 744 | xptr_t file_xp, |
---|
| 745 | uint32_t * fdid ) |
---|
[1] | 746 | { |
---|
| 747 | bool_t found; |
---|
[23] | 748 | uint32_t id; |
---|
| 749 | xptr_t xp; |
---|
[1] | 750 | |
---|
[23] | 751 | // get reference process cluster and local pointer |
---|
[407] | 752 | xptr_t ref_xp = process->ref_xp; |
---|
[23] | 753 | process_t * ref_ptr = (process_t *)GET_PTR( ref_xp ); |
---|
| 754 | cxy_t ref_cxy = GET_CXY( ref_xp ); |
---|
| 755 | |
---|
| 756 | // take lock protecting reference fd_array |
---|
| 757 | remote_spinlock_lock( XPTR( ref_cxy , &ref_ptr->fd_array.lock ) ); |
---|
| 758 | |
---|
[1] | 759 | found = false; |
---|
| 760 | |
---|
[23] | 761 | for ( id = 0; id < CONFIG_PROCESS_FILE_MAX_NR ; id++ ) |
---|
[1] | 762 | { |
---|
[23] | 763 | xp = hal_remote_lwd( XPTR( ref_cxy , &ref_ptr->fd_array.array[id] ) ); |
---|
| 764 | if ( xp == XPTR_NULL ) |
---|
[1] | 765 | { |
---|
| 766 | found = true; |
---|
[23] | 767 | hal_remote_swd( XPTR( ref_cxy , &ref_ptr->fd_array.array[id] ) , file_xp ); |
---|
| 768 | hal_remote_atomic_add( XPTR( ref_cxy , &ref_ptr->fd_array.current ) , 1 ); |
---|
[407] | 769 | *fdid = id; |
---|
[1] | 770 | break; |
---|
| 771 | } |
---|
| 772 | } |
---|
| 773 | |
---|
[23] | 774 | // release lock protecting reference fd_array |
---|
| 775 | remote_spinlock_unlock( XPTR( ref_cxy , &ref_ptr->fd_array.lock ) ); |
---|
[1] | 776 | |
---|
| 777 | if ( !found ) return EMFILE; |
---|
| 778 | else return 0; |
---|
[172] | 779 | } |
---|
[1] | 780 | |
---|
[172] | 781 | //////////////////////////////////////////////// |
---|
[23] | 782 | xptr_t process_fd_get_xptr( process_t * process, |
---|
[407] | 783 | uint32_t fdid ) |
---|
[1] | 784 | { |
---|
[23] | 785 | xptr_t file_xp; |
---|
[1] | 786 | |
---|
[23] | 787 | // access local copy of process descriptor |
---|
[407] | 788 | file_xp = process->fd_array.array[fdid]; |
---|
[1] | 789 | |
---|
[23] | 790 | if( file_xp == XPTR_NULL ) |
---|
| 791 | { |
---|
| 792 | // get reference process cluster and local pointer |
---|
| 793 | xptr_t ref_xp = process->ref_xp; |
---|
| 794 | cxy_t ref_cxy = GET_CXY( ref_xp ); |
---|
| 795 | process_t * ref_ptr = (process_t *)GET_PTR( ref_xp ); |
---|
[1] | 796 | |
---|
[23] | 797 | // access reference process descriptor |
---|
[407] | 798 | file_xp = hal_remote_lwd( XPTR( ref_cxy , &ref_ptr->fd_array.array[fdid] ) ); |
---|
[1] | 799 | |
---|
[23] | 800 | // update local fd_array if found |
---|
| 801 | if( file_xp != XPTR_NULL ) |
---|
| 802 | { |
---|
[407] | 803 | process->fd_array.array[fdid] = file_xp; |
---|
[23] | 804 | } |
---|
| 805 | } |
---|
[1] | 806 | |
---|
[23] | 807 | return file_xp; |
---|
[1] | 808 | |
---|
[407] | 809 | } // end process_fd_get_xptr() |
---|
| 810 | |
---|
[1] | 811 | /////////////////////////////////////////// |
---|
| 812 | void process_fd_remote_copy( xptr_t dst_xp, |
---|
| 813 | xptr_t src_xp ) |
---|
| 814 | { |
---|
| 815 | uint32_t fd; |
---|
| 816 | xptr_t entry; |
---|
| 817 | |
---|
| 818 | // get cluster and local pointer for src fd_array |
---|
| 819 | cxy_t src_cxy = GET_CXY( src_xp ); |
---|
| 820 | fd_array_t * src_ptr = (fd_array_t *)GET_PTR( src_xp ); |
---|
| 821 | |
---|
| 822 | // get cluster and local pointer for dst fd_array |
---|
| 823 | cxy_t dst_cxy = GET_CXY( dst_xp ); |
---|
| 824 | fd_array_t * dst_ptr = (fd_array_t *)GET_PTR( dst_xp ); |
---|
| 825 | |
---|
| 826 | // get the remote lock protecting the src fd_array |
---|
| 827 | remote_spinlock_lock( XPTR( src_cxy , &src_ptr->lock ) ); |
---|
| 828 | |
---|
[409] | 829 | // loop on all entries other than |
---|
| 830 | // the three first entries: stdin/stdout/stderr |
---|
| 831 | for( fd = 3 ; fd < CONFIG_PROCESS_FILE_MAX_NR ; fd++ ) |
---|
[1] | 832 | { |
---|
| 833 | entry = (xptr_t)hal_remote_lwd( XPTR( src_cxy , &src_ptr->array[fd] ) ); |
---|
| 834 | |
---|
| 835 | if( entry != XPTR_NULL ) |
---|
| 836 | { |
---|
| 837 | // increment file descriptor ref count |
---|
| 838 | vfs_file_count_up( entry ); |
---|
| 839 | |
---|
| 840 | // copy entry in destination process fd_array |
---|
| 841 | hal_remote_swd( XPTR( dst_cxy , &dst_ptr->array[fd] ) , entry ); |
---|
| 842 | } |
---|
| 843 | } |
---|
| 844 | |
---|
| 845 | // release lock on source process fd_array |
---|
| 846 | remote_spinlock_unlock( XPTR( src_cxy , &src_ptr->lock ) ); |
---|
| 847 | |
---|
[407] | 848 | } // end process_fd_remote_copy() |
---|
| 849 | |
---|
[1] | 850 | //////////////////////////////////////////////////////////////////////////////////// |
---|
| 851 | // Thread related functions |
---|
| 852 | //////////////////////////////////////////////////////////////////////////////////// |
---|
| 853 | |
---|
| 854 | ///////////////////////////////////////////////////// |
---|
| 855 | error_t process_register_thread( process_t * process, |
---|
| 856 | thread_t * thread, |
---|
| 857 | trdid_t * trdid ) |
---|
| 858 | { |
---|
| 859 | ltid_t ltid; |
---|
| 860 | bool_t found; |
---|
| 861 | |
---|
[14] | 862 | assert( (process != NULL) , __FUNCTION__ , "process argument is NULL" ); |
---|
[1] | 863 | |
---|
[14] | 864 | assert( (thread != NULL) , __FUNCTION__ , "thread argument is NULL" ); |
---|
| 865 | |
---|
[407] | 866 | // search a free slot in th_tbl[] |
---|
| 867 | // 0 is not a valid ltid value |
---|
[1] | 868 | found = false; |
---|
[407] | 869 | for( ltid = 1 ; ltid < CONFIG_THREAD_MAX_PER_CLUSTER ; ltid++ ) |
---|
[1] | 870 | { |
---|
| 871 | if( process->th_tbl[ltid] == NULL ) |
---|
| 872 | { |
---|
| 873 | found = true; |
---|
| 874 | break; |
---|
| 875 | } |
---|
| 876 | } |
---|
| 877 | |
---|
| 878 | if( found ) |
---|
| 879 | { |
---|
| 880 | // register thread in th_tbl[] |
---|
| 881 | process->th_tbl[ltid] = thread; |
---|
| 882 | process->th_nr++; |
---|
| 883 | |
---|
| 884 | // returns trdid |
---|
| 885 | *trdid = TRDID( local_cxy , ltid ); |
---|
| 886 | } |
---|
| 887 | |
---|
| 888 | return (found) ? 0 : ENOMEM; |
---|
[204] | 889 | |
---|
| 890 | } // end process_register_thread() |
---|
| 891 | |
---|
[1] | 892 | /////////////////////////////////////////////// |
---|
| 893 | void process_remove_thread( thread_t * thread ) |
---|
| 894 | { |
---|
[373] | 895 | assert( (thread != NULL) , __FUNCTION__ , "thread argument is NULL" ); |
---|
[172] | 896 | |
---|
[1] | 897 | process_t * process = thread->process; |
---|
| 898 | |
---|
| 899 | // get thread local index |
---|
| 900 | ltid_t ltid = LTID_FROM_TRDID( thread->trdid ); |
---|
| 901 | |
---|
| 902 | // remove thread from th_tbl[] |
---|
| 903 | process->th_tbl[ltid] = NULL; |
---|
| 904 | process->th_nr--; |
---|
| 905 | |
---|
[204] | 906 | } // process_remove_thread() |
---|
| 907 | |
---|
[408] | 908 | ///////////////////////////////////////////////////////// |
---|
| 909 | error_t process_make_fork( xptr_t parent_process_xp, |
---|
| 910 | xptr_t parent_thread_xp, |
---|
| 911 | pid_t * child_pid, |
---|
| 912 | thread_t ** child_thread ) |
---|
[1] | 913 | { |
---|
[408] | 914 | process_t * process; // local pointer on child process descriptor |
---|
| 915 | thread_t * thread; // local pointer on child thread descriptor |
---|
| 916 | pid_t new_pid; // process identifier for child process |
---|
| 917 | pid_t parent_pid; // process identifier for parent process |
---|
| 918 | xptr_t ref_xp; // extended pointer on reference process |
---|
| 919 | error_t error; |
---|
[1] | 920 | |
---|
[408] | 921 | // get cluster and local pointer for parent process |
---|
| 922 | cxy_t parent_process_cxy = GET_CXY( parent_process_xp ); |
---|
| 923 | process_t * parent_process_ptr = (process_t *)GET_PTR( parent_process_xp ); |
---|
[101] | 924 | |
---|
[408] | 925 | // get parent process PID |
---|
| 926 | parent_pid = hal_remote_lw( XPTR( parent_process_cxy , &parent_process_ptr->pid ) ); |
---|
| 927 | |
---|
| 928 | // check parent process is the reference |
---|
| 929 | ref_xp = hal_remote_lwd( XPTR( parent_process_cxy , &parent_process_ptr->ref_xp ) ); |
---|
| 930 | assert( (parent_process_xp == ref_xp ) , __FUNCTION__ , |
---|
| 931 | "parent process must be the reference process\n" ); |
---|
[407] | 932 | |
---|
[409] | 933 | fork_dmsg("\n[DBG] %s : core[%x,%d] enter at cycle %d\n", |
---|
| 934 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid , (uint32_t)hal_get_cycles() ); |
---|
[172] | 935 | |
---|
[408] | 936 | // allocate a process descriptor |
---|
| 937 | process = process_alloc(); |
---|
| 938 | if( process == NULL ) |
---|
| 939 | { |
---|
| 940 | printk("\n[ERROR] in %s : cannot get process in cluster %x\n", |
---|
| 941 | __FUNCTION__, local_cxy ); |
---|
| 942 | return -1; |
---|
| 943 | } |
---|
[1] | 944 | |
---|
[409] | 945 | fork_dmsg("\n[DBG] %s : core[%x,%d] child process descriptor allocated at cycle %d\n", |
---|
| 946 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid, (uint32_t)hal_get_cycles() ); |
---|
[408] | 947 | |
---|
| 948 | // allocate a child PID from local cluster |
---|
| 949 | error = cluster_pid_alloc( XPTR( local_cxy , process ) , &new_pid ); |
---|
| 950 | if( (error != 0) || (new_pid == 0) ) |
---|
[1] | 951 | { |
---|
[408] | 952 | printk("\n[ERROR] in %s : cannot get PID in cluster %x\n", |
---|
| 953 | __FUNCTION__, local_cxy ); |
---|
| 954 | process_free( process ); |
---|
| 955 | return -1; |
---|
[1] | 956 | } |
---|
[408] | 957 | |
---|
[409] | 958 | fork_dmsg("\n[DBG] %s : core[%x, %d] child process PID allocated = %x at cycle %d\n", |
---|
| 959 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid, new_pid , (uint32_t)hal_get_cycles() ); |
---|
[408] | 960 | |
---|
| 961 | // initializes child process descriptor from parent process descriptor |
---|
| 962 | process_reference_init( process, |
---|
| 963 | new_pid, |
---|
| 964 | parent_pid, |
---|
| 965 | parent_process_xp ); |
---|
| 966 | |
---|
[409] | 967 | fork_dmsg("\n[DBG] %s : core[%x, %d] child process initialised at cycle %d\n", |
---|
[408] | 968 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid, hal_get_cycles() ); |
---|
| 969 | |
---|
| 970 | // copy VMM from parent descriptor to child descriptor |
---|
| 971 | error = vmm_fork_copy( process, |
---|
| 972 | parent_process_xp ); |
---|
| 973 | if( error ) |
---|
[101] | 974 | { |
---|
[408] | 975 | printk("\n[ERROR] in %s : cannot copy VMM in cluster %x\n", |
---|
| 976 | __FUNCTION__, local_cxy ); |
---|
| 977 | process_free( process ); |
---|
| 978 | cluster_pid_release( new_pid ); |
---|
| 979 | return -1; |
---|
[101] | 980 | } |
---|
[172] | 981 | |
---|
[409] | 982 | fork_dmsg("\n[DBG] %s : core[%x, %d] child process VMM copied at cycle %d\n", |
---|
| 983 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid, (uint32_t)hal_get_cycles() ); |
---|
[407] | 984 | |
---|
[408] | 985 | // create child thread descriptor from parent thread descriptor |
---|
| 986 | error = thread_user_fork( parent_thread_xp, |
---|
| 987 | process, |
---|
| 988 | &thread ); |
---|
| 989 | if( error ) |
---|
| 990 | { |
---|
| 991 | printk("\n[ERROR] in %s : cannot create thread in cluster %x\n", |
---|
| 992 | __FUNCTION__, local_cxy ); |
---|
| 993 | process_free( process ); |
---|
| 994 | cluster_pid_release( new_pid ); |
---|
| 995 | return -1; |
---|
| 996 | } |
---|
[172] | 997 | |
---|
[409] | 998 | fork_dmsg("\n[DBG] %s : core[%x,%d] child thread created at cycle %d\n", |
---|
| 999 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid, (uint32_t)hal_get_cycles() ); |
---|
[1] | 1000 | |
---|
[408] | 1001 | // update parent process GPT to set Copy_On_Write for shared data vsegs |
---|
| 1002 | // this includes all replicated GPT copies |
---|
| 1003 | if( parent_process_cxy == local_cxy ) // reference is local |
---|
| 1004 | { |
---|
| 1005 | vmm_set_cow( parent_process_ptr ); |
---|
| 1006 | } |
---|
| 1007 | else // reference is remote |
---|
| 1008 | { |
---|
| 1009 | rpc_vmm_set_cow_client( parent_process_cxy, |
---|
| 1010 | parent_process_ptr ); |
---|
| 1011 | } |
---|
[1] | 1012 | |
---|
[409] | 1013 | fork_dmsg("\n[DBG] %s : core[%x,%d] COW set in parent_process at cycle %d\n", |
---|
| 1014 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid, (uint32_t)hal_get_cycles() ); |
---|
[101] | 1015 | |
---|
[408] | 1016 | // update children list in parent process |
---|
| 1017 | xlist_add_last( XPTR( parent_process_cxy , &parent_process_ptr->children_root ), |
---|
| 1018 | XPTR( local_cxy , &process->brothers_list ) ); |
---|
| 1019 | hal_remote_atomic_add( XPTR( parent_process_cxy, |
---|
| 1020 | &parent_process_ptr->children_nr), 1 ); |
---|
[101] | 1021 | |
---|
[408] | 1022 | // vmm_display( process , true ); |
---|
| 1023 | // vmm_display( parent_process_ptr , true ); |
---|
| 1024 | // sched_display( 0 ); |
---|
[204] | 1025 | |
---|
[408] | 1026 | // return success |
---|
| 1027 | *child_thread = thread; |
---|
| 1028 | *child_pid = new_pid; |
---|
[1] | 1029 | |
---|
[409] | 1030 | fork_dmsg("\n[DBG] %s : core[%x,%d] exit at cycle %d\n", |
---|
| 1031 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, (uint32_t)hal_get_cycles() ); |
---|
| 1032 | |
---|
[408] | 1033 | return 0; |
---|
| 1034 | |
---|
| 1035 | } // end process_make_fork() |
---|
| 1036 | |
---|
[409] | 1037 | /* deprecated because we don't wand to destroy the existing process descriptor |
---|
| 1038 | |
---|
[408] | 1039 | ///////////////////////////////////////////////////// |
---|
| 1040 | error_t process_make_exec( exec_info_t * exec_info ) |
---|
| 1041 | { |
---|
| 1042 | char * path; // pathname to .elf file |
---|
| 1043 | process_t * old; // local pointer on old process |
---|
| 1044 | process_t * new; // local pointer on new process |
---|
| 1045 | pid_t pid; // old process identifier |
---|
| 1046 | thread_t * thread; // pointer on new thread |
---|
| 1047 | pthread_attr_t attr; // main thread attributes |
---|
| 1048 | lid_t lid; // selected core local index |
---|
| 1049 | error_t error; |
---|
| 1050 | |
---|
| 1051 | // get .elf pathname and PID from exec_info |
---|
| 1052 | path = exec_info->path; |
---|
| 1053 | pid = exec_info->pid; |
---|
| 1054 | |
---|
[409] | 1055 | // check local cluster is process owner |
---|
[408] | 1056 | assert( (CXY_FROM_PID( pid ) == local_cxy), __FUNCTION__, |
---|
| 1057 | "local cluster %x is not owner for process %x\n", local_cxy, pid ); |
---|
| 1058 | |
---|
| 1059 | exec_dmsg("\n[DBG] %s : core[%x,%d] enters for process %x / path = %s\n", |
---|
| 1060 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, pid , path ); |
---|
| 1061 | |
---|
| 1062 | // get old process local pointer |
---|
| 1063 | old = (process_t *)cluster_get_local_process_from_pid( pid ); |
---|
| 1064 | |
---|
| 1065 | assert( (old != NULL ) , __FUNCTION__ , |
---|
| 1066 | "process %x not found in cluster %x\n", pid , local_cxy ); |
---|
| 1067 | |
---|
| 1068 | // allocate memory for new process descriptor |
---|
| 1069 | new = process_alloc(); |
---|
| 1070 | |
---|
| 1071 | // initialize new process descriptor |
---|
| 1072 | process_reference_init( new, |
---|
| 1073 | old->pid, // same as old |
---|
| 1074 | old->ppid, // same as old |
---|
| 1075 | XPTR( local_cxy , old ) ); |
---|
| 1076 | |
---|
| 1077 | exec_dmsg("\n[DBG] %s : core[%x,%d] created new process %x / path = %s\n", |
---|
| 1078 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, pid, path ); |
---|
| 1079 | |
---|
| 1080 | // register "code" and "data" vsegs as well as entry-point |
---|
| 1081 | // in new process VMM, using information contained in the elf file. |
---|
| 1082 | if( elf_load_process( path , new ) ) |
---|
[1] | 1083 | { |
---|
[407] | 1084 | printk("\n[ERROR] in %s : failed to access .elf file for process %x / path = %s\n", |
---|
[408] | 1085 | __FUNCTION__, pid , path ); |
---|
| 1086 | process_destroy( new ); |
---|
| 1087 | return -1; |
---|
[1] | 1088 | } |
---|
| 1089 | |
---|
[409] | 1090 | exec_dmsg("\n[DBG] %s : core[%x,%d] vsegs registered / path = %s\n", |
---|
| 1091 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, path ); |
---|
[1] | 1092 | |
---|
[408] | 1093 | // select a core in local cluster to execute the main thread |
---|
[1] | 1094 | lid = cluster_select_local_core(); |
---|
| 1095 | |
---|
| 1096 | // initialize pthread attributes for main thread |
---|
[23] | 1097 | attr.attributes = PT_ATTR_DETACH | PT_ATTR_CLUSTER_DEFINED | PT_ATTR_CORE_DEFINED; |
---|
| 1098 | attr.cxy = local_cxy; |
---|
| 1099 | attr.lid = lid; |
---|
[1] | 1100 | |
---|
[172] | 1101 | // create and initialize thread descriptor |
---|
[23] | 1102 | error = thread_user_create( pid, |
---|
[408] | 1103 | (void *)new->vmm.entry_point, |
---|
[23] | 1104 | exec_info->args_pointers, |
---|
[1] | 1105 | &attr, |
---|
[172] | 1106 | &thread ); |
---|
[1] | 1107 | if( error ) |
---|
| 1108 | { |
---|
| 1109 | printk("\n[ERROR] in %s : cannot create thread for process %x / path = %s\n", |
---|
[407] | 1110 | __FUNCTION__, pid , path ); |
---|
[408] | 1111 | process_destroy( new ); |
---|
| 1112 | return -1; |
---|
[1] | 1113 | } |
---|
| 1114 | |
---|
[408] | 1115 | exec_dmsg("\n[DBG] %s : core[%x,%d] created main thread %x for new process %x\n", |
---|
| 1116 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid, thread->trdid, pid ); |
---|
[204] | 1117 | |
---|
[408] | 1118 | // update children list (rooted in parent process) |
---|
| 1119 | xlist_replace( XPTR( local_cxy , &old->brothers_list ) , |
---|
| 1120 | XPTR( local_cxy , &new->brothers_list ) ); |
---|
[101] | 1121 | |
---|
[409] | 1122 | // request destruction of old process copies and threads in all clusters |
---|
| 1123 | process_sigaction( old , SIGKILL ); |
---|
[408] | 1124 | |
---|
[172] | 1125 | // activate new thread |
---|
[1] | 1126 | thread_unblock( XPTR( local_cxy , thread ) , THREAD_BLOCKED_GLOBAL ); |
---|
| 1127 | |
---|
[408] | 1128 | exec_dmsg("\n[DBG] %s : core[%x,%d] exit for path = %s\n", |
---|
[407] | 1129 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, path ); |
---|
[204] | 1130 | |
---|
[1] | 1131 | return 0; |
---|
| 1132 | |
---|
[407] | 1133 | } // end process_make_exec() |
---|
[204] | 1134 | |
---|
[409] | 1135 | */ |
---|
| 1136 | |
---|
| 1137 | ///////////////////////////////////////////////////// |
---|
| 1138 | error_t process_make_exec( exec_info_t * exec_info ) |
---|
| 1139 | { |
---|
| 1140 | char * path; // pathname to .elf file |
---|
| 1141 | process_t * process; // local pointer on old process |
---|
| 1142 | pid_t pid; // old process identifier |
---|
| 1143 | thread_t * thread; // pointer on new main thread |
---|
| 1144 | pthread_attr_t attr; // main thread attributes |
---|
| 1145 | lid_t lid; // selected core local index |
---|
| 1146 | error_t error; |
---|
| 1147 | |
---|
| 1148 | // get .elf pathname and PID from exec_info |
---|
| 1149 | path = exec_info->path; |
---|
| 1150 | pid = exec_info->pid; |
---|
| 1151 | |
---|
| 1152 | // check local cluster is process owner |
---|
| 1153 | assert( (CXY_FROM_PID( pid ) == local_cxy), __FUNCTION__, |
---|
| 1154 | "local cluster %x is not owner for process %x\n", local_cxy, pid ); |
---|
| 1155 | |
---|
| 1156 | exec_dmsg("\n[DBG] %s : core[%x,%d] enters for process %x / path = %s\n", |
---|
| 1157 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, pid , path ); |
---|
| 1158 | |
---|
| 1159 | // get process local pointer |
---|
| 1160 | process = (process_t *)cluster_get_local_process_from_pid( pid ); |
---|
| 1161 | |
---|
| 1162 | assert( (process != NULL ) , __FUNCTION__ , |
---|
| 1163 | "process %x not found in cluster %x\n", pid , local_cxy ); |
---|
| 1164 | |
---|
| 1165 | // reset the existing vmm |
---|
| 1166 | vmm_destroy( process ); |
---|
| 1167 | |
---|
| 1168 | exec_dmsg("\n[DBG] %s : core[%x,%d] VMM cleared\n", |
---|
| 1169 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid ); |
---|
| 1170 | |
---|
| 1171 | // block all existing process threads |
---|
| 1172 | process_sigaction( process , BLOCK_ALL_THREADS ); |
---|
| 1173 | |
---|
| 1174 | // kill all existing threads and process descriptors (other than owner) |
---|
| 1175 | process_sigaction( process , DELETE_ALL_THREADS ); |
---|
| 1176 | |
---|
| 1177 | // check no threads |
---|
| 1178 | assert( (process->th_nr == 0) , __FUNCTION__ , "no threads at this point" ); |
---|
| 1179 | |
---|
| 1180 | exec_dmsg("\n[DBG] %s : core[%x,%d] all threads deleted\n", |
---|
| 1181 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid ); |
---|
| 1182 | |
---|
| 1183 | // re-initialize VMM |
---|
| 1184 | vmm_init( process ); |
---|
| 1185 | |
---|
| 1186 | // register "code" and "data" vsegs as well as entry-point and vfs_bin_xp |
---|
| 1187 | // in VMM, using information contained in the elf file. |
---|
| 1188 | if( elf_load_process( path , process ) ) |
---|
| 1189 | { |
---|
| 1190 | printk("\n[ERROR] in %s : failed to access .elf file for process %x / path = %s\n", |
---|
| 1191 | __FUNCTION__, pid , path ); |
---|
| 1192 | process_destroy( process ); |
---|
| 1193 | return -1; |
---|
| 1194 | } |
---|
| 1195 | |
---|
| 1196 | exec_dmsg("\n[DBG] %s : core[%x,%d] new vsegs registered / path = %s\n", |
---|
| 1197 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, path ); |
---|
| 1198 | |
---|
| 1199 | // @@@ |
---|
| 1200 | vmm_display( process , true ); |
---|
| 1201 | // @@@ |
---|
| 1202 | |
---|
| 1203 | // select a core in local cluster to execute the new main thread |
---|
| 1204 | lid = cluster_select_local_core(); |
---|
| 1205 | |
---|
| 1206 | // initialize pthread attributes for new main thread |
---|
| 1207 | attr.attributes = PT_ATTR_DETACH | PT_ATTR_CLUSTER_DEFINED | PT_ATTR_CORE_DEFINED; |
---|
| 1208 | attr.cxy = local_cxy; |
---|
| 1209 | attr.lid = lid; |
---|
| 1210 | |
---|
| 1211 | // create and initialize thread descriptor |
---|
| 1212 | error = thread_user_create( pid, |
---|
| 1213 | (void *)process->vmm.entry_point, |
---|
| 1214 | exec_info->args_pointers, |
---|
| 1215 | &attr, |
---|
| 1216 | &thread ); |
---|
| 1217 | if( error ) |
---|
| 1218 | { |
---|
| 1219 | printk("\n[ERROR] in %s : cannot create thread for process %x / path = %s\n", |
---|
| 1220 | __FUNCTION__, pid , path ); |
---|
| 1221 | process_destroy( process ); |
---|
| 1222 | return -1; |
---|
| 1223 | } |
---|
| 1224 | |
---|
| 1225 | exec_dmsg("\n[DBG] %s : core[%x,%d] created main thread %x for new process %x\n", |
---|
| 1226 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid, thread->trdid, pid ); |
---|
| 1227 | |
---|
| 1228 | // activate new thread |
---|
| 1229 | thread_unblock( XPTR( local_cxy , thread ) , THREAD_BLOCKED_GLOBAL ); |
---|
| 1230 | |
---|
| 1231 | exec_dmsg("\n[DBG] %s : core[%x,%d] exit for path = %s\n", |
---|
| 1232 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, path ); |
---|
| 1233 | |
---|
| 1234 | return 0; |
---|
| 1235 | |
---|
| 1236 | } // end process_make_exec() |
---|
| 1237 | |
---|
| 1238 | //////////////////////////////////////////// |
---|
| 1239 | void process_make_kill( process_t * process, |
---|
| 1240 | uint32_t sig_id ) |
---|
| 1241 | { |
---|
| 1242 | // this function must be executed by a thread running in owner cluster |
---|
| 1243 | assert( (CXY_FROM_PID( process->pid ) == local_cxy) , __FUNCTION__ , |
---|
| 1244 | "must execute in owner cluster" ); |
---|
| 1245 | |
---|
| 1246 | // analyse signal type |
---|
| 1247 | switch( sig_id ) |
---|
| 1248 | { |
---|
| 1249 | case SIGSTOP: // block all threads |
---|
| 1250 | { |
---|
| 1251 | process_sigaction( process , BLOCK_ALL_THREADS ); |
---|
| 1252 | } |
---|
| 1253 | break; |
---|
| 1254 | case SIGCONT: // unblock all threads |
---|
| 1255 | { |
---|
| 1256 | process_sigaction( process , UNBLOCK_ALL_THREADS ); |
---|
| 1257 | } |
---|
| 1258 | break; |
---|
| 1259 | case SIGKILL: // block all threads, then delete all threads |
---|
| 1260 | { |
---|
| 1261 | process_sigaction( process , BLOCK_ALL_THREADS ); |
---|
| 1262 | process_sigaction( process , DELETE_ALL_THREADS ); |
---|
| 1263 | process_destroy( process ); |
---|
| 1264 | } |
---|
| 1265 | break; |
---|
| 1266 | } |
---|
| 1267 | } // end process_make_kill() |
---|
| 1268 | |
---|
| 1269 | //////////////////////////////////////////// |
---|
| 1270 | void process_make_exit( process_t * process, |
---|
| 1271 | uint32_t status ) |
---|
| 1272 | { |
---|
| 1273 | // this function must be executed by a thread running in owner cluster |
---|
| 1274 | assert( (CXY_FROM_PID( process->pid ) == local_cxy) , __FUNCTION__ , |
---|
| 1275 | "must execute in owner cluster" ); |
---|
| 1276 | |
---|
| 1277 | // block all threads in all clusters |
---|
| 1278 | process_sigaction( process , BLOCK_ALL_THREADS ); |
---|
| 1279 | |
---|
| 1280 | // delete all threads in all clusters |
---|
| 1281 | process_sigaction( process , DELETE_ALL_THREADS ); |
---|
| 1282 | |
---|
| 1283 | // delete local process descriptor |
---|
| 1284 | process_destroy( process ); |
---|
| 1285 | |
---|
| 1286 | } // end process_make_exit() |
---|
| 1287 | |
---|
[1] | 1288 | ////////////////////////// |
---|
| 1289 | void process_init_create() |
---|
| 1290 | { |
---|
[409] | 1291 | process_t * process; // local pointer on process_init descriptor |
---|
| 1292 | pid_t pid; // process_init identifier |
---|
| 1293 | thread_t * thread; // local pointer on main thread |
---|
| 1294 | pthread_attr_t attr; // main thread attributes |
---|
| 1295 | lid_t lid; // selected core local index for main thread |
---|
| 1296 | error_t error; |
---|
[1] | 1297 | |
---|
[409] | 1298 | kinit_dmsg("\n[DBG] %s : core[%x,%d] enters\n", |
---|
| 1299 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid ); |
---|
[1] | 1300 | |
---|
[408] | 1301 | // allocates memory for process descriptor from local cluster |
---|
| 1302 | process = process_alloc(); |
---|
| 1303 | if( process == NULL ) |
---|
| 1304 | { |
---|
| 1305 | printk("\n[PANIC] in %s : no memory for process descriptor in cluster %x\n", |
---|
[409] | 1306 | __FUNCTION__, local_cxy ); |
---|
[408] | 1307 | } |
---|
[101] | 1308 | |
---|
[409] | 1309 | // get PID from local cluster |
---|
[408] | 1310 | error = cluster_pid_alloc( XPTR( local_cxy , process ) , &pid ); |
---|
| 1311 | if( error ) |
---|
| 1312 | { |
---|
| 1313 | printk("\n[PANIC] in %s : cannot allocate PID in cluster %x\n", |
---|
| 1314 | __FUNCTION__, local_cxy ); |
---|
[409] | 1315 | process_destroy( process ); |
---|
[408] | 1316 | } |
---|
| 1317 | |
---|
[409] | 1318 | assert( (LPID_FROM_PID(pid) == 1) , __FUNCTION__ , "LPID must be 1 for process_init" ); |
---|
| 1319 | |
---|
| 1320 | // initialize process descriptor / parent is local process_zero |
---|
| 1321 | process_reference_init( process, |
---|
[408] | 1322 | pid, |
---|
[409] | 1323 | 0, |
---|
[408] | 1324 | XPTR( local_cxy , &process_zero ) ); |
---|
| 1325 | |
---|
[409] | 1326 | kinit_dmsg("\n[DBG] %s : core[%x,%d] / process initialised\n", |
---|
| 1327 | __FUNCTION__ , local_cxy, CURRENT_THREAD->core->lid ); |
---|
[1] | 1328 | |
---|
[409] | 1329 | // register "code" and "data" vsegs as well as entry-point |
---|
| 1330 | // in process VMM, using information contained in the elf file. |
---|
| 1331 | if( elf_load_process( CONFIG_PROCESS_INIT_PATH , process ) ) |
---|
| 1332 | { |
---|
| 1333 | printk("\n[PANIC] in %s : cannot access .elf file / path = %s\n", |
---|
| 1334 | __FUNCTION__, CONFIG_PROCESS_INIT_PATH ); |
---|
| 1335 | process_destroy( process ); |
---|
| 1336 | } |
---|
[101] | 1337 | |
---|
[409] | 1338 | kinit_dmsg("\n[DBG] %s : core[%x,%d] vsegs registered / path = %s\n", |
---|
| 1339 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, CONFIG_PROCESS_INIT_PATH ); |
---|
| 1340 | |
---|
| 1341 | // select a core in local cluster to execute the main thread |
---|
| 1342 | lid = cluster_select_local_core(); |
---|
| 1343 | |
---|
| 1344 | // initialize pthread attributes for main thread |
---|
| 1345 | attr.attributes = PT_ATTR_DETACH | PT_ATTR_CLUSTER_DEFINED | PT_ATTR_CORE_DEFINED; |
---|
| 1346 | attr.cxy = local_cxy; |
---|
| 1347 | attr.lid = lid; |
---|
| 1348 | |
---|
| 1349 | // create and initialize thread descriptor |
---|
| 1350 | error = thread_user_create( pid, |
---|
| 1351 | (void *)process->vmm.entry_point, |
---|
| 1352 | NULL, |
---|
| 1353 | &attr, |
---|
| 1354 | &thread ); |
---|
[408] | 1355 | if( error ) |
---|
[409] | 1356 | { |
---|
| 1357 | printk("\n[PANIC] in %s : cannot create main thread / path = %s\n", |
---|
| 1358 | __FUNCTION__, CONFIG_PROCESS_INIT_PATH ); |
---|
| 1359 | process_destroy( process ); |
---|
| 1360 | } |
---|
[1] | 1361 | |
---|
[409] | 1362 | // activate thread |
---|
| 1363 | thread_unblock( XPTR( local_cxy , thread ) , THREAD_BLOCKED_GLOBAL ); |
---|
| 1364 | |
---|
[124] | 1365 | hal_fence(); |
---|
[1] | 1366 | |
---|
[409] | 1367 | kinit_dmsg("\n[DBG] %s : core[%x,%d] exit / main thread = %x\n", |
---|
| 1368 | __FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, thread ); |
---|
| 1369 | |
---|
[204] | 1370 | } // end process_init_create() |
---|
| 1371 | |
---|