Context Navigation

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

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

Note: See TracBrowser for help on using the repository browser.

Download in other formats: