Context Navigation

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

Last change on this file since 646 was 641, checked in by alain, 5 years ago

Fix several bugs.
Introduce the "stat" command in KSH.

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

File size: 53.7 KB

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

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

Download in other formats: