[1] | 1 | /* |
---|
| 2 | * thread.h - Thread and related operations definition. |
---|
[174] | 3 | * |
---|
[1] | 4 | * Author Ghassan Almaless (2008,2009,2010,2011,2012) |
---|
[564] | 5 | * Alain Greiner (2016,2017,2018) |
---|
[1] | 6 | * |
---|
| 7 | * Copyright (c) UPMC Sorbonne Universites |
---|
| 8 | * |
---|
| 9 | * This file is part of ALMOS-MKH. |
---|
| 10 | * |
---|
| 11 | * ALMOS-MKH is free software; you can redistribute it and/or modify it |
---|
| 12 | * under the terms of the GNU General Public License as published by |
---|
| 13 | * the Free Software Foundation; version 2.0 of the License. |
---|
| 14 | * |
---|
| 15 | * ALMOS-MKH is distributed in the hope that it will be useful, but |
---|
| 16 | * WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
| 17 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
---|
| 18 | * General Public License for more details. |
---|
| 19 | * |
---|
| 20 | * You should have received a copy of the GNU General Public License |
---|
| 21 | * along with ALMOS-MKH; if not, write to the Free Software Foundation, |
---|
| 22 | * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA |
---|
| 23 | */ |
---|
| 24 | |
---|
| 25 | #ifndef _THREAD_H_ |
---|
| 26 | #define _THREAD_H_ |
---|
| 27 | |
---|
[457] | 28 | #include <hal_kernel_types.h> |
---|
[407] | 29 | #include <shared_syscalls.h> |
---|
[1] | 30 | #include <hal_special.h> |
---|
| 31 | #include <xlist.h> |
---|
| 32 | #include <list.h> |
---|
| 33 | #include <hal_context.h> |
---|
[564] | 34 | #include <remote_busylock.h> |
---|
[1] | 35 | #include <core.h> |
---|
[408] | 36 | #include <chdev.h> |
---|
[1] | 37 | #include <cluster.h> |
---|
| 38 | #include <process.h> |
---|
| 39 | #include <dev_ioc.h> |
---|
| 40 | #include <dev_nic.h> |
---|
| 41 | #include <dev_txt.h> |
---|
| 42 | #include <dev_mmc.h> |
---|
[5] | 43 | #include <dev_dma.h> |
---|
[1] | 44 | |
---|
| 45 | /*************************************************************************************** |
---|
[409] | 46 | * These macros are used to compose or decompose the global thread identifier (TRDID) |
---|
[23] | 47 | * to or from cluster identifier / local thread index (CXY , LTID) |
---|
[1] | 48 | **************************************************************************************/ |
---|
| 49 | |
---|
[174] | 50 | #define LTID_FROM_TRDID( trdid ) (ltid_t)(trdid & 0x0000FFFF) |
---|
[23] | 51 | #define CXY_FROM_TRDID( trdid ) (cxy_t)(trdid >> 16) |
---|
| 52 | #define TRDID( cxy , ltid ) (trdid_t)((cxy << 16) | ltid ) |
---|
[1] | 53 | |
---|
| 54 | /*************************************************************************************** |
---|
| 55 | * This enum defines the thread types. |
---|
| 56 | **************************************************************************************/ |
---|
| 57 | |
---|
| 58 | typedef enum |
---|
[174] | 59 | { |
---|
| 60 | THREAD_USER = 0, /*! user thread (pthread) */ |
---|
[1] | 61 | THREAD_RPC = 1, /*! kernel thread executing pending RPCs */ |
---|
| 62 | THREAD_DEV = 2, /*! kernel thread executing I/O device commands */ |
---|
[407] | 63 | THREAD_IDLE = 3, /*! kernel idle thread */ |
---|
[174] | 64 | } |
---|
[1] | 65 | thread_type_t; |
---|
| 66 | |
---|
| 67 | /*************************************************************************************** |
---|
[23] | 68 | * This defines the thread flags bit-vector. |
---|
[1] | 69 | **************************************************************************************/ |
---|
| 70 | |
---|
[409] | 71 | #define THREAD_FLAG_DETACHED 0x0001 /*! This thread is detached from parent */ |
---|
[436] | 72 | #define THREAD_FLAG_JOIN_DONE 0x0002 /*! Parent thread made a join request */ |
---|
| 73 | #define THREAD_FLAG_KILL_DONE 0x0004 /*! This thread received a kill request */ |
---|
| 74 | #define THREAD_FLAG_REQ_ACK 0x0010 /*! Acknowledge required from scheduler */ |
---|
| 75 | #define THREAD_FLAG_REQ_DELETE 0x0020 /*! Destruction required from scheduler */ |
---|
[1] | 76 | |
---|
| 77 | /*************************************************************************************** |
---|
[443] | 78 | * This defines the thread blocking causes bit-vector. |
---|
[1] | 79 | **************************************************************************************/ |
---|
| 80 | |
---|
[174] | 81 | #define THREAD_BLOCKED_GLOBAL 0x0001 /*! thread deactivated / wait activation */ |
---|
[1] | 82 | #define THREAD_BLOCKED_IO 0x0002 /*! thread wait IO operation completion */ |
---|
| 83 | #define THREAD_BLOCKED_MAPPER 0x0004 /*! thread wait mapper */ |
---|
[409] | 84 | #define THREAD_BLOCKED_EXIT 0x0008 /*! thread blocked in join / wait exit */ |
---|
| 85 | #define THREAD_BLOCKED_JOIN 0x0010 /*! thread blocked in exit / wait join */ |
---|
| 86 | #define THREAD_BLOCKED_SEM 0x0020 /*! thread wait semaphore */ |
---|
| 87 | #define THREAD_BLOCKED_PAGE 0x0040 /*! thread wait page access */ |
---|
[438] | 88 | #define THREAD_BLOCKED_IDLE 0x0080 /*! thread RPC wait RPC_FIFO non empty */ |
---|
[409] | 89 | #define THREAD_BLOCKED_USERSYNC 0x0100 /*! thread wait (cond/mutex/barrier) */ |
---|
[407] | 90 | #define THREAD_BLOCKED_RPC 0x0200 /*! thread wait RPC completion */ |
---|
[436] | 91 | #define THREAD_BLOCKED_ISR 0x0400 /*! thread DEV wait ISR */ |
---|
[446] | 92 | #define THREAD_BLOCKED_WAIT 0x0800 /*! thread wait child process termination */ |
---|
[564] | 93 | #define THREAD_BLOCKED_LOCK 0x1000 /*! thread wait queuelock or rwlock */ |
---|
[23] | 94 | |
---|
[1] | 95 | /*************************************************************************************** |
---|
| 96 | * This structure defines thread instrumentation informations. |
---|
| 97 | **************************************************************************************/ |
---|
| 98 | |
---|
| 99 | typedef struct thread_info_s |
---|
| 100 | { |
---|
| 101 | uint32_t pgfault_nr; /*! cumulated number of page fault */ |
---|
| 102 | uint32_t sched_nr; /*! TODO ??? [AG] */ |
---|
| 103 | uint32_t u_err_nr; /*! TODO ??? [AG] */ |
---|
| 104 | uint32_t m_err_nr; /*! TODO ??? [AG] */ |
---|
[473] | 105 | cycle_t last_cycle; /*! last cycle counter value (date) */ |
---|
| 106 | cycle_t usr_cycles; /*! user execution duration (cycles) */ |
---|
| 107 | cycle_t sys_cycles; /*! system execution duration (cycles) */ |
---|
[1] | 108 | } |
---|
| 109 | thread_info_t; |
---|
| 110 | |
---|
| 111 | /*************************************************************************************** |
---|
| 112 | * This structure defines a thread descriptor. |
---|
| 113 | * It is used for both the user threads and the kernel threads. |
---|
[459] | 114 | * In a process, a user thread is identified by a unique TRDID (thread identifier): |
---|
[1] | 115 | * - The TRDID 16 LSB bits contain the LTID (Local Thread Index). |
---|
[23] | 116 | * - The TRDID 16 MSB bits contain the CXY of cluster containing the thread. |
---|
[459] | 117 | * The main thread LTID value is always 0. |
---|
| 118 | * The LTID is used to index the th_tbl[] array in the local process descriptor. |
---|
| 119 | * This TRDID is computed by the process_register_thread() function, when the user |
---|
[174] | 120 | * thread is registered in the local copy of the process descriptor. |
---|
[564] | 121 | * |
---|
| 122 | * WARNING (1) Don't modify the first 4 fields order, as this order is used by the |
---|
| 123 | * hal_kentry assembly code for some architectures (TSAR). |
---|
| 124 | * |
---|
| 125 | * WARNING (2) Most of the thread state is private and accessed only by this thread, |
---|
| 126 | * but some fields are shared, and can be modified by other threads. |
---|
| 127 | * - the "blocked" bit_vector can be modified by another thread |
---|
| 128 | * running in another cluster (using atomic instructions), |
---|
| 129 | * to change this thread scheduling status. |
---|
| 130 | * - the "flags" bit_vector can be modified by another thread |
---|
| 131 | * running in another cluster (using atomic instructions), |
---|
| 132 | * to register requests such as ACK or DELETE. |
---|
| 133 | * - the "join_xp" field can be modified by the joining thread, |
---|
| 134 | * and this rendez-vous is protected by the dedicated "join_lock". |
---|
| 135 | * |
---|
| 136 | * WARNING (3) When this thread is blocked on a shared resource (queuelock, condvar, |
---|
| 137 | * or chdev), it registers in the associated waiting queue, using the |
---|
| 138 | * "wait_list" (local list) or "wait_xlist" (trans-cluster list) fields. |
---|
[1] | 139 | **************************************************************************************/ |
---|
| 140 | |
---|
| 141 | #define THREAD_SIGNATURE 0xDEADBEEF |
---|
| 142 | |
---|
| 143 | typedef struct thread_s |
---|
| 144 | { |
---|
[408] | 145 | void * cpu_context; /*! pointer on CPU context switch */ |
---|
| 146 | void * fpu_context; /*! pointer on FPU context switch */ |
---|
[428] | 147 | void * uzone_current; /*! used by hal_do_syscall & hal_do_except */ |
---|
| 148 | void * uzone_previous; /*! used by hal_do_syscall & hal_do_except */ |
---|
[16] | 149 | |
---|
[406] | 150 | intptr_t k_stack_base; /*! kernel stack base address */ |
---|
| 151 | uint32_t k_stack_size; /*! kernel stack size (bytes) */ |
---|
| 152 | |
---|
[23] | 153 | uint32_t trdid; /*! thread index (cxy.ltid) */ |
---|
[1] | 154 | thread_type_t type; /*! thread type */ |
---|
| 155 | uint32_t quantum; /*! number of clock ticks given to thread */ |
---|
| 156 | uint32_t ticks_nr; /*! number of ticks used */ |
---|
| 157 | uint32_t time_last_check; /*! last cpu_time_stamp */ |
---|
| 158 | core_t * core; /*! pointer to the owner core */ |
---|
| 159 | process_t * process; /*! pointer on local process descriptor */ |
---|
[174] | 160 | xptr_t parent; /*! extended pointer on parent thread */ |
---|
[1] | 161 | |
---|
[564] | 162 | remote_busylock_t join_lock; /*! lock protecting the join/exit */ |
---|
[436] | 163 | xptr_t join_xp; /*! joining/killer thread extended pointer */ |
---|
[23] | 164 | |
---|
[416] | 165 | uint32_t * ack_rsp_count; /*! pointer on acknowledge response counter */ |
---|
[1] | 166 | |
---|
| 167 | intptr_t u_stack_base; /*! user stack base address */ |
---|
| 168 | uint32_t u_stack_size; /*! user stack size (bytes) */ |
---|
| 169 | |
---|
| 170 | void * entry_func; /*! pointer on entry function */ |
---|
| 171 | void * entry_args; /*! pointer on entry function arguments */ |
---|
[457] | 172 | uint32_t main_argc; /*! main thread number of arguments */ |
---|
| 173 | char ** main_argv; /*! main thread array of strings arguments */ |
---|
[1] | 174 | |
---|
| 175 | uint32_t flags; /*! bit vector of flags */ |
---|
[408] | 176 | uint32_t blocked; /*! bit vector of blocking causes */ |
---|
[1] | 177 | |
---|
[16] | 178 | error_t errno; /*! errno value set by last system call */ |
---|
[23] | 179 | uint32_t utls; /*! user thread local storage */ |
---|
[1] | 180 | |
---|
| 181 | bool_t fork_user; /*! user defined placement for next fork() */ |
---|
| 182 | cxy_t fork_cxy; /*! target cluster for next fork() */ |
---|
| 183 | |
---|
| 184 | list_entry_t sched_list; /*! member of threads attached to same core */ |
---|
| 185 | |
---|
[408] | 186 | chdev_t * chdev; /*! chdev pointer (for a DEV thread only) */ |
---|
[174] | 187 | |
---|
[408] | 188 | reg_t save_sr; /*! used by sched_yield() function */ |
---|
| 189 | |
---|
[279] | 190 | ioc_command_t ioc_cmd; /*! IOC device generic command */ |
---|
| 191 | txt_command_t txt_cmd; /*! TXT device generic command */ |
---|
| 192 | nic_command_t nic_cmd; /*! NIC device generic command */ |
---|
| 193 | mmc_command_t mmc_cmd; /*! MMC device generic command */ |
---|
| 194 | dma_command_t dma_cmd; /*! DMA device generic command */ |
---|
| 195 | |
---|
[1] | 196 | cxy_t rpc_client_cxy; /*! client cluster index (for a RPC thread) */ |
---|
| 197 | |
---|
[564] | 198 | list_entry_t wait_list; /*! member of a local waiting queue */ |
---|
| 199 | xlist_entry_t wait_xlist; /*! member of a trans-cluster waiting queue */ |
---|
[1] | 200 | |
---|
[564] | 201 | uint32_t busylocks; /*! number of taken busylocks */ |
---|
[409] | 202 | |
---|
[564] | 203 | #if DEBUG_BUSYLOCK |
---|
| 204 | xlist_entry_t busylocks_root; /*! root of xlist of taken busylocks */ |
---|
| 205 | #endif |
---|
| 206 | |
---|
[1] | 207 | thread_info_t info; /*! embedded thread_info_t */ |
---|
| 208 | |
---|
| 209 | uint32_t signature; /*! for kernel stack overflow detection */ |
---|
[174] | 210 | } |
---|
[1] | 211 | thread_t; |
---|
| 212 | |
---|
| 213 | /*************************************************************************************** |
---|
| 214 | * This macro returns a pointer on the calling thread from the core hardware register. |
---|
| 215 | **************************************************************************************/ |
---|
| 216 | |
---|
| 217 | #define CURRENT_THREAD (hal_get_current_thread()) |
---|
| 218 | |
---|
| 219 | /*************************************************************************************** |
---|
[16] | 220 | * This function returns a printable string for a thread type. |
---|
| 221 | *************************************************************************************** |
---|
| 222 | * @ type : thread type. |
---|
| 223 | * returns pointer on string. |
---|
| 224 | **************************************************************************************/ |
---|
[527] | 225 | const char * thread_type_str( thread_type_t type ); |
---|
[16] | 226 | |
---|
| 227 | /*************************************************************************************** |
---|
[408] | 228 | * This function is used by the pthread_create() system call to create a "new" thread |
---|
| 229 | * in an existing process. It allocates memory for an user thread descriptor in the |
---|
| 230 | * local cluster, and initializes it from information contained in the arguments. |
---|
[440] | 231 | * The CPU context is initialized from scratch. |
---|
[23] | 232 | * It is registered in the local process descriptor specified by the <pid> argument. |
---|
[457] | 233 | * The THREAD_BLOCKED_GLOBAL bit is set => the thread must be activated by the caller |
---|
| 234 | * to start at the next scheduling point. |
---|
[1] | 235 | *************************************************************************************** |
---|
[23] | 236 | * @ pid : process identifier. |
---|
| 237 | * @ start_func : pointer on entry function. |
---|
| 238 | * @ start_args : pointer on function argument (can be NULL). |
---|
[1] | 239 | * @ attr : pointer on pthread attributes descriptor. |
---|
[174] | 240 | * @ new_thread : [out] address of buffer for new thread descriptor pointer. |
---|
[1] | 241 | * @ returns 0 if success / returns ENOMEM if error. |
---|
| 242 | **************************************************************************************/ |
---|
[23] | 243 | error_t thread_user_create( pid_t pid, |
---|
| 244 | void * start_func, |
---|
| 245 | void * start_arg, |
---|
[1] | 246 | pthread_attr_t * attr, |
---|
[23] | 247 | thread_t ** new_thread ); |
---|
[1] | 248 | |
---|
| 249 | /*************************************************************************************** |
---|
[408] | 250 | * This function is used by the sys_fork() system call to create the "child" thread |
---|
| 251 | * in the local cluster. It allocates memory for a thread descriptor, and initializes |
---|
| 252 | * it from the "parent" thread descriptor defined by the <parent_thread_xp> argument. |
---|
[407] | 253 | * The new thread is attached to the core that has the lowest load in local cluster. |
---|
[408] | 254 | * It is registered in the "child" process defined by the <child_process> argument. |
---|
[407] | 255 | * This new thread inherits its user stack from the parent thread, as it uses the |
---|
| 256 | * Copy-On-Write mechanism to get a private stack when required. |
---|
| 257 | * The content of the parent kernel stack is copied into the child kernel stack, as |
---|
| 258 | * the Copy-On-Write mechanism cannot be used for kernel segments (because kernel |
---|
| 259 | * uses physical addressing on some architectures). |
---|
[408] | 260 | * The CPU and FPU execution contexts are created and linked to the new thread. |
---|
| 261 | * but the actual context copy is NOT done, and must be done by by the sys_fork(). |
---|
| 262 | * The THREAD_BLOCKED_GLOBAL bit is set => the thread must be activated to start. |
---|
[1] | 263 | *************************************************************************************** |
---|
[408] | 264 | * @ parent_thread_xp : extended pointer on parent thread descriptor. |
---|
| 265 | * @ child_process : local pointer on child process descriptor. |
---|
| 266 | * @ child_thread : [out] address of buffer for child thread descriptor pointer. |
---|
| 267 | * @ returns 0 if success / returns -1 if error. |
---|
[1] | 268 | **************************************************************************************/ |
---|
[408] | 269 | error_t thread_user_fork( xptr_t parent_thread_xp, |
---|
| 270 | process_t * child_process, |
---|
| 271 | thread_t ** child_thread ); |
---|
[1] | 272 | |
---|
| 273 | /*************************************************************************************** |
---|
[457] | 274 | * This function is called by the process_make_exec() function to re-initialise the |
---|
| 275 | * thread descriptor of the calling thread (that will become the new process main |
---|
| 276 | * thread), and immediately jump to user code without returning to kentry!!! |
---|
| 277 | * It must be called by the main thread of the calling process. |
---|
| 278 | * - A new user stack vseg is created and initialised. |
---|
| 279 | * - The kernel stack (currently in use) is not modified. |
---|
| 280 | * - The function calls the hal_cpu_context_exec() to re-initialize the CPU context |
---|
| 281 | * an jump to user code. |
---|
| 282 | *************************************************************************************** |
---|
| 283 | * @ entry_func : main thread entry point. |
---|
| 284 | * @ argc : number of main thread arguments. |
---|
| 285 | * @ argv : array of pointers on stringarguments. |
---|
| 286 | * @ returns 0 if success / returns ENOMEM if error. |
---|
| 287 | **************************************************************************************/ |
---|
| 288 | error_t thread_user_exec( void * entry_func, |
---|
| 289 | uint32_t argc, |
---|
| 290 | char ** argv); |
---|
| 291 | |
---|
| 292 | /*************************************************************************************** |
---|
[1] | 293 | * This function allocates memory for a kernel thread descriptor in the local cluster, |
---|
[408] | 294 | * and initializes it from arguments values. |
---|
| 295 | * It is called by kernel_init() to statically create all DEV server threads |
---|
| 296 | * It is also called to dynamically create RPC threads when required. |
---|
[174] | 297 | * The THREAD_BLOCKED_GLOBAL bit is set, and the thread must be activated to start. |
---|
[1] | 298 | *************************************************************************************** |
---|
| 299 | * @ new_thread : address of buffer for new thread pointer. |
---|
| 300 | * @ type : kernel thread type. |
---|
| 301 | * @ func : pointer on function. |
---|
| 302 | * @ args : function arguments. |
---|
| 303 | * @ core_lid : local core index. |
---|
| 304 | * @ returns 0 if success / returns ENOMEM if error |
---|
| 305 | **************************************************************************************/ |
---|
| 306 | error_t thread_kernel_create( thread_t ** new_thread, |
---|
| 307 | thread_type_t type, |
---|
[174] | 308 | void * func, |
---|
[1] | 309 | void * args, |
---|
| 310 | lid_t core_lid ); |
---|
| 311 | |
---|
| 312 | /*************************************************************************************** |
---|
[443] | 313 | * This function is called by the kernel_init() function to initialize the IDLE thread |
---|
| 314 | * descriptor from arguments values. |
---|
[174] | 315 | * The THREAD_BLOCKED_GLOBAL bit is set, and the thread must be activated to start. |
---|
[457] | 316 | * It returns a kernel panic if failure. |
---|
[14] | 317 | *************************************************************************************** |
---|
| 318 | * @ thread : pointer on existing thread descriptor. |
---|
| 319 | * @ type : kernel thread type. |
---|
| 320 | * @ func : pointer on function. |
---|
| 321 | * @ args : function arguments. |
---|
| 322 | * @ core_lid : local core index. |
---|
| 323 | **************************************************************************************/ |
---|
[457] | 324 | void thread_idle_init( thread_t * thread, |
---|
| 325 | thread_type_t type, |
---|
| 326 | void * func, |
---|
| 327 | void * args, |
---|
| 328 | lid_t core_lid ); |
---|
[14] | 329 | |
---|
| 330 | /*************************************************************************************** |
---|
[564] | 331 | * This low-level function is called by the sched_handle_signals() function to releases |
---|
[443] | 332 | * the physical memory allocated for a thread in a given cluster, when this thread |
---|
| 333 | * is marked for delete. This include the thread descriptor itself, the associated |
---|
| 334 | * CPU and FPU context, and the physical memory allocated for an user thread local stack. |
---|
[1] | 335 | *************************************************************************************** |
---|
[174] | 336 | * @ thread : pointer on the thread descriptor to release. |
---|
[443] | 337 | * @ return true, if the thread was the last registerd thread in local process. |
---|
[1] | 338 | **************************************************************************************/ |
---|
[583] | 339 | void thread_destroy( thread_t * thread ); |
---|
[1] | 340 | |
---|
| 341 | /*************************************************************************************** |
---|
[14] | 342 | * This function defines the code of the thread executed by all cores after kernel_init, |
---|
| 343 | * or when no other thread is runnable for a given core. |
---|
[443] | 344 | * It enter and infinite loop in wich: |
---|
| 345 | * - it unmask the IRQs |
---|
| 346 | * - it optionally calls the hal_core_sleep() function to reduce the power consumption |
---|
| 347 | * (this behavior is controlled by the CONFIG_THREAD_IDLE_MODE_SLEEP flag). |
---|
| 348 | * - it call the sched_yield() function to find another runnable thread. |
---|
[14] | 349 | * |
---|
[443] | 350 | * TODO: In the TSAR architecture the hal_core_sleep() function forces the core to |
---|
| 351 | * low-power mode. Any IRQ will force the core to exit this low-power mode, but no ISR |
---|
| 352 | * is executed. We must analyse if we have the same behaviour for I86 architectures... |
---|
[1] | 353 | **************************************************************************************/ |
---|
[485] | 354 | void thread_idle_func( void ); |
---|
[1] | 355 | |
---|
| 356 | /*************************************************************************************** |
---|
[416] | 357 | * This function is used by a "blocker" thread running in the same cluster as a "target" |
---|
| 358 | * thread to request the scheduler of the target thread to acknowledge that the target |
---|
| 359 | * thread is blocked and not running, at the next context switch. |
---|
| 360 | * This function executes atomically the following actions : |
---|
| 361 | * - it set the request_pending boolean in the target scheduler descriptor. |
---|
| 362 | * - it set the REQ_ACK flag in the "flags" field of the target thread descriptor. |
---|
[409] | 363 | * - It registers the responses counter pointer in the target thread descriptor. |
---|
[416] | 364 | * The request_pending flag is handled as a set/reset flip-flop by the "blocker" thread |
---|
| 365 | * and by the "target" scheduler. |
---|
[1] | 366 | *************************************************************************************** |
---|
[409] | 367 | * @ target : local pointer on target thread. |
---|
[416] | 368 | * @ ack_rsp_count : local pointer on responses counter. |
---|
[1] | 369 | **************************************************************************************/ |
---|
[416] | 370 | void thread_set_req_ack( thread_t * target, |
---|
| 371 | uint32_t * ack_rsp_count ); |
---|
[1] | 372 | |
---|
| 373 | /*************************************************************************************** |
---|
[416] | 374 | * This function is used by the sched_handle_signal() function executed by the |
---|
| 375 | * scheduler of a "target" thread to reset a "blocked not running" acknowledge request |
---|
| 376 | * in both the target thread descriptor, and in the target thread scheduler. |
---|
[1] | 377 | *************************************************************************************** |
---|
[416] | 378 | * @ target : local pointer on target thread. |
---|
[1] | 379 | **************************************************************************************/ |
---|
[416] | 380 | void thread_reset_req_ack( thread_t * target ); |
---|
[1] | 381 | |
---|
| 382 | /*************************************************************************************** |
---|
[440] | 383 | * This function is used by the four sys_thread_cancel(), sys_thread_exit(), |
---|
[443] | 384 | * sys_kill() and sys_exit() system calls to mark for delete a given thread. |
---|
[440] | 385 | * It set the THREAD_BLOCKED_GLOBAL bit and set the the THREAD_FLAG_REQ_DELETE bit |
---|
| 386 | * in the thread descriptor identified by the <thread_xp> argument, to ask the scheduler |
---|
| 387 | * to asynchronously delete the target thread, at the next scheduling point. |
---|
| 388 | * The calling thread can run in any cluster, as it uses remote accesses, but |
---|
[583] | 389 | * the target thread cannot be the main thread of the process identified by the <pid> |
---|
| 390 | * argument, because the main thread must be deleted by the parent process argument. |
---|
[440] | 391 | * If the target thread is running in "attached" mode, and the <is_forced> argument |
---|
[436] | 392 | * is false, this function implements the required sychronisation with the joining |
---|
[583] | 393 | * thread, blocking the killer thread until the pthread_join() syscall is executed |
---|
| 394 | * by the joining thread. |
---|
[1] | 395 | *************************************************************************************** |
---|
[436] | 396 | * @ thread_xp : extended pointer on the target thread. |
---|
[440] | 397 | * @ pid : process identifier (to get the owner cluster identifier). |
---|
| 398 | * @ is_forced : the deletion does not depends on the attached mode. |
---|
[407] | 399 | **************************************************************************************/ |
---|
[440] | 400 | void thread_delete( xptr_t thread_xp, |
---|
| 401 | pid_t pid, |
---|
| 402 | bool_t is_forced ); |
---|
[407] | 403 | |
---|
| 404 | /*************************************************************************************** |
---|
[436] | 405 | * This function registers a blocking cause defined by the <cause> argument |
---|
| 406 | * in a remote thread descriptor identified by the <thread_xp> argument. |
---|
| 407 | * We need an extended pointer, because this function can be called by another thread |
---|
| 408 | * than the target thread, executing the sys_kill() function. |
---|
| 409 | * WARNING : this function does not deschedule the target thread, and the descheduling |
---|
[407] | 410 | * must be explicitely forced by a sched_yield(). |
---|
[1] | 411 | *************************************************************************************** |
---|
[436] | 412 | * @ thread_xp : extended pointer on remote thread descriptor. |
---|
| 413 | * @ cause : mask defining the cause (one hot). |
---|
[1] | 414 | **************************************************************************************/ |
---|
[436] | 415 | void thread_block( xptr_t thread_xp, |
---|
| 416 | uint32_t cause ); |
---|
[1] | 417 | |
---|
[174] | 418 | /*************************************************************************************** |
---|
[436] | 419 | * This function resets the bit identified by the <cause> argument in a remote |
---|
| 420 | * thread descriptor identified by the <thread_xp> argument. |
---|
[1] | 421 | * We need an extended pointer, because the client thread of an I/O operation on a |
---|
[564] | 422 | * given device is generally not in the same cluster as the associated server thread. |
---|
[436] | 423 | * WARNING : this function does not reschedule the remote thread. |
---|
[1] | 424 | * The scheduling can be forced by sending an IPI to the core running the remote thread. |
---|
| 425 | *************************************************************************************** |
---|
[436] | 426 | * @ thread_xp : extended pointer the remote thread. |
---|
| 427 | * @ cause : mask defining the cause (one hot). |
---|
[407] | 428 | * @ return non zero if the bit-vector was actually modified / return 0 otherwise |
---|
[1] | 429 | **************************************************************************************/ |
---|
[436] | 430 | uint32_t thread_unblock( xptr_t thread_xp, |
---|
[407] | 431 | uint32_t cause ); |
---|
[1] | 432 | |
---|
[174] | 433 | /*************************************************************************************** |
---|
[473] | 434 | * This function updates the calling thread user_time or kernel_time counters. |
---|
[16] | 435 | *************************************************************************************** |
---|
| 436 | * @ thread : local pointer on target thread. |
---|
[564] | 437 | * @ is_user : update user time if true / update kernel time if false |
---|
[16] | 438 | **************************************************************************************/ |
---|
[473] | 439 | void thread_time_update( thread_t * thread, |
---|
[564] | 440 | bool_t is_user ); |
---|
[16] | 441 | |
---|
| 442 | /*************************************************************************************** |
---|
[23] | 443 | * This function returns the extended pointer on a thread descriptor identified |
---|
| 444 | * by its thread identifier, and process identifier. |
---|
| 445 | * It can be called by any thread running in any cluster. |
---|
| 446 | *************************************************************************************** |
---|
| 447 | * @ pid : process identifier. |
---|
| 448 | * @ trdid : thread identifier. |
---|
[174] | 449 | * @ return the extended pointer if thread found / return XPTR_NULL if not found. |
---|
[23] | 450 | **************************************************************************************/ |
---|
| 451 | xptr_t thread_get_xptr( pid_t pid, |
---|
| 452 | trdid_t trdid ); |
---|
[16] | 453 | |
---|
[564] | 454 | /*************************************************************************************** |
---|
| 455 | * This function checks that the thread identified by the <thread> argument does hold |
---|
| 456 | * any busylock (local or remote). |
---|
| 457 | * If the xlist of taken busylocks is not empty, it displays the set of taken locks, |
---|
| 458 | * and makes a kernel panic. |
---|
| 459 | *************************************************************************************** |
---|
| 460 | * @ thread : local pointer on target thread. |
---|
| 461 | * @ func_str : faulty function name. |
---|
| 462 | **************************************************************************************/ |
---|
| 463 | void thread_assert_can_yield( thread_t * thread, |
---|
| 464 | const char * func_str ); |
---|
[16] | 465 | |
---|
[564] | 466 | /*************************************************************************************** |
---|
[580] | 467 | * This debug function display the list of busylocks (local or remote) currently owned |
---|
| 468 | * by a thread identified by the <thread_xp> argument. |
---|
| 469 | * WARNING : it can be called by the idbg tool, but the DEBUG_BUSYLOCK parameter |
---|
| 470 | * must be set in the kernel_config.h file. |
---|
[564] | 471 | *************************************************************************************** |
---|
[580] | 472 | * @ thread_xp : extended pointer on target thread. |
---|
[564] | 473 | **************************************************************************************/ |
---|
[580] | 474 | void thread_display_busylocks( xptr_t thread_xp ); |
---|
[564] | 475 | |
---|
| 476 | |
---|
| 477 | |
---|
[1] | 478 | #endif /* _THREAD_H_ */ |
---|