source: trunk/kernel/kern/thread.h

Last change on this file was 683, checked in by alain, 3 years ago

All modifications required to support the <tcp_chat> application
including error recovery in case of packet loss.A

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