Context Navigation

source: trunk/kernel/syscalls/sys_display.c @ 654

Last change on this file since 654 was 640, checked in by alain, 5 years ago
Remove all RPCs in page-fault handling.
File size: 14.1 KB

Line
1	/*
2	* sys_display.c - display the current state of a kernel structure on TXT0
3	*
4	* Author Alain Greiner (2016,2017,2018, 2019)
5	*
6	* Copyright (c) UPMC Sorbonne Universites
7	*
8	* This file is part of ALMOS-MKH.
9	*
10	* ALMOS-MKH is free software; you can redistribute it and/or modify it
11	* under the terms of the GNU General Public License as published by
12	* the Free Software Foundation; version 2.0 of the License.
13	*
14	* ALMOS-MKH is distributed in the hope that it will be useful, but
15	* WITHOUT ANY WARRANTY; without even the implied warranty of
16	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
17	* General Public License for more details.
18	*
19	* You should have received a copy of the GNU General Public License
20	* along with ALMOS-MKH; if not, write to the Free Software Foundation,
21	* Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
22	*/
23
24	#include <hal_kernel_types.h>
25	#include <hal_uspace.h>
26	#include <hal_vmm.h>
27	#include <errno.h>
28	#include <vmm.h>
29	#include <cluster.h>
30	#include <thread.h>
31	#include <process.h>
32	#include <string.h>
33	#include <shared_syscalls.h>
34	#include <remote_barrier.h>
35	#include <vfs.h>
36	#include <mapper.h>
37
38	#include <syscalls.h>
39
40	/////////////////////////////////////////////////////////////////////////////////
41	// This static function returns a printable string for the type of display.
42	/////////////////////////////////////////////////////////////////////////////////
43
44	#if DEBUG_SYS_DISPLAY
45	static char* display_type_str( uint32_t type )
46	{
47	if ( type == DISPLAY_STRING ) return "STRING";
48	else if( type == DISPLAY_VMM ) return "VMM";
49	else if( type == DISPLAY_SCHED ) return "SCHED";
50	else if( type == DISPLAY_CLUSTER_PROCESSES ) return "CLUSTER_PROCESSES";
51	else if( type == DISPLAY_VFS ) return "VFS";
52	else if( type == DISPLAY_CHDEV ) return "CHDEV";
53	else if( type == DISPLAY_TXT_PROCESSES ) return "TXT_PROCESSES";
54	else if( type == DISPLAY_DQDT ) return "DQDT";
55	else if( type == DISPLAY_BUSYLOCKS ) return "BUSYLOCKS";
56	else if( type == DISPLAY_MAPPER ) return "MAPPER";
57	else if( type == DISPLAY_BARRIER ) return "BARRIER";
58	else if( type == DISPLAY_FAT ) return "FAT";
59	else return "undefined";
60	}
61	#endif
62
63	/////////////////////////////
64	int sys_display( reg_t type,
65	reg_t arg0,
66	reg_t arg1,
67	reg_t arg2 )
68	{
69
70	error_t error;
71	vseg_t * vseg;
72
73	thread_t * this = CURRENT_THREAD;
74	process_t * process = this->process;
75
76	#if (DEBUG_SYS_DISPLAY \|\| CONFIG_INSTRUMENTATION_SYSCALLS)
77	uint64_t tm_start = hal_get_cycles();
78	#endif
79
80	#if DEBUG_SYS_DISPLAY
81	tm_start = hal_get_cycles();
82	if( DEBUG_SYS_DISPLAY < tm_start )
83	printk("\n[%s] thread[%x,%x] enter / type %s / cycle = %d\n",
84	__FUNCTION__, process->pid, this->trdid, display_type_str(type), (uint32_t)tm_start );
85	#endif
86
87	switch( type )
88	{
89	////////////////////
90	case DISPLAY_STRING:
91	{
92	char kbuf[512];
93	uint32_t length;
94
95	char * string = (char *)arg0;
96
97	// check string in user space
98	error = vmm_get_vseg( process , (intptr_t)arg0 , &vseg );
99	if( error )
100	{
101
102	#if DEBUG_SYSCALLS_ERROR
103	printk("\n[ERROR] in %s for STRING : string buffer %x unmapped\n",
104	__FUNCTION__ , (intptr_t)arg0 );
105	#endif
106	this->errno = EINVAL;
107	return -1;
108	}
109
110	// ckeck string length
111	length = hal_strlen_from_uspace( string );
112	if( length >= 512 )
113	{
114
115	#if DEBUG_SYSCALLS_ERROR
116	printk("\n[ERROR] in %s for STRING : string length %d too large\n",
117	__FUNCTION__ , length );
118	#endif
119	this->errno = EINVAL;
120	return -1;
121	}
122
123	// copy string to kernel space
124	hal_strcpy_from_uspace( XPTR( local_cxy , kbuf ),
125	string,
126	512 );
127
128	// print message on TXT0 kernel terminal
129	printk("\n%s / cycle %d\n", kbuf, (uint32_t)hal_get_cycles() );
130
131	break;
132	}
133	/////////////////
134	case DISPLAY_VMM:
135	{
136	cxy_t cxy = (cxy_t)arg0;
137	pid_t pid = (pid_t)arg1;
138	bool_t mapping = (arg2 != 0);
139
140	// check cxy argument
141	if( cluster_is_active( cxy ) == false )
142	{
143
144	#if DEBUG_SYSCALLS_ERROR
145	printk("\n[ERROR] in %s for VMM : process %x in cluster %x not found\n",
146	__FUNCTION__ , pid , cxy );
147	#endif
148	this->errno = EINVAL;
149	return -1;
150	}
151
152	// get extended pointer on process PID in cluster CXY
153	xptr_t process_xp = cluster_get_process_from_pid_in_cxy( cxy , pid );
154	if( process_xp == XPTR_NULL )
155	{
156
157	#if DEBUG_SYSCALLS_ERROR
158	printk("\n[ERROR] in %s for VMM : process %x in cluster %x not found\n",
159	__FUNCTION__ , pid , cxy );
160	#endif
161	this->errno = EINVAL;
162	return -1;
163	}
164
165	// call kernel function
166	hal_vmm_display( process_xp , mapping );
167
168	break;
169	}
170	///////////////////
171	case DISPLAY_SCHED:
172	{
173	cxy_t cxy = (cxy_t)arg0;
174	lid_t lid = (lid_t)arg1;
175
176	// check cxy argument
177	if( cluster_is_active( cxy ) == false )
178	{
179
180	#if DEBUG_SYSCALLS_ERROR
181	printk("\n[ERROR] in %s for SCHED : illegal cxy argument %x\n",
182	__FUNCTION__ , cxy );
183	#endif
184	this->errno = EINVAL;
185	return -1;
186	}
187
188	// check lid argument
189	if( lid >= LOCAL_CLUSTER->cores_nr )
190	{
191
192	#if DEBUG_SYSCALLS_ERROR
193	printk("\n[ERROR] in %s for SCHED : illegal lid argument %x\n",
194	__FUNCTION__ , lid );
195	#endif
196	this->errno = EINVAL;
197	return -1;
198	}
199
200	// call kernel function
201	sched_remote_display( cxy , lid );
202
203	break;
204	}
205	///////////////////////////////
206	case DISPLAY_CLUSTER_PROCESSES:
207	{
208	cxy_t cxy = (cxy_t)arg0;
209	bool_t owned = (bool_t)arg1;
210
211	// check cxy argument
212	if( cluster_is_active( cxy ) == false )
213	{
214
215	#if DEBUG_SYSCALLS_ERROR
216	printk("\n[ERROR] in %s for CLUSTER_PROCESSES : illegal cxy argument %x\n",
217	__FUNCTION__ , cxy );
218	#endif
219	this->errno = EINVAL;
220	return -1;
221	}
222
223	cluster_processes_display( cxy , owned );
224
225	break;
226	}
227	/////////////////
228	case DISPLAY_VFS:
229	{
230	vfs_display( process->vfs_root_xp );
231
232	break;
233	}
234	///////////////////
235	case DISPLAY_CHDEV:
236	{
237	chdev_dir_display();
238
239	break;
240	}
241	///////////////////////////
242	case DISPLAY_TXT_PROCESSES:
243	{
244	uint32_t txt_id = (uint32_t)arg0;
245
246	// check argument
247	if( txt_id >= LOCAL_CLUSTER->nb_txt_channels )
248	{
249
250	#if DEBUG_SYSCALLS_ERROR
251	printk("\n[ERROR] in %s for TXT_PROCESSES : illegal txt_id argument %d\n",
252	__FUNCTION__ , txt_id );
253	#endif
254	this->errno = EINVAL;
255	return -1;
256	}
257
258	process_txt_display( txt_id );
259
260	break;
261	}
262	//////////////////
263	case DISPLAY_DQDT:
264	{
265	dqdt_display();
266
267	break;
268	}
269	///////////////////////
270	case DISPLAY_BUSYLOCKS:
271	{
272	pid_t pid = (pid_t)arg0;
273	trdid_t trdid = (trdid_t)arg1;
274
275	// get extended pointer on target thread
276	xptr_t thread_xp = thread_get_xptr( pid , trdid );
277
278	if( thread_xp == XPTR_NULL )
279	{
280
281	#if DEBUG_SYSCALLS_ERROR
282	printk("\n[ERROR] in %s for BUSYLOCKS : thread[%x,%x] not found\n",
283	__FUNCTION__ , pid, trdid );
284	#endif
285	this->errno = EINVAL;
286	return -1;
287	}
288
289	thread_display_busylocks( thread_xp , __FUNCTION__ );
290
291	break;
292	}
293	////////////////////
294	case DISPLAY_MAPPER:
295	{
296	xptr_t root_inode_xp;
297	xptr_t inode_xp;
298	cxy_t inode_cxy;
299	vfs_inode_t * inode_ptr;
300	xptr_t mapper_xp;
301	mapper_t * mapper_ptr;
302
303	char kbuf[CONFIG_VFS_MAX_PATH_LENGTH];
304
305	char * path = (char *)arg0;
306	uint32_t page_id = (uint32_t)arg1;
307	uint32_t nbytes = (uint32_t)arg2;
308
309	// check pathname length
310	if( hal_strlen_from_uspace( path ) >= CONFIG_VFS_MAX_PATH_LENGTH )
311	{
312
313	#if DEBUG_SYSCALLS_ERROR
314	printk("\n[ERROR] in %s for MAPPER : pathname too long\n",
315	__FUNCTION__ );
316	#endif
317	this->errno = ENFILE;
318	return -1;
319	}
320
321	// copy pathname in kernel space
322	hal_strcpy_from_uspace( XPTR( local_cxy , kbuf ),
323	path,
324	CONFIG_VFS_MAX_PATH_LENGTH );
325
326	// compute root inode for pathname
327	if( kbuf[0] == '/' ) // absolute path
328	{
329	// use extended pointer on VFS root inode
330	root_inode_xp = process->vfs_root_xp;
331	}
332	else // relative path
333	{
334	// get cluster and local pointer on reference process
335	xptr_t ref_xp = process->ref_xp;
336	process_t * ref_ptr = (process_t *)GET_PTR( ref_xp );
337	cxy_t ref_cxy = GET_CXY( ref_xp );
338
339	// get extended pointer on CWD inode
340	root_inode_xp = hal_remote_l64( XPTR( ref_cxy , &ref_ptr->cwd_xp ) );
341	}
342
343	// get extended pointer on target inode
344	error = vfs_lookup( root_inode_xp,
345	kbuf,
346	0,
347	&inode_xp,
348	NULL );
349	if( error )
350	{
351
352	#if DEBUG_SYSCALLS_ERROR
353	printk("\n[ERROR] in %s for MAPPER : cannot found inode <%s>\n",
354	__FUNCTION__ , kbuf );
355	#endif
356	this->errno = ENFILE;
357	return -1;
358	}
359
360	// get target inode cluster and local pointer
361	inode_cxy = GET_CXY( inode_xp );
362	inode_ptr = GET_PTR( inode_xp );
363
364	// get extended pointer on target mapper
365	mapper_ptr = hal_remote_lpt( XPTR( inode_cxy , &inode_ptr->mapper ) );
366	mapper_xp = XPTR( inode_cxy , mapper_ptr );
367
368	// display mapper
369	error = mapper_display_page( mapper_xp , page_id , nbytes );
370
371	if( error )
372	{
373
374	#if DEBUG_SYSCALLS_ERROR
375	printk("\n[ERROR] in %s for MAPPER : cannot display page %d\n",
376	__FUNCTION__ , page_id );
377	#endif
378	this->errno = ENFILE;
379	return -1;
380	}
381
382	break;
383	}
384	/////////////////////
385	case DISPLAY_BARRIER:
386	{
387	// get target process PID
388	pid_t pid = (pid_t)arg0;
389
390	// get pointers on owner process
391	xptr_t process_xp = cluster_get_reference_process_from_pid( pid );
392	process_t * process_ptr = GET_PTR( process_xp );
393	cxy_t process_cxy = GET_CXY( process_xp );
394
395	if( process_xp == XPTR_NULL )
396	{
397
398	#if DEBUG_SYSCALLS_ERROR
399	printk("\n[ERROR] in %s for BARRIER : process %x not found\n",
400	__FUNCTION__ , pid );
401	#endif
402	this->errno = EINVAL;
403	return -1;
404	}
405
406	// get extended pointer on root of list of barriers
407	xptr_t root_xp = XPTR( process_cxy , &process_ptr->barrier_root );
408
409	if( xlist_is_empty( root_xp ) )
410	{
411
412	#if DEBUG_SYSCALLS_ERROR
413	printk("\n[ERROR] in %s for BARRIER : no registered barrier in process %x\n",
414	__FUNCTION__ , pid );
415	#endif
416	this->errno = EINVAL;
417	return -1;
418	}
419
420	// get extended pointer on first registered generic barrier descriptor
421	xptr_t gen_barrier_xp = XLIST_FIRST( root_xp , generic_barrier_t , list );
422
423	// display barrier state
424	generic_barrier_display( gen_barrier_xp );
425
426	break;
427	}
428	/////////////////
429	case DISPLAY_FAT:
430	{
431	uint32_t entries = (uint32_t)arg1;
432
433	if( entries > 4096 )
434	{
435
436	#if DEBUG_SYSCALLS_ERROR
437	printk("\n[ERROR] in %s for FAT : nb_entries larger than 4096\n",
438	__FUNCTION__ );
439	#endif
440	this->errno = EINVAL;
441	return -1;
442	}
443
444	if( entries == 0 ) // display fat context in cluster cxy
445	{
446	uint32_t cxy = (uint32_t)arg0;
447
448	if( cluster_is_active( cxy ) == false )
449	{
450
451	#if DEBUG_SYSCALLS_ERROR
452	printk("\n[ERROR] in %s for FAT : illegal cxy argument %x\n",
453	__FUNCTION__ , cxy );
454	#endif
455	this->errno = EINVAL;
456	return -1;
457	}
458
459	fatfs_display_ctx( cxy );
460	}
461	else // display nb_entries in page
462	{
463	uint32_t page = (uint32_t)arg0;
464
465	fatfs_display_fat( page , entries );
466	}
467
468	break;
469	}
470	////////
471	default:
472	{
473
474	#if DEBUG_SYSCALLS_ERROR
475	printk("\n[ERROR] in %s : undefined display type %d\n",
476	__FUNCTION__ , type );
477	#endif
478	this->errno = EINVAL;
479	return -1;
480	}
481	} // end switch on type
482
483	#if (DEBUG_SYS_DISPLAY \|\| CONFIG_INSTRUMENTATION_SYSCALLS)
484	uint64_t tm_end = hal_get_cycles();
485	#endif
486
487	#if DEBUG_SYS_DISPLAY
488	if( DEBUG_SYS_DISPLAY < tm_end )
489	printk("\n[%s] thread[%x,%x] exit / cycle %d\n",
490	__FUNCTION__, process->pid, this->trdid, (uint32_t)tm_end );
491	#endif
492
493	#if CONFIG_INSTRUMENTATION_SYSCALLS
494	hal_atomic_add( &syscalls_cumul_cost[SYS_DISPLAY] , tm_end - tm_start );
495	hal_atomic_add( &syscalls_occurences[SYS_DISPLAY] , 1 );
496	#endif
497
498	return 0;
499
500	} // end sys_display()

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

Download in other formats: