source: trunk/kernel/kern/thread.c @ 641

Last change on this file since 641 was 641, checked in by alain, 3 years ago
  • Fix several bugs.
  • Introduce the "stat" command in KSH.

This almos-mkh version sucessfully executed the FFT application
(65536 complex points) on the TSAR architecture from 1 to 64 cores.

File size: 53.7 KB
Line 
1/*
2 * thread.c -   thread operations implementation (user & kernel)
3 *
4 * Author  Ghassan Almaless (2008,2009,2010,2011,2012)
5 *         Alain Greiner (2016,2017,2018,2019)
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#include <kernel_config.h>
26#include <hal_kernel_types.h>
27#include <hal_context.h>
28#include <hal_irqmask.h>
29#include <hal_special.h>
30#include <hal_remote.h>
31#include <hal_vmm.h>
32#include <memcpy.h>
33#include <printk.h>
34#include <cluster.h>
35#include <process.h>
36#include <scheduler.h>
37#include <dev_pic.h>
38#include <core.h>
39#include <list.h>
40#include <xlist.h>
41#include <page.h>
42#include <kmem.h>
43#include <ppm.h>
44#include <thread.h>
45#include <rpc.h>
46
47//////////////////////////////////////////////////////////////////////////////////////
48// Extern global variables
49//////////////////////////////////////////////////////////////////////////////////////
50
51extern process_t            process_zero;       // allocated in kernel_init.c
52extern char               * lock_type_str[];    // allocated in kernel_init.c
53extern chdev_directory_t    chdev_dir;          // allocated in kernel_init.c
54
55//////////////////////////////////////////////////////////////////////////////////////
56// This function returns a printable string for the thread type.
57//////////////////////////////////////////////////////////////////////////////////////
58const char * thread_type_str( thread_type_t type )
59{
60  switch ( type ) {
61  case THREAD_USER:   return "USR";
62  case THREAD_RPC:    return "RPC";
63  case THREAD_DEV:    return "DEV";
64  case THREAD_IDLE:   return "IDL";
65  default:            return "undefined";
66  }
67}
68
69/////////////////////////////////////////////////////////////////////////////////////
70// This static function allocates physical memory for a thread descriptor.
71// It can be called by the three functions:
72// - thread_user_create()
73// - thread_user_fork()
74// - thread_kernel_create()
75/////////////////////////////////////////////////////////////////////////////////////
76// @ return pointer on thread descriptor if success / return NULL if failure.
77/////////////////////////////////////////////////////////////////////////////////////
78static thread_t * thread_alloc( void )
79{
80        kmem_req_t     req;    // kmem request
81
82        // allocates memory for thread descriptor + kernel stack
83        req.type  = KMEM_PPM;
84        req.order = CONFIG_THREAD_DESC_ORDER;
85        req.flags = AF_KERNEL | AF_ZERO;
86
87    return kmem_alloc( &req );
88
89}  // end thread_alloc()
90 
91
92/////////////////////////////////////////////////////////////////////////////////////
93// This static function initializes a thread descriptor (kernel or user).
94// It can be called by the four functions:
95// - thread_user_create()
96// - thread_user_fork()
97// - thread_kernel_create()
98// - thread_idle_init()
99// The "type" and "trdid" fields must have been previously set.
100// It updates the local DQDT.
101/////////////////////////////////////////////////////////////////////////////////////
102// @ thread          : pointer on local thread descriptor
103// @ process         : pointer on local process descriptor.
104// @ type            : thread type.
105// @ trdid           : thread identifier
106// @ func            : pointer on thread entry function.
107// @ args            : pointer on thread entry function arguments.
108// @ core_lid        : target core local index.
109// @ user_stack_vseg : local pointer on user stack vseg (user thread only)
110/////////////////////////////////////////////////////////////////////////////////////
111static error_t thread_init( thread_t      * thread,
112                            process_t     * process,
113                            thread_type_t   type,
114                            trdid_t         trdid,
115                            void          * func,
116                            void          * args,
117                            lid_t           core_lid,
118                            vseg_t        * user_stack_vseg )
119{
120
121// check type and trdid fields are initialized
122assert( (thread->type == type)   , "bad type argument" );
123assert( (thread->trdid == trdid) , "bad trdid argument" );
124
125#if DEBUG_THREAD_INIT
126uint32_t   cycle = (uint32_t)hal_get_cycles();
127thread_t * this  = CURRENT_THREAD;
128if( DEBUG_THREAD_INIT < cycle )
129printk("\n[%s] thread[%x,%x] enter for thread[%x,%x] / cycle %d\n",
130__FUNCTION__, this->process->pid, this->trdid, process->pid, thread->trdid, cycle );
131#endif
132
133    // compute thread descriptor size without kernel stack
134    uint32_t desc_size = (intptr_t)(&thread->signature) - (intptr_t)thread + 4; 
135
136        // Initialize new thread descriptor
137    thread->quantum         = 0;            // TODO
138    thread->ticks_nr        = 0;            // TODO
139    thread->time_last_check = 0;            // TODO
140        thread->core            = &LOCAL_CLUSTER->core_tbl[core_lid];
141        thread->process         = process;
142    thread->busylocks       = 0;
143
144#if DEBUG_BUSYLOCK
145    xlist_root_init( XPTR( local_cxy , &thread->busylocks_root ) );
146#endif
147
148    thread->user_stack_vseg = user_stack_vseg;
149    thread->k_stack_base    = (intptr_t)thread + desc_size;
150    thread->k_stack_size    = CONFIG_THREAD_DESC_SIZE - desc_size;
151    thread->entry_func      = func;         // thread entry point
152    thread->entry_args      = args;         // thread function arguments
153    thread->flags           = 0;            // all flags reset
154    thread->errno           = 0;            // no error detected
155    thread->fork_user       = 0;            // no user defined placement for fork
156    thread->fork_cxy        = 0;            // user defined target cluster for fork
157    thread->blocked         = THREAD_BLOCKED_GLOBAL;
158
159    // initialize sched list
160    list_entry_init( &thread->sched_list );
161
162    // initialize waiting queue entries
163    list_entry_init( &thread->wait_list );
164    xlist_entry_init( XPTR( local_cxy , &thread->wait_xlist ) );
165
166    // initialize thread info
167    memset( &thread->info , 0 , sizeof(thread_info_t) );
168
169    // initialize join_lock
170    remote_busylock_init( XPTR( local_cxy , &thread->join_lock ), LOCK_THREAD_JOIN );
171
172    // initialise signature
173        thread->signature = THREAD_SIGNATURE;
174
175    // FIXME define and call an architecture specific hal_thread_init()
176    // function to initialise the save_sr field
177    thread->save_sr = 0xFF13;
178
179    // register new thread in core scheduler
180    sched_register_thread( thread->core , thread );
181
182        // update DQDT
183    dqdt_increment_threads();
184
185#if CONFIG_INSTRUMENTATION_PGFAULTS
186    thread->info.false_pgfault_nr    = 0;
187    thread->info.false_pgfault_cost  = 0;
188    thread->info.false_pgfault_max   = 0;
189    thread->info.local_pgfault_nr    = 0;
190    thread->info.local_pgfault_cost  = 0;
191    thread->info.local_pgfault_max   = 0;
192    thread->info.global_pgfault_nr   = 0;
193    thread->info.global_pgfault_cost = 0;
194    thread->info.global_pgfault_max  = 0;
195#endif
196
197#if DEBUG_THREAD_INIT
198cycle = (uint32_t)hal_get_cycles();
199if( DEBUG_THREAD_INIT < cycle )
200printk("\n[%s] thread[%x,%x] exit for thread[%x,%x] / cycle %d\n",
201__FUNCTION__, this->process->pid, this->trdid, process->pid, thread->trdid, cycle );
202#endif
203
204        return 0;
205
206} // end thread_init()
207
208//////////////////////////////////////////////////
209error_t thread_user_create( pid_t             pid,
210                            void            * start_func,
211                            void            * start_arg,
212                            pthread_attr_t  * attr,
213                            thread_t       ** new_thread )
214{
215    error_t        error;
216        thread_t     * thread;       // pointer on created thread descriptor
217    trdid_t        trdid;        // created thred identifier
218    process_t    * process;      // pointer to local process descriptor
219    lid_t          core_lid;     // selected core local index
220    vseg_t       * us_vseg;      // user stack vseg
221
222assert( (attr != NULL) , "pthread attributes must be defined" );
223
224#if DEBUG_THREAD_USER_CREATE
225thread_t * this  = CURRENT_THREAD;
226uint32_t   cycle = (uint32_t)hal_get_cycles();
227if( DEBUG_THREAD_USER_CREATE < cycle )
228printk("\n[%s] thread[%x,%x] enter in cluster %x for process %x / cycle %d\n",
229__FUNCTION__, this->process->pid , this->trdid , local_cxy , pid , cycle );
230#endif
231
232    // get process descriptor local copy
233    process = process_get_local_copy( pid );
234
235    if( process == NULL )
236    {
237                printk("\n[ERROR] in %s : cannot get process descriptor %x\n",
238        __FUNCTION__ , pid );
239        return -1;
240    }
241
242#if( DEBUG_THREAD_USER_CREATE & 1)
243if( DEBUG_THREAD_USER_CREATE < cycle )
244printk("\n[%s] process descriptor = %x for process %x in cluster %x\n",
245__FUNCTION__, process , pid , local_cxy );
246#endif
247
248    // select a target core in local cluster
249    if( attr->attributes & PT_ATTR_CORE_DEFINED )
250    {
251        core_lid = attr->lid;
252        if( core_lid >= LOCAL_CLUSTER->cores_nr )
253        {
254                printk("\n[ERROR] in %s : illegal core index attribute = %d\n",
255            __FUNCTION__ , core_lid );
256            return -1;
257        }
258    }
259    else
260    {
261        core_lid = cluster_select_local_core( local_cxy );
262    }
263
264#if( DEBUG_THREAD_USER_CREATE & 1)
265if( DEBUG_THREAD_USER_CREATE < cycle )
266printk("\n[%s] core[%x,%d] selected\n",
267__FUNCTION__, local_cxy , core_lid );
268#endif
269
270    // allocate memory for thread descriptor
271    thread = thread_alloc();
272
273    if( thread == NULL )
274    {
275            printk("\n[ERROR] in %s : cannot create new thread in cluster %x\n",
276        __FUNCTION__, local_cxy );
277        return -1;
278    }
279
280#if( DEBUG_THREAD_USER_CREATE & 1)
281if( DEBUG_THREAD_USER_CREATE < cycle )
282printk("\n[%s] new thread descriptor %x allocated\n",
283__FUNCTION__, thread );
284#endif
285
286    // set type in thread descriptor
287    thread->type = THREAD_USER;
288
289    // register new thread in process descriptor, and get a TRDID
290    error = process_register_thread( process, thread , &trdid );
291
292    if( error )
293    {
294        printk("\n[ERROR] in %s : cannot register new thread in process %x\n",
295        __FUNCTION__, pid );
296        thread_destroy( thread );
297        return -1;
298    }
299
300    // set trdid in thread descriptor
301    thread->trdid = trdid;
302
303#if( DEBUG_THREAD_USER_CREATE & 1)
304if( DEBUG_THREAD_USER_CREATE < cycle )
305printk("\n[%s] new thread %x registered in process %x\n",
306__FUNCTION__, trdid, pid );
307#endif
308
309    // allocate a stack from local VMM
310    us_vseg = vmm_create_vseg( process,
311                               VSEG_TYPE_STACK,
312                               LTID_FROM_TRDID( trdid ),
313                               0,                         // size unused
314                               0,                         // file_offset unused
315                               0,                         // file_size unused
316                               XPTR_NULL,                 // mapper_xp unused
317                               local_cxy );
318
319    if( us_vseg == NULL )
320    {
321            printk("\n[ERROR] in %s : cannot create stack vseg\n", __FUNCTION__ );
322        process_remove_thread( thread );
323        thread_destroy( thread );
324                return -1;
325    }
326
327#if( DEBUG_THREAD_USER_CREATE & 1)
328if( DEBUG_THREAD_USER_CREATE < cycle )
329printk("\n[%s] stack vseg created / vpn_base %x / %d pages\n",
330__FUNCTION__, us_vseg->vpn_base, us_vseg->vpn_size );
331#endif
332
333    // initialize thread descriptor
334    error = thread_init( thread,
335                         process,
336                         THREAD_USER,
337                         trdid,
338                         start_func,
339                         start_arg,
340                         core_lid,
341                         us_vseg );
342    if( error )
343    {
344            printk("\n[ERROR] in %s : cannot initialize new thread\n", __FUNCTION__ );
345        vmm_remove_vseg( process , us_vseg );
346        process_remove_thread( thread );
347        thread_destroy( thread );
348        return -1;
349    }
350
351#if( DEBUG_THREAD_USER_CREATE & 1)
352if( DEBUG_THREAD_USER_CREATE < cycle )
353printk("\n[%s] new thread %x in process %x initialised\n",
354__FUNCTION__, thread->trdid, process->pid );
355#endif
356
357    // set DETACHED flag if required
358    if( attr->attributes & PT_ATTR_DETACH ) 
359    {
360        thread->flags |= THREAD_FLAG_DETACHED;
361    }
362
363    // allocate & initialize CPU context
364        if( hal_cpu_context_alloc( thread ) )
365    {
366            printk("\n[ERROR] in %s : cannot create CPU context\n", __FUNCTION__ );
367        vmm_remove_vseg( process , us_vseg );
368        process_remove_thread( thread );
369        thread_destroy( thread );
370        return -1;
371    }
372    hal_cpu_context_init( thread );
373
374    // allocate & initialize FPU context
375    if( hal_fpu_context_alloc( thread ) )
376    {
377            printk("\n[ERROR] in %s : cannot create FPU context\n", __FUNCTION__ );
378        vmm_remove_vseg( process , us_vseg );
379        process_remove_thread( thread );
380        thread_destroy( thread );
381        return -1;
382    }
383    hal_fpu_context_init( thread );
384
385#if( DEBUG_THREAD_USER_CREATE & 1)
386if( DEBUG_THREAD_USER_CREATE < cycle )
387printk("\n[%s] CPU & FPU contexts created\n",
388__FUNCTION__, thread->trdid );
389hal_vmm_display( XPTR( local_cxy , process ) , true );
390#endif
391
392#if DEBUG_THREAD_USER_CREATE
393cycle = (uint32_t)hal_get_cycles();
394if( DEBUG_THREAD_USER_CREATE < cycle )
395printk("\n[%s] thread[%x,%x] exit / new_thread %x / core %d / cycle %d\n",
396__FUNCTION__, this->process->pid , this->trdid , thread->trdid, core_lid, cycle );
397#endif
398
399    *new_thread = thread;
400        return 0;
401
402}  // end thread_user_create()
403
404///////////////////////////////////////////////////////
405error_t thread_user_fork( xptr_t      parent_thread_xp,
406                          process_t * child_process,
407                          thread_t ** child_thread )
408{
409    error_t        error;
410        thread_t     * child_ptr;        // local pointer on child thread
411    trdid_t        child_trdid;      // child thread identifier
412    lid_t          core_lid;         // selected core local index
413    thread_t     * parent_ptr;       // local pointer on remote parent thread
414    cxy_t          parent_cxy;       // parent thread cluster
415    process_t    * parent_process;   // local pointer on parent process
416    xptr_t         parent_gpt_xp;    // extended pointer on parent thread GPT
417    void         * parent_func;      // parent thread entry_func
418    void         * parent_args;      // parent thread entry_args
419    uint32_t       parent_flags;     // parent_thread flags
420    vseg_t       * parent_us_vseg;   // parent thread user stack vseg
421    vseg_t       * child_us_vseg;    // child thread user stack vseg
422
423#if DEBUG_THREAD_USER_FORK
424uint32_t   cycle = (uint32_t)hal_get_cycles();
425thread_t * this  = CURRENT_THREAD;
426if( DEBUG_THREAD_USER_FORK < cycle )
427printk("\n[%s] thread[%x,%x] enter for child_process %x / cycle %d\n",
428__FUNCTION__, this->process->pid, this->trdid, child_process->pid, cycle );
429#endif
430
431    // select a target core in local cluster
432    core_lid = cluster_select_local_core( local_cxy );
433
434#if (DEBUG_THREAD_USER_FORK & 1)
435if( DEBUG_THREAD_USER_FORK < cycle )
436printk("\n[%s] thread[%x,%x] selected core [%x,%d]\n",
437__FUNCTION__, this->process->pid, this->trdid, local_cxy, core_lid );
438#endif
439
440    // get cluster and local pointer on parent thread descriptor
441    parent_cxy = GET_CXY( parent_thread_xp );
442    parent_ptr = GET_PTR( parent_thread_xp );
443
444    // get relevant infos from parent thread
445    parent_func    = (void *)  hal_remote_lpt( XPTR(parent_cxy,&parent_ptr->entry_func ));
446    parent_args    = (void *)  hal_remote_lpt( XPTR(parent_cxy,&parent_ptr->entry_args ));
447    parent_flags   = (uint32_t)hal_remote_l32( XPTR(parent_cxy,&parent_ptr->flags ));
448    parent_us_vseg = (vseg_t *)hal_remote_lpt( XPTR(parent_cxy,&parent_ptr->user_stack_vseg ));
449
450    // get pointer on parent process in parent thread cluster
451    parent_process = (process_t *)hal_remote_lpt( XPTR( parent_cxy,
452                                                        &parent_ptr->process ) );
453 
454    // build extended pointer on parent GPT in parent thread cluster
455    parent_gpt_xp = XPTR( parent_cxy , &parent_process->vmm.gpt );
456
457#if (DEBUG_THREAD_USER_FORK & 1)
458if( DEBUG_THREAD_USER_FORK < cycle )
459printk("\n[%s] thread[%x,%x] get parent GPT\n",
460__FUNCTION__, this->process->pid, this->trdid );
461#endif
462
463    // allocate memory for child thread descriptor
464    child_ptr = thread_alloc();
465
466    if( child_ptr == NULL )
467    {
468        printk("\n[ERROR] in %s : cannot allocate new thread\n",
469        __FUNCTION__ );
470        return -1;
471    }
472
473#if (DEBUG_THREAD_USER_FORK & 1)
474if( DEBUG_THREAD_USER_FORK < cycle )
475printk("\n[%s] thread[%x,%x] allocated new thread descriptor %x\n",
476__FUNCTION__, this->process->pid, this->trdid, child_ptr );
477#endif
478
479    // set type in thread descriptor
480    child_ptr->type = THREAD_USER;
481
482    // register new thread in process descriptor, and get a TRDID
483    error = process_register_thread( child_process, child_ptr , &child_trdid );
484
485    if( error )
486    {
487        printk("\n[ERROR] in %s : cannot register new thread in process %x\n",
488        __FUNCTION__, child_process->pid );
489        thread_destroy( child_ptr );
490        return -1;
491    }
492
493    // set trdid in thread descriptor
494    child_ptr->trdid = child_trdid;
495
496#if (DEBUG_THREAD_USER_FORK & 1)
497if( DEBUG_THREAD_USER_FORK < cycle )
498printk("\n[%s] thread[%x,%x] registered child thread %x in child process %x\n",
499__FUNCTION__, this->process->pid, this->trdid, child_trdid, child_process->pid );
500#endif
501
502    // get an user stack vseg from local VMM allocator
503    child_us_vseg = vmm_create_vseg( child_process,
504                                     VSEG_TYPE_STACK,
505                                     LTID_FROM_TRDID( child_trdid ), 
506                                     0,                               // size unused
507                                     0,                               // file_offset unused
508                                     0,                               // file_size unused
509                                     XPTR_NULL,                       // mapper_xp unused
510                                     local_cxy );
511    if( child_us_vseg == NULL )
512    {
513            printk("\n[ERROR] in %s : cannot create stack vseg\n", __FUNCTION__ );
514        process_remove_thread( child_ptr );
515        thread_destroy( child_ptr );
516        return -1;
517    }
518
519#if (DEBUG_THREAD_USER_FORK & 1)
520if( DEBUG_THREAD_USER_FORK < cycle )
521printk("\n[%s] thread[%x,%x] created an user stack vseg / vpn_base %x / %d pages\n",
522__FUNCTION__, this->process->pid, this->trdid,
523child_us_vseg->vpn_base, child_us_vseg->vpn_size );
524#endif
525
526    // initialize thread descriptor
527    error = thread_init( child_ptr,
528                         child_process,
529                         THREAD_USER,
530                         child_trdid,
531                         parent_func,
532                         parent_args,
533                         core_lid,
534                         child_us_vseg );
535    if( error )
536    {
537            printk("\n[ERROR] in %s : cannot initialize child thread\n", __FUNCTION__ );
538        vmm_remove_vseg( child_process , child_us_vseg ); 
539        process_remove_thread( child_ptr );
540        thread_destroy( child_ptr );
541        return -1;
542    }
543
544#if (DEBUG_THREAD_USER_FORK & 1)
545if( DEBUG_THREAD_USER_FORK < cycle )
546printk("\n[%s] thread[%x,%x] initialised thread %x in process %x\n",
547__FUNCTION__, this->process->pid, this->trdid, child_ptr->trdid, child_process->pid );
548#endif
549
550    // set detached flag if required
551    if( parent_flags & THREAD_FLAG_DETACHED ) child_ptr->flags = THREAD_FLAG_DETACHED;
552
553    // allocate a CPU context for child thread
554        if( hal_cpu_context_alloc( child_ptr ) )
555    {
556            printk("\n[ERROR] in %s : cannot allocate CPU context\n", __FUNCTION__ );
557        vmm_remove_vseg( child_process , child_us_vseg );
558        process_remove_thread( child_ptr );
559        thread_destroy( child_ptr );
560        return -1;
561    }
562
563    // allocate a FPU context for child thread
564        if( hal_fpu_context_alloc( child_ptr ) )
565    {
566            printk("\n[ERROR] in %s : cannot allocate FPU context\n", __FUNCTION__ );
567        vmm_remove_vseg( child_process , child_us_vseg );
568        process_remove_thread( child_ptr );
569        thread_destroy( child_ptr );
570        return -1;
571    }
572
573#if (DEBUG_THREAD_USER_FORK & 1)
574if( DEBUG_THREAD_USER_FORK < cycle )
575printk("\n[%s] thread[%x,%x] created CPU & FPU contexts for thread %x in process %x\n",
576__FUNCTION__, this->process->pid, this->trdid, child_ptr->trdid, child_process->pid );
577#endif
578
579    // scan parent GPT, and copy all valid entries
580    // associated to user stack vseg into child GPT
581    vpn_t  parent_vpn;
582    vpn_t  child_vpn;
583    bool_t mapped;
584    ppn_t  ppn;
585    vpn_t  parent_vpn_base = hal_remote_l32( XPTR( parent_cxy, &parent_us_vseg->vpn_base ) );
586    vpn_t  parent_vpn_size = hal_remote_l32( XPTR( parent_cxy, &parent_us_vseg->vpn_size ) );
587    vpn_t  child_vpn_base  = child_us_vseg->vpn_base;
588
589    for( parent_vpn = parent_vpn_base , child_vpn = child_vpn_base ; 
590         parent_vpn < (parent_vpn_base + parent_vpn_size) ;
591         parent_vpn++ , child_vpn++ )
592    {
593        error = hal_gpt_pte_copy( &child_process->vmm.gpt,
594                                  child_vpn,
595                                  parent_gpt_xp,
596                                  parent_vpn,
597                                  true,                 // set cow
598                                  &ppn,
599                                  &mapped );
600        if( error )
601        {
602            printk("\n[ERROR] in %s : cannot update child GPT\n", __FUNCTION__ );
603            vmm_remove_vseg( child_process , child_us_vseg );
604            process_remove_thread( child_ptr );
605            thread_destroy( child_ptr );
606            return -1;
607        }
608
609        // increment pending forks counter for a mapped page
610        if( mapped )
611        {
612            // get pointers on the page descriptor
613            xptr_t   page_xp  = ppm_ppn2page( ppn );
614            cxy_t    page_cxy = GET_CXY( page_xp );
615            page_t * page_ptr = GET_PTR( page_xp );
616
617            // build extended pointers on forks and lock fields
618            xptr_t forks_xp = XPTR( page_cxy , &page_ptr->forks );
619            xptr_t lock_xp  = XPTR( page_cxy , &page_ptr->lock );
620
621            // get lock protecting page
622            remote_busylock_acquire( lock_xp ); 
623
624            // increment the forks counter in page descriptor
625            hal_remote_atomic_add( forks_xp , 1 );
626
627            // release lock protecting page
628            remote_busylock_release( lock_xp ); 
629        }
630    }
631
632#if (DEBUG_THREAD_USER_FORK & 1)
633if( DEBUG_THREAD_USER_FORK < cycle )
634printk("\n[%s] thread[%x,%x] copied STACK vseg PTEs & set COW in child GPT\n",
635__FUNCTION__, this->process->pid, this->trdid );
636#endif
637
638    // set COW flag for all mapped entries of user stack vseg in parent GPT
639    hal_gpt_set_cow( parent_gpt_xp,
640                     parent_vpn_base,
641                     parent_vpn_size );
642
643#if (DEBUG_THREAD_USER_FORK & 1)
644if( DEBUG_THREAD_USER_FORK < cycle )
645printk("\n[%s] thread[%x,%x] set COW for STACK vseg in parent GPT\n",
646__FUNCTION__, this->process->pid, this->trdid );
647#endif
648
649    // return child pointer
650    *child_thread = child_ptr;
651
652#if DEBUG_THREAD_USER_FORK
653cycle = (uint32_t)hal_get_cycles();
654if( DEBUG_THREAD_USER_FORK < cycle )
655printk("\n[%s] thread[%x,%x] exit / created thread[%x,%x] / cycle %d\n",
656__FUNCTION__, this->process->pid, this->trdid,
657child_ptr->process->pid, child_ptr->trdid, cycle );
658#endif
659
660        return 0;
661
662}  // end thread_user_fork()
663
664////////////////////////////////////////////////
665error_t thread_user_exec( void     * entry_func,
666                          uint32_t   argc,
667                          char    ** argv )
668{
669    thread_t  * thread  = CURRENT_THREAD;
670    process_t * process = thread->process;
671
672#if DEBUG_THREAD_USER_EXEC
673uint32_t cycle = (uint32_t)hal_get_cycles();
674if( DEBUG_THREAD_USER_EXEC < cycle )
675printk("\n[%s] thread[%x,%x] enter / cycle %d\n",
676__FUNCTION__, process->pid, thread->trdid, cycle );
677#endif
678
679// check parent thread attributes
680assert( (thread->type == THREAD_USER )          , "bad type" );
681assert( (thread->signature == THREAD_SIGNATURE) , "bad signature" );
682assert( (thread->busylocks == 0)                , "bad busylocks" );
683
684        // re-initialize various thread descriptor fields
685    thread->quantum         = 0;            // TODO
686    thread->ticks_nr        = 0;            // TODO
687    thread->time_last_check = 0;            // TODO
688
689    thread->entry_func      = entry_func;
690    thread->main_argc       = argc; 
691    thread->main_argv       = argv;
692
693    // the main thread is always detached
694    thread->flags           = THREAD_FLAG_DETACHED;
695    thread->blocked         = 0;
696    thread->errno           = 0;
697    thread->fork_user       = 0;    // not inherited
698    thread->fork_cxy        = 0;    // not inherited
699
700    // re-initialize busylocks counters
701    thread->busylocks       = 0;
702
703    // reset thread info
704    memset( &thread->info , 0 , sizeof(thread_info_t) );
705
706    // re-initialize join_lock
707    remote_busylock_init( XPTR( local_cxy , &thread->join_lock ), LOCK_THREAD_JOIN );
708
709    // allocate an user stack vseg for main thread
710    vseg_t * us_vseg = vmm_create_vseg( process,
711                                        VSEG_TYPE_STACK,
712                                        LTID_FROM_TRDID( thread->trdid ),
713                                        0,                 // length unused
714                                        0,                 // file_offset unused
715                                        0,                 // file_size unused
716                                        XPTR_NULL,         // mapper_xp unused
717                                        local_cxy );
718    if( us_vseg == NULL )
719    {
720            printk("\n[ERROR] in %s : cannot create stack vseg for main thread\n", __FUNCTION__ );
721                return -1;
722    }
723
724    // update user stack in thread descriptor
725    thread->user_stack_vseg = us_vseg;
726   
727    // release FPU ownership if required
728    if( thread->core->fpu_owner == thread ) thread->core->fpu_owner = NULL;
729
730    // re-initialize  FPU context
731    hal_fpu_context_init( thread );
732
733#if DEBUG_THREAD_USER_EXEC
734cycle = (uint32_t)hal_get_cycles();
735if( DEBUG_THREAD_USER_EXEC < cycle )
736printk("\n[%s] thread[%x,%x] set CPU context & jump to user code / cycle %d\n",
737__FUNCTION__, process->pid, thread->trdid, cycle );
738hal_vmm_display( XPTR( local_cxy , process ) , true );
739#endif
740
741    // re-initialize CPU context... and jump to user code
742        hal_cpu_context_exec( thread );
743
744    assert( false, "we should not execute this code");
745 
746    return 0;
747
748}  // end thread_user_exec()
749
750/////////////////////////////////////////////////////////
751error_t thread_kernel_create( thread_t     ** new_thread,
752                              thread_type_t   type,
753                              void          * func,
754                              void          * args,
755                                              lid_t           core_lid )
756{
757    error_t        error;
758        thread_t     * thread;       // pointer on new thread descriptor
759    trdid_t        trdid;        // new thread identifier
760
761    thread_t * this = CURRENT_THREAD; 
762
763assert( ( (type == THREAD_IDLE) || (type == THREAD_RPC) || (type == THREAD_DEV) ) ,
764"illegal thread type" );
765
766assert( (core_lid < LOCAL_CLUSTER->cores_nr) ,
767"illegal core_lid" );
768
769#if DEBUG_THREAD_KERNEL_CREATE
770uint32_t   cycle = (uint32_t)hal_get_cycles();
771if( DEBUG_THREAD_KERNEL_CREATE < cycle )
772printk("\n[%s] thread[%x,%x] enter / requested_type %s / cycle %d\n",
773__FUNCTION__, this->process->pid, this->trdid, thread_type_str(type), cycle );
774#endif
775
776    // allocate memory for new thread descriptor
777    thread = thread_alloc();
778
779    if( thread == NULL )
780    {
781        printk("\n[ERROR] in %s : thread %x in process %x\n"
782        "   no memory for thread descriptor\n",
783        __FUNCTION__, this->trdid, this->process->pid );
784        return ENOMEM;
785    }
786
787    // set type in thread descriptor
788    thread->type = type;
789
790    // register new thread in local kernel process descriptor, and get a TRDID
791    error = process_register_thread( &process_zero , thread , &trdid );
792
793    if( error )
794    {
795        printk("\n[ERROR] in %s : cannot register thread in kernel process\n", __FUNCTION__ );
796        return -1;
797    }
798
799    // set trdid in thread descriptor
800    thread->trdid = trdid;
801
802    // initialize thread descriptor
803    error = thread_init( thread,
804                         &process_zero,
805                         type,
806                         trdid,
807                         func,
808                         args,
809                         core_lid,
810                         NULL );  // no user stack for a kernel thread
811
812    if( error ) // release allocated memory for thread descriptor
813    {
814        printk("\n[ERROR] in %s : cannot initialize thread descriptor\n", __FUNCTION__ );
815        thread_destroy( thread );
816        return ENOMEM;
817    }
818
819    // allocate & initialize CPU context
820        error = hal_cpu_context_alloc( thread );
821
822    if( error )
823    {
824        printk("\n[ERROR] in %s : thread %x in process %x\n"
825        "    cannot create CPU context\n",
826        __FUNCTION__, this->trdid, this->process->pid );
827        thread_destroy( thread );
828        return EINVAL;
829    }
830
831    hal_cpu_context_init( thread );
832
833    // set THREAD_BLOCKED_IDLE for DEV threads
834    if( type == THREAD_DEV ) thread->blocked |= THREAD_BLOCKED_IDLE;
835
836#if DEBUG_THREAD_KERNEL_CREATE
837cycle = (uint32_t)hal_get_cycles();
838if( DEBUG_THREAD_KERNEL_CREATE < cycle )
839printk("\n[%s] thread[%x,%x] exit / new_thread %x / type %s / cycle %d\n",
840__FUNCTION__, this->process->pid, this->trdid, thread, thread_type_str(type), cycle );
841#endif
842
843    *new_thread = thread;
844        return 0;
845
846} // end thread_kernel_create()
847
848//////////////////////////////////////////////
849void thread_idle_init( thread_t      * thread,
850                       thread_type_t   type,
851                       void          * func,
852                       void          * args,
853                           lid_t           core_lid )
854{
855    trdid_t trdid;   
856    error_t error;
857
858// check arguments
859assert( (type == THREAD_IDLE) , "illegal thread type" );
860assert( (core_lid < LOCAL_CLUSTER->cores_nr) , "illegal core index" );
861
862    // set type in thread descriptor
863    thread->type = THREAD_IDLE;
864
865    // register idle thread in local kernel process descriptor, and get a TRDID
866    error = process_register_thread( &process_zero , thread , &trdid );
867
868assert( (error == 0), "cannot register idle_thread in kernel process" );
869
870    // set trdid in thread descriptor
871    thread->trdid = trdid;
872
873    // initialize thread descriptor
874    error = thread_init( thread,
875                         &process_zero,
876                         THREAD_IDLE,
877                         trdid,
878                         func,
879                         args,
880                         core_lid,
881                         NULL );   // no user stack for a kernel thread
882
883assert( (error == 0), "cannot initialize idle_thread" );
884
885    // allocate & initialize CPU context if success
886    error = hal_cpu_context_alloc( thread );
887
888assert( (error == 0), "cannot allocate CPU context" );
889
890    hal_cpu_context_init( thread );
891
892}  // end thread_idle_init()
893
894////////////////////////////////////////////
895uint32_t thread_destroy( thread_t * thread )
896{
897    reg_t           save_sr;
898    uint32_t        count;
899
900    thread_type_t   type    = thread->type;
901    process_t     * process = thread->process;
902    core_t        * core    = thread->core;
903
904#if DEBUG_THREAD_DESTROY
905uint32_t   cycle;
906thread_t * this  = CURRENT_THREAD;
907#endif
908
909#if (DEBUG_THREAD_DESTROY & 1)
910cycle = (uint32_t)hal_get_cycles();
911if( DEBUG_THREAD_DESTROY < cycle )
912printk("\n[%s] thread[%x,%x] enter to destroy thread[%x,%x] / cycle %d\n",
913__FUNCTION__, this->process->pid, this->trdid, process->pid, thread->trdid, cycle );
914#endif
915
916    // check calling thread busylocks counter
917    thread_assert_can_yield( thread , __FUNCTION__ );
918
919#if CONFIG_INSTRUMENTATION_PGFAULTS
920process->vmm.false_pgfault_nr    += thread->info.false_pgfault_nr;
921process->vmm.false_pgfault_cost  += thread->info.false_pgfault_cost;
922process->vmm.local_pgfault_nr    += thread->info.local_pgfault_nr;
923process->vmm.local_pgfault_cost  += thread->info.local_pgfault_cost;
924process->vmm.global_pgfault_nr   += thread->info.global_pgfault_nr;
925process->vmm.global_pgfault_cost += thread->info.global_pgfault_cost;
926#endif
927
928#if (CONFIG_INSTRUMENTATION_PGFAULTS & 1)
929uint32_t false_nr    = thread->info.false_pgfault_nr;
930uint32_t false_cost  = thread->info.false_pgfault_cost;
931uint32_t false_max   = thread->info.false_pgfault_max;
932uint32_t false_one   = false_nr  ? (false_cost  / false_nr ) : 0;
933
934uint32_t local_nr    = thread->info.local_pgfault_nr;
935uint32_t local_cost  = thread->info.local_pgfault_cost;
936uint32_t local_max   = thread->info.local_pgfault_max;
937uint32_t local_one   = local_nr  ? (local_cost  / local_nr ) : 0;
938
939uint32_t global_nr   = thread->info.global_pgfault_nr;
940uint32_t global_cost = thread->info.global_pgfault_cost;
941uint32_t global_max  = thread->info.global_pgfault_max;
942uint32_t global_one  = global_nr ? (global_cost / global_nr) : 0;
943
944printk("\n***** thread[%x,%x] page-faults\n"
945       " - false  : %d events / cost %d cycles / max %d cycles\n"
946       " - local  : %d events / cost %d cycles / max %d cycles\n"
947       " - global : %d events / cost %d cycles / max %d cycles\n",
948       thread->process->pid, thread->trdid,
949       false_nr , false_one , false_max,
950       local_nr , local_one , local_max,
951       global_nr, global_one, global_max );
952#endif
953
954    // remove thread from process th_tbl[]
955    count = process_remove_thread( thread );
956
957    // release memory allocated for CPU context and FPU context
958        hal_cpu_context_destroy( thread );
959        hal_fpu_context_destroy( thread );
960       
961    // release user stack vseg (for an user thread only)
962    if( type == THREAD_USER )  vmm_remove_vseg( process , thread->user_stack_vseg );
963
964    // release FPU ownership if required
965        hal_disable_irq( &save_sr );
966        if( core->fpu_owner == thread )
967        {
968                core->fpu_owner = NULL;
969                hal_fpu_disable();
970        }
971        hal_restore_irq( save_sr );
972
973    // invalidate thread descriptor
974        thread->signature = 0;
975
976    // release memory for thread descriptor (including kernel stack)
977    kmem_req_t   req;
978    req.type  = KMEM_PPM;
979    req.ptr   = thread;
980    kmem_free( &req );
981
982#if DEBUG_THREAD_DESTROY
983cycle = (uint32_t)hal_get_cycles();
984if( DEBUG_THREAD_DESTROY < cycle )
985printk("\n[%s] thread[%x,%x] exit / destroyed thread[%x,%x] / cycle %d\n",
986__FUNCTION__, this->process->pid, this->trdid, process->pid, thread->trdid, cycle );
987#endif
988
989    return count;
990
991}   // end thread_destroy()
992
993//////////////////////////////////////////////////
994inline void thread_set_req_ack( thread_t * target,
995                                uint32_t * rsp_count )
996{
997    reg_t    save_sr;   // for critical section
998
999    // get pointer on target thread scheduler
1000    scheduler_t * sched = &target->core->scheduler;
1001
1002    // wait scheduler ready to handle a new request
1003    while( sched->req_ack_pending ) asm volatile( "nop" );
1004   
1005    // enter critical section
1006    hal_disable_irq( &save_sr );
1007     
1008    // set request in target thread scheduler
1009    sched->req_ack_pending = true;
1010
1011    // set ack request in target thread "flags"
1012    hal_atomic_or( &target->flags , THREAD_FLAG_REQ_ACK );
1013
1014    // set pointer on responses counter in target thread
1015    target->ack_rsp_count = rsp_count;
1016   
1017    // exit critical section
1018    hal_restore_irq( save_sr );
1019
1020    hal_fence();
1021
1022}  // thread_set_req_ack()
1023
1024/////////////////////////////////////////////////////
1025inline void thread_reset_req_ack( thread_t * target )
1026{
1027    reg_t    save_sr;   // for critical section
1028
1029    // get pointer on target thread scheduler
1030    scheduler_t * sched = &target->core->scheduler;
1031
1032    // check signal pending in scheduler
1033    assert( sched->req_ack_pending , "no pending signal" );
1034   
1035    // enter critical section
1036    hal_disable_irq( &save_sr );
1037     
1038    // reset signal in scheduler
1039    sched->req_ack_pending = false;
1040
1041    // reset signal in thread "flags"
1042    hal_atomic_and( &target->flags , ~THREAD_FLAG_REQ_ACK );
1043
1044    // reset pointer on responses counter
1045    target->ack_rsp_count = NULL;
1046   
1047    // exit critical section
1048    hal_restore_irq( save_sr );
1049
1050    hal_fence();
1051
1052}  // thread_reset_req_ack()
1053
1054//////////////////////////////////////
1055void thread_block( xptr_t   thread_xp,
1056                   uint32_t cause )
1057{
1058    // get thread cluster and local pointer
1059    cxy_t      cxy = GET_CXY( thread_xp );
1060    thread_t * ptr = GET_PTR( thread_xp );
1061
1062    // set blocking cause
1063    hal_remote_atomic_or( XPTR( cxy , &ptr->blocked ) , cause );
1064    hal_fence();
1065
1066#if DEBUG_THREAD_BLOCK
1067uint32_t    cycle   = (uint32_t)hal_get_cycles();
1068process_t * process = hal_remote_lpt( XPTR( cxy , &ptr->process ) );
1069thread_t  * this    = CURRENT_THREAD;
1070if( DEBUG_THREAD_BLOCK < cycle )
1071printk("\n[%s] thread[%x,%x] blocked thread %x in process %x / cause %x\n",
1072__FUNCTION__, this->process->pid, this->trdid,
1073ptr->trdid, hal_remote_l32(XPTR( cxy , &process->pid )), cause );
1074#endif
1075
1076} // end thread_block()
1077
1078////////////////////////////////////////////
1079uint32_t thread_unblock( xptr_t   thread_xp,
1080                         uint32_t cause )
1081{
1082    // get thread cluster and local pointer
1083    cxy_t      cxy = GET_CXY( thread_xp );
1084    thread_t * ptr = GET_PTR( thread_xp );
1085
1086    // reset blocking cause
1087    uint32_t previous = hal_remote_atomic_and( XPTR( cxy , &ptr->blocked ) , ~cause );
1088    hal_fence();
1089
1090#if DEBUG_THREAD_BLOCK
1091uint32_t    cycle   = (uint32_t)hal_get_cycles();
1092process_t * process = hal_remote_lpt( XPTR( cxy , &ptr->process ) );
1093thread_t  * this    = CURRENT_THREAD;
1094if( DEBUG_THREAD_BLOCK < cycle )
1095printk("\n[%s] thread[%x,%x] unblocked thread %x in process %x / cause %x\n",
1096__FUNCTION__, this->process->pid, this->trdid,
1097ptr->trdid, hal_remote_l32(XPTR( cxy , &process->pid )), cause );
1098#endif
1099
1100    // return a non zero value if the cause bit is modified
1101    return( previous & cause );
1102
1103}  // end thread_unblock()
1104
1105//////////////////////////////////////
1106void thread_delete( xptr_t  target_xp,
1107                    pid_t   pid,
1108                    bool_t  is_forced )
1109{
1110    reg_t       save_sr;                // for critical section
1111    bool_t      target_join_done;       // joining thread arrived first
1112    bool_t      target_attached;        // target thread attached
1113    xptr_t      killer_xp;              // extended pointer on killer thread (this)
1114    thread_t  * killer_ptr;             // pointer on killer thread (this)
1115    cxy_t       target_cxy;             // target thread cluster     
1116    thread_t  * target_ptr;             // pointer on target thread
1117    process_t * target_process;         // pointer on arget process
1118    pid_t       target_pid;             // target process identifier
1119    xptr_t      target_flags_xp;        // extended pointer on target thread <flags>
1120    xptr_t      target_join_lock_xp;    // extended pointer on target thread <join_lock>
1121    xptr_t      target_join_xp_xp;      // extended pointer on target thread <join_xp>
1122    trdid_t     target_trdid;           // target thread identifier
1123    ltid_t      target_ltid;            // target thread local index
1124    xptr_t      joining_xp;             // extended pointer on joining thread
1125
1126    // get target thread cluster and local pointer
1127    target_cxy      = GET_CXY( target_xp );
1128    target_ptr      = GET_PTR( target_xp );
1129
1130    // get target thread identifier, attached flag, and process PID
1131    target_trdid    = hal_remote_l32( XPTR( target_cxy , &target_ptr->trdid ) );
1132    target_ltid     = LTID_FROM_TRDID( target_trdid );
1133    target_flags_xp = XPTR( target_cxy , &target_ptr->flags ); 
1134    target_attached = ( (hal_remote_l32( target_flags_xp ) & THREAD_FLAG_DETACHED) == 0 );
1135    target_process  = hal_remote_lpt( XPTR( target_cxy , &target_ptr->process ) );
1136    target_pid      = hal_remote_l32( XPTR( target_cxy , &target_process->pid ) );
1137
1138// check target PID
1139assert( (pid == target_pid),
1140"unconsistent pid and target_xp arguments" );
1141
1142    // get killer thread pointers
1143    killer_ptr = CURRENT_THREAD;
1144    killer_xp  = XPTR( local_cxy , killer_ptr );
1145
1146#if DEBUG_THREAD_DELETE
1147uint32_t cycle  = (uint32_t)hal_get_cycles();
1148if( DEBUG_THREAD_DELETE < cycle )
1149printk("\n[%s] killer[%x,%x] enters / target[%x,%x] / cycle %d\n",
1150__FUNCTION__, killer_ptr->process->pid, killer_ptr->trdid, 
1151target_ptr->process->pid, target_ptr->trdid, cycle );
1152#endif
1153
1154// check target thread is not the main thread, because the main thread
1155// must be deleted by the parent process sys_wait() function
1156assert( ((CXY_FROM_PID( pid ) != target_cxy) || (target_ltid != 0)),
1157"target thread cannot be the main thread" );
1158
1159    // check killer thread can yield
1160    thread_assert_can_yield( killer_ptr , __FUNCTION__ ); 
1161
1162    // if the target thread is attached, we must synchonize with the joining thread
1163    // before blocking and marking the target thead for delete.
1164
1165    if( target_attached && (is_forced == false) ) // synchronize with joining thread
1166    {
1167        // build extended pointers on target thread join fields
1168        target_join_lock_xp  = XPTR( target_cxy , &target_ptr->join_lock );
1169        target_join_xp_xp    = XPTR( target_cxy , &target_ptr->join_xp );
1170
1171        // enter critical section
1172        hal_disable_irq( &save_sr );
1173
1174        // take the join_lock in target thread descriptor
1175        remote_busylock_acquire( target_join_lock_xp );
1176
1177        // get join_done from target thread descriptor
1178        target_join_done = ((hal_remote_l32( target_flags_xp ) & THREAD_FLAG_JOIN_DONE) != 0);
1179   
1180        if( target_join_done )                     // joining thread arrived first
1181        {
1182            // get extended pointer on joining thread
1183            joining_xp  = (xptr_t)hal_remote_l64( target_join_xp_xp );
1184           
1185            // reset the join_done flag in target thread
1186            hal_remote_atomic_and( target_flags_xp , ~THREAD_FLAG_JOIN_DONE );
1187
1188            // unblock the joining thread
1189            thread_unblock( joining_xp , THREAD_BLOCKED_JOIN );
1190
1191            // release the join_lock in target thread descriptor
1192            remote_busylock_release( target_join_lock_xp );
1193
1194            // block the target thread
1195            thread_block( target_xp , THREAD_BLOCKED_GLOBAL );
1196
1197            // set the REQ_DELETE flag in target thread descriptor
1198            hal_remote_atomic_or( target_flags_xp , THREAD_FLAG_REQ_DELETE );
1199
1200            // exit critical section
1201            hal_restore_irq( save_sr );
1202
1203#if DEBUG_THREAD_DELETE
1204cycle  = (uint32_t)hal_get_cycles;
1205if( DEBUG_THREAD_DELETE < cycle )
1206printk("\n[%s] killer[%x,%x] exit / target[%x,%x] marked after join / cycle %d\n",
1207__FUNCTION__, killer_ptr->process->pid, killer_ptr->trdid,
1208target_ptr->process->pid, target_ptr->trdid, cycle );
1209#endif
1210
1211        }
1212        else                                      // killer thread arrived first
1213        {
1214            // set the kill_done flag in target thread
1215            hal_remote_atomic_or( target_flags_xp , THREAD_FLAG_KILL_DONE );
1216
1217            // block this thread on BLOCKED_JOIN
1218            thread_block( killer_xp , THREAD_BLOCKED_JOIN );
1219
1220            // set extended pointer on killer thread in target thread
1221            hal_remote_s64( target_join_xp_xp , killer_xp );
1222
1223            // release the join_lock in target thread descriptor
1224            remote_busylock_release( target_join_lock_xp );
1225
1226#if DEBUG_THREAD_DELETE
1227cycle  = (uint32_t)hal_get_cycles;
1228if( DEBUG_THREAD_DELETE < cycle )
1229printk("\n[%s] killer[%x,%x] deschedules / target[%x,%x] not completed / cycle %d\n",
1230__FUNCTION__, killer_ptr->process->pid, killer_ptr->trdid,
1231target_ptr->process->pid, target_ptr->trdid, cycle );
1232#endif
1233            // deschedule
1234            sched_yield( "killer thread wait joining thread" );
1235
1236            // block the target thread
1237            thread_block( target_xp , THREAD_BLOCKED_GLOBAL );
1238
1239            // set the REQ_DELETE flag in target thread descriptor
1240            hal_remote_atomic_or( target_flags_xp , THREAD_FLAG_REQ_DELETE );
1241
1242            // exit critical section
1243            hal_restore_irq( save_sr );
1244
1245#if DEBUG_THREAD_DELETE
1246cycle  = (uint32_t)hal_get_cycles;
1247if( DEBUG_THREAD_DELETE < cycle )
1248printk("\n[%s] killer[%x,%x] exit / target[%x,%x] marked after join / cycle %d\n",
1249__FUNCTION__, killer_ptr->process->pid, killer_ptr->trdid,
1250target_ptr->process->pid, target_ptr->trdid, cycle );
1251#endif
1252
1253        }
1254    }
1255    else                     // no synchronization with joining thread required
1256    {
1257        // block the target thread
1258        thread_block( target_xp , THREAD_BLOCKED_GLOBAL );
1259
1260        // set the REQ_DELETE flag in target thread descriptor
1261        hal_remote_atomic_or( target_flags_xp , THREAD_FLAG_REQ_DELETE );
1262
1263#if DEBUG_THREAD_DELETE
1264cycle  = (uint32_t)hal_get_cycles;
1265if( DEBUG_THREAD_DELETE < cycle )
1266printk("\n[%s] killer[%x,%x] exit / target [%x,%x] marked / no join / cycle %d\n",
1267__FUNCTION__, killer_ptr->process->pid, killer_ptr->trdid,
1268target_ptr->process->pid, target_ptr->trdid, cycle );
1269#endif
1270
1271    }
1272}  // end thread_delete()
1273
1274
1275
1276/////////////////////////////
1277void thread_idle_func( void )
1278{
1279
1280#if DEBUG_THREAD_IDLE
1281uint32_t cycle;
1282#endif
1283
1284    while( 1 )
1285    {
1286        // unmask IRQs
1287        hal_enable_irq( NULL );
1288
1289        // force core to low-power mode (optional)
1290        if( CONFIG_SCHED_IDLE_MODE_SLEEP ) 
1291        {
1292
1293#if DEBUG_THREAD_IDLE
1294cycle = (uint32_t)hal_get_cycles();
1295if( DEBUG_THREAD_IDLE < cycle )
1296printk("\n[%s] idle thread on core[%x,%d] goes to sleep / cycle %d\n",
1297__FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, cycle );
1298#endif
1299
1300            hal_core_sleep();
1301
1302#if DEBUG_THREAD_IDLE
1303cycle = (uint32_t)hal_get_cycles();
1304if( DEBUG_THREAD_IDLE < cycle )
1305printk("\n[%s] idle thread on core[%x,%d] wake up / cycle %d\n",
1306__FUNCTION__, local_cxy, CURRENT_THREAD->core->lid, cycle );
1307#endif
1308
1309        }
1310
1311#if DEBUG_THREAD_IDLE
1312cycle = (uint32_t)hal_get_cycles();
1313if( DEBUG_THREAD_IDLE < cycle )
1314sched_remote_display( local_cxy , CURRENT_THREAD->core->lid );
1315#endif     
1316        // search a runable thread
1317        sched_yield( "running idle thread" );
1318
1319    } // end while
1320
1321}  // end thread_idle()
1322
1323
1324///////////////////////////////////////////
1325void thread_time_update( thread_t * thread,
1326                         bool_t     is_user )
1327{
1328    cycle_t current_cycle;   // current cycle counter value
1329    cycle_t last_cycle;      // last cycle counter value
1330
1331    // get pointer on thread_info structure
1332    thread_info_t * info = &thread->info;
1333
1334    // get last cycle counter value
1335    last_cycle = info->last_cycle;
1336
1337    // get current cycle counter value
1338    current_cycle = hal_get_cycles();
1339
1340    // update thread_info structure
1341    info->last_cycle = current_cycle;
1342
1343    // update time in thread_info
1344    if( is_user ) info->usr_cycles += (current_cycle - last_cycle);
1345    else          info->sys_cycles += (current_cycle - last_cycle);
1346
1347}  // end thread_time_update()
1348
1349/////////////////////////////////////
1350xptr_t thread_get_xptr( pid_t    pid,
1351                        trdid_t  trdid )
1352{
1353    cxy_t         target_cxy;          // target thread cluster identifier
1354    ltid_t        target_thread_ltid;  // target thread local index
1355    thread_t    * target_thread_ptr;   // target thread local pointer
1356    xptr_t        target_process_xp;   // extended pointer on target process descriptor
1357    process_t   * target_process_ptr;  // local pointer on target process descriptor
1358    pid_t         target_process_pid;  // target process identifier
1359    xlist_entry_t root;                // root of list of process in target cluster
1360    xptr_t        lock_xp;             // extended pointer on lock protecting  this list
1361
1362#if DEBUG_THREAD_GET_XPTR
1363uint32_t cycle  = (uint32_t)hal_get_cycles();
1364thread_t * this = CURRENT_THREAD;
1365if( DEBUG_THREAD_GET_XPTR < cycle )
1366printk("\n[%s] thread %x in process %x enters / pid %x / trdid %x / cycle %d\n",
1367__FUNCTION__, this->trdid, this->process->pid, pid, trdid, cycle );
1368#endif
1369
1370    // get target cluster identifier and local thread identifier
1371    target_cxy         = CXY_FROM_TRDID( trdid );
1372    target_thread_ltid = LTID_FROM_TRDID( trdid );
1373
1374    // check trdid argument
1375        if( (target_thread_ltid >= CONFIG_THREADS_MAX_PER_CLUSTER) || 
1376        cluster_is_active( target_cxy ) == false )                return XPTR_NULL;
1377
1378    // get root of list of process descriptors in target cluster
1379    hal_remote_memcpy( XPTR( local_cxy  , &root ),
1380                       XPTR( target_cxy , &LOCAL_CLUSTER->pmgr.local_root ),
1381                       sizeof(xlist_entry_t) );
1382
1383    // get extended pointer on lock protecting the list of local processes
1384    lock_xp = XPTR( target_cxy , &LOCAL_CLUSTER->pmgr.local_lock );
1385
1386    // take the lock protecting the list of processes in target cluster
1387    remote_queuelock_acquire( lock_xp );
1388
1389#if( DEBUG_THREAD_GET_XPTR & 1 )
1390if( DEBUG_THREAD_GET_XPTR < cycle )
1391printk("\n[%s] scan processes in cluster %x :\n", __FUNCTION__, target_cxy );
1392#endif
1393
1394    // scan the list of local processes in target cluster
1395    xptr_t  iter;
1396    bool_t  found = false;
1397    XLIST_FOREACH( XPTR( target_cxy , &LOCAL_CLUSTER->pmgr.local_root ) , iter )
1398    {
1399        target_process_xp  = XLIST_ELEMENT( iter , process_t , local_list );
1400        target_process_ptr = GET_PTR( target_process_xp );
1401        target_process_pid = hal_remote_l32( XPTR( target_cxy , &target_process_ptr->pid ) );
1402
1403#if( DEBUG_THREAD_GET_XPTR & 1 )
1404if( DEBUG_THREAD_GET_XPTR < cycle )
1405printk(" - process %x\n", target_process_pid );
1406#endif
1407
1408        if( target_process_pid == pid )
1409        {
1410            found = true;
1411            break;
1412        }
1413    }
1414
1415    // release the lock protecting the list of processes in target cluster
1416    remote_queuelock_release( lock_xp );
1417
1418    // check PID found
1419    if( found == false ) 
1420    {
1421
1422#if( DEBUG_THREAD_GET_XPTR & 1 )
1423if( DEBUG_THREAD_GET_XPTR < cycle )
1424printk("\n[%s] pid %x not found in cluster %x\n",
1425__FUNCTION__, pid, target_cxy );
1426#endif
1427        return XPTR_NULL;
1428    }
1429
1430    // get target thread local pointer
1431    xptr_t xp = XPTR( target_cxy , &target_process_ptr->th_tbl[target_thread_ltid] );
1432    target_thread_ptr = (thread_t *)hal_remote_lpt( xp );
1433
1434    if( target_thread_ptr == NULL )
1435    {
1436
1437#if( DEBUG_THREAD_GET_XPTR & 1 )
1438if( DEBUG_THREAD_GET_XPTR < cycle )
1439printk("\n[%s] thread %x not registered in process %x in cluster %x\n",
1440__FUNCTION__, trdid, pid, target_cxy );
1441#endif
1442        return XPTR_NULL;
1443    }
1444
1445#if DEBUG_THREAD_GET_XPTR
1446cycle  = (uint32_t)hal_get_cycles();
1447if( DEBUG_THREAD_GET_XPTR < cycle )
1448printk("\n[%s] thread %x in process %x exit / pid %x / trdid %x / cycle %d\n",
1449__FUNCTION__, this->trdid, this->process->pid, pid, trdid, cycle );
1450#endif
1451
1452    return XPTR( target_cxy , target_thread_ptr );
1453
1454}  // end thread_get_xptr()
1455
1456///////////////////////////////////////////////////
1457void thread_assert_can_yield( thread_t    * thread,
1458                              const char  * func_str )
1459{
1460    // does nothing if thread does not hold any busylock
1461
1462    if( thread->busylocks )
1463    {
1464        // get pointers on TXT0 chdev
1465        xptr_t    txt0_xp  = chdev_dir.txt_tx[0];
1466        cxy_t     txt0_cxy = GET_CXY( txt0_xp );
1467        chdev_t * txt0_ptr = GET_PTR( txt0_xp );
1468
1469        // get extended pointer on TXT0 lock
1470        xptr_t  txt0_lock_xp = XPTR( txt0_cxy , &txt0_ptr->wait_lock );
1471
1472        // get TXT0 lock
1473        remote_busylock_acquire( txt0_lock_xp );
1474
1475        // display error message on TXT0
1476        nolock_printk("\n[PANIC] in %s / thread[%x,%x] cannot yield : "
1477        "hold %d busylock(s) / cycle %d\n",
1478        func_str, thread->process->pid, thread->trdid,
1479        thread->busylocks - 1, (uint32_t)hal_get_cycles() );
1480
1481#if DEBUG_BUSYLOCK
1482
1483// scan list of busylocks
1484xptr_t    iter_xp;
1485xptr_t    root_xp  = XPTR( local_cxy , &thread->busylocks_root );
1486XLIST_FOREACH( root_xp , iter_xp )
1487{
1488    xptr_t       lock_xp   = XLIST_ELEMENT( iter_xp , busylock_t , xlist );
1489    cxy_t        lock_cxy  = GET_CXY( lock_xp );
1490    busylock_t * lock_ptr  = GET_PTR( lock_xp );
1491    uint32_t     lock_type = hal_remote_l32( XPTR( lock_cxy , &lock_ptr->type ) );
1492    nolock_printk(" - %s in cluster %x\n", lock_type_str[lock_type] , lock_cxy );
1493}
1494
1495#endif
1496
1497        // release TXT0 lock
1498        remote_busylock_release( txt0_lock_xp );
1499
1500        // suicide
1501        hal_core_sleep();
1502    }
1503}  // end thread_assert_can yield()
1504
1505//////////////////////////////////////////////////////
1506void thread_display_busylocks( xptr_t       thread_xp,
1507                               const char * string )
1508{
1509
1510    cxy_t      thread_cxy = GET_CXY( thread_xp );
1511    thread_t * thread_ptr = GET_PTR( thread_xp );
1512
1513#if DEBUG_BUSYLOCK
1514
1515    xptr_t     iter_xp;
1516
1517    // get relevant info from target thread descriptor
1518    uint32_t    locks   = hal_remote_l32( XPTR( thread_cxy , &thread_ptr->busylocks ) );
1519    trdid_t     trdid   = hal_remote_l32( XPTR( thread_cxy , &thread_ptr->trdid ) );
1520    process_t * process = hal_remote_lpt( XPTR( thread_cxy , &thread_ptr->process ) );
1521    pid_t       pid     = hal_remote_l32( XPTR( thread_cxy , &process->pid ) );
1522
1523    // get extended pointer on root of busylocks
1524    xptr_t root_xp = XPTR( thread_cxy , &thread_ptr->busylocks_root );
1525
1526    // get pointers on TXT0 chdev
1527    xptr_t    txt0_xp  = chdev_dir.txt_tx[0];
1528    cxy_t     txt0_cxy = GET_CXY( txt0_xp );
1529    chdev_t * txt0_ptr = GET_PTR( txt0_xp );
1530
1531    // get extended pointer on remote TXT0 lock
1532    xptr_t  txt0_lock_xp = XPTR( txt0_cxy , &txt0_ptr->wait_lock );
1533
1534    // get TXT0 lock
1535    remote_busylock_acquire( txt0_lock_xp );
1536
1537    // display header
1538    nolock_printk("\n***** thread[%x,%x] in <%s> : %d busylocks *****\n",
1539    pid, trdid, string, locks );
1540
1541    // scan the xlist of busylocks when required
1542    if( locks )
1543    {
1544        XLIST_FOREACH( root_xp , iter_xp )
1545        {
1546            xptr_t       lock_xp   = XLIST_ELEMENT( iter_xp , busylock_t , xlist );
1547            cxy_t        lock_cxy  = GET_CXY( lock_xp );
1548            busylock_t * lock_ptr  = GET_PTR( lock_xp );
1549            uint32_t     lock_type = hal_remote_l32(XPTR( lock_cxy , &lock_ptr->type ));
1550            nolock_printk(" - %s in cluster %x\n", lock_type_str[lock_type] , lock_cxy );
1551        }
1552    }
1553
1554    // release TXT0 lock
1555    remote_busylock_release( txt0_lock_xp );
1556
1557#else
1558
1559printk("\n[ERROR] in %s : set DEBUG_BUSYLOCK in kernel_config.h for %s / thread(%x,%x)\n",
1560__FUNCTION__, string, thread_cxy, thread_ptr );
1561
1562#endif
1563
1564    return;
1565
1566}  // end thread_display_busylock()
1567
Note: See TracBrowser for help on using the repository browser.