Context Navigation

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

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

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

Download in other formats: