Context Navigation

source: soft/giet_vm/giet_xml/xml_driver.c @ 398

Last change on this file since 398 was 349, checked in by alain, 10 years ago
Introducing a new attribute "local" in the mapping_vseg_t structure, to support distributed page tables, kernel code and user code: A "local" vseg is only mapped in the local page table (The local page table is the page table stored in the same cluster as the vseg itself).
Property svn:executable set to ``*
File size: 19.4 KB

Line
1	////////////////////////////////////////////////////////////////////////////
2	// File : xml_driver.c
3	// Date : 04/04/2012
4	// Author : alain greiner
5	// Copyright (c) UPMC-LIP6
6	////////////////////////////////////////////////////////////////////////////
7	// This program translate a binary file containing a MAPPING_INFO
8	// data structure to an xml file.
9	////////////////////////////////////////////////////////////////////////////
10
11	#include <stdlib.h>
12	#include <fcntl.h>
13	#include <unistd.h>
14	#include <stdio.h>
15	#include <string.h>
16	#include <stdint.h>
17	#include <mapping_info.h>
18
19	//////////////////////////////////////////////////////
20	void buildXml(mapping_header_t * header, FILE * fpout)
21	{
22	// mnemonics defined in mapping_info.h
23	const char * vobj_type[] =
24	{
25	"ELF", // binary code generated by GCC
26	"BLOB", // binary code generated by GCC
27	"PTAB", // page table
28	"PERI", // hardware component
29	"MWMR", // MWMR channel
30	"LOCK", // Spin-Lock
31	"BUFFER", // Any "no intialiasation needed" object (stacks...)
32	"BARRIER", // Barrier
33	"CONST", // Constant
34	"MEMSPACE", // Memspace
35	"SCHED", // Scheduler
36	};
37
38	// mnemonics defined in mapping_info.h
39	const char * pseg_type[] =
40	{
41	"RAM",
42	"ROM", // deprecated => use PERI
43	"PERI",
44	};
45
46	// mnemonics defined in mapping_info.h
47	const char * irq_type[] =
48	{
49	"HWI",
50	"WTI",
51	"PTI",
52	};
53
54	// mnemonics defined in irq_handler.h
55	const char * isr_type[] =
56	{
57	"ISR_DEFAULT",
58	"ISR_TICK",
59	"ISR_TTY_RX",
60	"ISR_TTY_TX",
61	"ISR_BDV",
62	"ISR_TIMER",
63	"ISR_WAKUP",
64	"ISR_NIC_RX",
65	"ISR_NIC_TX",
66	"ISR_CMA",
67	"ISR_MMC",
68	"ISR_DMA",
69	"ISR_SPI",
70	};
71
72	// mnemonics defined in mapping_info.h
73	const char * periph_type[] =
74	{
75	"CMA",
76	"DMA",
77	"FBF",
78	"ICU",
79	"IOB",
80	"IOC",
81	"MMC",
82	"MWR",
83	"NIC",
84	"ROM",
85	"SIM",
86	"TIM",
87	"TTY",
88	"XCU",
89	"PIC",
90	};
91
92	const char * ioc_subtype[] =
93	{
94	"BDV",
95	"HBA",
96	"SPI",
97	"NONE",
98	};
99
100	const char * port_direction[] =
101	{
102	"TO_COPROC",
103	"FROM_COPROC",
104	};
105
106	const char * mode_str[] =
107	{
108	"____",
109	"___U",
110	"__W_",
111	"__WU",
112	"_X__",
113	"_X_U",
114	"_XW_",
115	"_XWU",
116	"C___",
117	"C__U",
118	"C_W_",
119	"C_WU",
120	"CX__",
121	"CX_U",
122	"CXW_",
123	"CXWU",
124	};
125
126	unsigned int vspace_id;
127	unsigned int cluster_id;
128	unsigned int pseg_id;
129	unsigned int vseg_id;
130	unsigned int vobj_id;
131	unsigned int task_id;
132	unsigned int proc_id;
133	unsigned int irq_id;
134	unsigned int coproc_id;
135	unsigned int port_id;
136	unsigned int periph_id;
137
138	mapping_cluster_t * cluster;
139	mapping_pseg_t * pseg;
140	mapping_vspace_t * vspace;
141	mapping_vseg_t * vseg;
142	mapping_vobj_t * vobj;
143	mapping_task_t * task;
144	mapping_proc_t * proc;
145	mapping_irq_t * irq;
146	mapping_coproc_t * coproc;
147	mapping_cp_port_t * cp_port;
148	mapping_periph_t * periph;
149
150	// computes the base adresss for clusters array,
151	cluster = (mapping_cluster_t )((char ) header +
152	MAPPING_HEADER_SIZE);
153
154	// computes the base adresss for psegs array,
155	pseg = (mapping_pseg_t ) ((char ) header +
156	MAPPING_HEADER_SIZE +
157	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size);
158
159	// computes the base adresss for vspaces array,
160	vspace = (mapping_vspace_t ) ((char ) header +
161	MAPPING_HEADER_SIZE +
162	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
163	MAPPING_PSEG_SIZE * header->psegs);
164
165	// computes the base adresss for vsegs array,
166	vseg = (mapping_vseg_t ) ((char ) header +
167	MAPPING_HEADER_SIZE +
168	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
169	MAPPING_PSEG_SIZE * header->psegs +
170	MAPPING_VSPACE_SIZE * header->vspaces);
171
172	// computes the base adresss for vobjs array,
173	vobj = (mapping_vobj_t ) ((char ) header +
174	MAPPING_HEADER_SIZE +
175	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
176	MAPPING_PSEG_SIZE * header->psegs +
177	MAPPING_VSPACE_SIZE * header->vspaces +
178	MAPPING_VSEG_SIZE * header->vsegs);
179
180	// computes the base address for tasks array
181	task = (mapping_task_t ) ((char ) header +
182	MAPPING_HEADER_SIZE +
183	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
184	MAPPING_PSEG_SIZE * header->psegs +
185	MAPPING_VSPACE_SIZE * header->vspaces +
186	MAPPING_VOBJ_SIZE * header->vobjs +
187	MAPPING_VSEG_SIZE * header->vsegs);
188
189	// computes the base address for procs array
190	proc = (mapping_proc_t ) ((char ) header +
191	MAPPING_HEADER_SIZE +
192	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
193	MAPPING_PSEG_SIZE * header->psegs +
194	MAPPING_VSPACE_SIZE * header->vspaces +
195	MAPPING_VOBJ_SIZE * header->vobjs +
196	MAPPING_VSEG_SIZE * header->vsegs +
197	MAPPING_TASK_SIZE * header->tasks);
198
199	// computes the base address for irqs array
200	irq = (mapping_irq_t ) ((char ) header +
201	MAPPING_HEADER_SIZE +
202	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
203	MAPPING_PSEG_SIZE * header->psegs +
204	MAPPING_VSPACE_SIZE * header->vspaces +
205	MAPPING_VOBJ_SIZE * header->vobjs +
206	MAPPING_VSEG_SIZE * header->vsegs +
207	MAPPING_TASK_SIZE * header->tasks +
208	MAPPING_PROC_SIZE * header->procs);
209
210	// computes the base address for coprocs array
211	coproc = (mapping_coproc_t ) ((char ) header +
212	MAPPING_HEADER_SIZE +
213	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
214	MAPPING_PSEG_SIZE * header->psegs +
215	MAPPING_VSPACE_SIZE * header->vspaces +
216	MAPPING_VOBJ_SIZE * header->vobjs +
217	MAPPING_VSEG_SIZE * header->vsegs +
218	MAPPING_TASK_SIZE * header->tasks +
219	MAPPING_PROC_SIZE * header->procs +
220	MAPPING_IRQ_SIZE * header->irqs);
221
222	// computes the base address for cp_ports array
223	cp_port = (mapping_cp_port_t ) ((char ) header +
224	MAPPING_HEADER_SIZE +
225	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
226	MAPPING_PSEG_SIZE * header->psegs +
227	MAPPING_VSPACE_SIZE * header->vspaces +
228	MAPPING_VOBJ_SIZE * header->vobjs +
229	MAPPING_VSEG_SIZE * header->vsegs +
230	MAPPING_TASK_SIZE * header->tasks +
231	MAPPING_PROC_SIZE * header->procs +
232	MAPPING_IRQ_SIZE * header->irqs +
233	MAPPING_COPROC_SIZE * header->coprocs);
234
235	// computes the base address for periphs array
236	periph = (mapping_periph_t ) ((char ) header +
237	MAPPING_HEADER_SIZE +
238	MAPPING_CLUSTER_SIZE * header->x_size * header->y_size +
239	MAPPING_PSEG_SIZE * header->psegs +
240	MAPPING_VSPACE_SIZE * header->vspaces +
241	MAPPING_VOBJ_SIZE * header->vobjs +
242	MAPPING_VSEG_SIZE * header->vsegs +
243	MAPPING_TASK_SIZE * header->tasks +
244	MAPPING_PROC_SIZE * header->procs +
245	MAPPING_IRQ_SIZE * header->irqs +
246	MAPPING_COPROC_SIZE * header->coprocs +
247	MAPPING_CP_PORT_SIZE * header->cp_ports);
248
249	///////////////////////// header /////////////////////////////////////////////
250
251	fprintf(fpout, "<?xml version = \"1.0\"?>\n\n");
252
253	fprintf(fpout, "<mapping_info signature = \"0x%x\" \n" , header->signature);
254	fprintf(fpout, " name = \"%s\" \n" , header->name);
255	fprintf(fpout, " x_size = \"%d\" \n" , header->x_size);
256	fprintf(fpout, " y_size = \"%d\" \n" , header->y_size);
257	fprintf(fpout, " x_width = \"%d\" \n" , header->x_width);
258	fprintf(fpout, " y_width = \"%d\" \n" , header->y_width);
259	fprintf(fpout, " irq_per_proc = \"%d\" \n" , header->irq_per_proc);
260	fprintf(fpout, " use_ram_disk = \"%d\" \n" , header->use_ram_disk);
261	fprintf(fpout, " x_io = \"%d\" \n" , header->x_io);
262	fprintf(fpout, " y_io = \"%d\" >\n\n", header->y_io);
263
264	///////////////////// clusters ///////////////////////////////////////////////
265
266	fprintf( fpout, " <clusterset>\n");
267	for (cluster_id = 0; cluster_id < (header->x_size * header->y_size); cluster_id++)
268	{
269	fprintf(fpout, " <cluster x=\"%d\" y=\"%d\" >\n",
270	cluster[cluster_id].x, cluster[cluster_id].y );
271
272	///////////////////// psegs ////////////////////////////////////////////////
273
274	for (pseg_id = cluster[cluster_id].pseg_offset;
275	pseg_id < cluster[cluster_id].pseg_offset + cluster[cluster_id].psegs;
276	pseg_id++)
277	{
278	fprintf(fpout, " <pseg name=\"%s\"", pseg[pseg_id].name);
279	fprintf(fpout, " type=\"%s\"", pseg_type[pseg[pseg_id].type]);
280	fprintf(fpout, " base=\"0x%llx\"", pseg[pseg_id].base);
281	fprintf(fpout, " length=\"0x%llx\" />\n", pseg[pseg_id].length);
282	}
283
284	///////////////////// processors /////////////////////////////////////////////
285
286	unsigned int proc_index = 0;
287	for (proc_id = cluster[cluster_id].proc_offset;
288	proc_id < cluster[cluster_id].proc_offset + cluster[cluster_id].procs;
289	proc_id++, proc_index++)
290	{
291	fprintf(fpout, " <proc index=\"%d\" />\n", proc_index);
292	}
293
294	///////////////////// coprocessors ///////////////////////////////////////////
295
296	for (coproc_id = cluster[cluster_id].coproc_offset;
297	coproc_id < cluster[cluster_id].coproc_offset + cluster[cluster_id].coprocs;
298	coproc_id++)
299	{
300	fprintf(fpout, " <coproc name=\"%s\"", coproc[coproc_id].name);
301	fprintf(fpout, " psegname=\"%s\" >\n", pseg[coproc[coproc_id].psegid].name);
302	for (port_id = coproc[coproc_id].port_offset;
303	port_id < coproc[coproc_id].port_offset + coproc[coproc_id].ports;
304	port_id++)
305	{
306	unsigned int vobj_id = cp_port[port_id].mwmr_vobj_id;
307	fprintf(fpout, " <port direction=\"%s\"", port_direction[cp_port[port_id].direction]);
308	fprintf(fpout, " vspacename=\"%s\"", vspace[cp_port[port_id].vspaceid].name);
309	fprintf(fpout, " vobjname=\"%s\" />\n", vobj[vobj_id].name);
310	}
311	fprintf(fpout, " </coproc>\n" );
312	}
313
314	///////////////////// periphs ///////////////////////////////////////////////
315
316	for (periph_id = cluster[cluster_id].periph_offset;
317	periph_id < cluster[cluster_id].periph_offset + cluster[cluster_id].periphs;
318	periph_id++)
319	{
320	fprintf(fpout, " <periph type=\"%s\"", periph_type[periph[periph_id].type]);
321
322	if (periph[periph_id].type == PERIPH_TYPE_IOC)
323	fprintf(fpout, " subtype=\"%s\"", ioc_subtype[periph[periph_id].subtype]);
324
325	fprintf(fpout, " psegname=\"%s\"", pseg[periph[periph_id].psegid].name);
326	fprintf(fpout, " channels=\"%d\"", periph[periph_id].channels);
327	fprintf(fpout, " arg=\"%d\" >\n", periph[periph_id].arg);
328	if ( (periph[periph_id].type == PERIPH_TYPE_PIC) \|\|
329	(periph[periph_id].type == PERIPH_TYPE_XCU) \|\|
330	(periph[periph_id].type == PERIPH_TYPE_ICU) )
331	{
332	for (irq_id = periph[periph_id].irq_offset;
333	irq_id < periph[periph_id].irq_offset + periph[periph_id].irqs;
334	irq_id++)
335	{
336	fprintf(fpout, " <irq srctype=\"%s\"", irq_type[irq[irq_id].srctype]);
337	fprintf(fpout, " srcid=\"%d\"", irq[irq_id].srcid);
338	fprintf(fpout, " isr=\"%s\"", isr_type[irq[irq_id].isr]);
339	fprintf(fpout, " channel=\"%d\" />\n", irq[irq_id].channel);
340	}
341	}
342	fprintf(fpout, " </periph>\n");
343	}
344	fprintf(fpout, " </cluster>\n" );
345	}
346	fprintf(fpout, " </clusterset>\n\n" );
347
348	/////////////////// globals /////////////////////////////////////////////////
349
350	fprintf(fpout, " <globalset>\n" );
351	for (vseg_id = 0; vseg_id < header->globals; vseg_id++)
352	{
353	unsigned int pseg_id = vseg[vseg_id].psegid;
354	unsigned int cluster_id = pseg[pseg_id].clusterid;
355
356	fprintf(fpout, " <vseg name=\"%s\"", vseg[vseg_id].name);
357	fprintf(fpout, " vbase=\"0x%x\"", vseg[vseg_id].vbase);
358	fprintf(fpout, " mode=\"%s\"", mode_str[vseg[vseg_id].mode]);
359	fprintf(fpout, " x=\"%d\"", cluster[cluster_id].x);
360	fprintf(fpout, " y=\"%d\"", cluster[cluster_id].y);
361	fprintf(fpout, " psegname=\"%s\"", pseg[pseg_id].name);
362	if( vseg[vseg_id].ident ) fprintf(fpout, " ident=\"1\"");
363	if( vseg[vseg_id].local ) fprintf(fpout, " local=\"1\"");
364	fprintf(fpout, " >\n");
365
366	for (vobj_id = vseg[vseg_id].vobj_offset;
367	vobj_id < (vseg[vseg_id].vobj_offset + vseg[vseg_id].vobjs);
368	vobj_id++)
369	{
370	fprintf(fpout, " <vobj name=\"%s\"", vobj[vobj_id].name);
371	fprintf(fpout, " type=\"%s\"", vobj_type[vobj[vobj_id].type]);
372	fprintf(fpout, " length=\"0x%x\"", vobj[vobj_id].length);
373	if( vobj[vobj_id].align )
374	fprintf(fpout, " align=\"%d\"", vobj[vobj_id].align);
375	if( vobj[vobj_id].binpath[0] != 0 )
376	fprintf(fpout, " binpath=\"%s\"", vobj[vobj_id].binpath);
377	if( (vobj[vobj_id].type == VOBJ_TYPE_BARRIER) \|\|
378	(vobj[vobj_id].type == VOBJ_TYPE_MWMR ) \|\|
379	(vobj[vobj_id].type == VOBJ_TYPE_CONST ) )
380	fprintf(fpout, " init=\"%d\"", vobj[vobj_id].init);
381	fprintf(fpout, " />\n");
382	}
383	fprintf(fpout, " </vseg>\n");
384	}
385	fprintf(fpout, " </globalset>\n" );
386
387	//////////////////// vspaces ////////////////////////////////////////////////
388
389	fprintf( fpout, "\n <vspaceset>\n\n" );
390	for (vspace_id = 0; vspace_id < header->vspaces; vspace_id++)
391	{
392	unsigned int vobj_id = vspace[vspace_id].start_vobj_id;
393	fprintf(fpout, " <vspace name = \"%s\" ", vspace[vspace_id].name);
394	fprintf(fpout, " startname = \"%s\" >\n", vobj[vobj_id].name);
395
396	//////////////////// vsegs //////////////////////////////////////////////
397
398	for (vseg_id = vspace[vspace_id].vseg_offset;
399	vseg_id < (vspace[vspace_id].vseg_offset + vspace[vspace_id].vsegs);
400	vseg_id++)
401	{
402	unsigned int pseg_id = vseg[vseg_id].psegid;
403	unsigned int cluster_id = pseg[pseg_id].clusterid;
404
405	fprintf(fpout, " <vseg name=\"%s\"", vseg[vseg_id].name);
406	fprintf(fpout, " vbase=\"0x%x\"", vseg[vseg_id].vbase);
407	fprintf(fpout, " mode=\"%s\"", mode_str[vseg[vseg_id].mode]);
408	fprintf(fpout, " x=\"%d\"", cluster[cluster_id].x);
409	fprintf(fpout, " y=\"%d\"", cluster[cluster_id].y);
410	fprintf(fpout, " psegname=\"%s\"", pseg[pseg_id].name);
411	if( vseg[vseg_id].ident ) fprintf(fpout, " ident=\"1\"");
412	if( vseg[vseg_id].local ) fprintf(fpout, " local=\"1\"");
413	fprintf(fpout, " >\n");
414
415	for (vobj_id = vseg[vseg_id].vobj_offset;
416	vobj_id < (vseg[vseg_id].vobj_offset + vseg[vseg_id].vobjs);
417	vobj_id++)
418	{
419	fprintf(fpout, " <vobj name=\"%s\"", vobj[vobj_id].name);
420	fprintf(fpout, " type=\"%s\"", vobj_type[vobj[vobj_id].type]);
421	fprintf(fpout, " length=\"0x%x\"", vobj[vobj_id].length);
422	if( vobj[vobj_id].align )
423	fprintf(fpout, " align=\"%d\"", vobj[vobj_id].align);
424	if( vobj[vobj_id].binpath[0] != 0 )
425	fprintf(fpout, " binpath=\"%s\"", vobj[vobj_id].binpath);
426	if( (vobj[vobj_id].type == VOBJ_TYPE_BARRIER) \|\|
427	(vobj[vobj_id].type == VOBJ_TYPE_MWMR ) \|\|
428	(vobj[vobj_id].type == VOBJ_TYPE_CONST ) )
429	fprintf(fpout, " init=\"%d\"", vobj[vobj_id].init);
430	fprintf(fpout, " />\n");
431	}
432	fprintf(fpout, " </vseg>\n\n");
433	}
434
435	//////////////////// tasks //////////////////////////////////////////////
436
437	for (task_id = vspace[vspace_id].task_offset;
438	task_id < (vspace[vspace_id].task_offset + vspace[vspace_id].tasks);
439	task_id++)
440	{
441	unsigned int stack_vobj_id = task[task_id].stack_vobj_id;
442	unsigned int heap_vobj_id = task[task_id].heap_vobj_id;
443	unsigned int cluster_id = task[task_id].clusterid;
444
445	fprintf(fpout, " <task name=\"%s\"", task[task_id].name);
446	fprintf(fpout, " trdid=\"%d\"", task[task_id].trdid);
447	fprintf(fpout, " x=\"%d\"", cluster[cluster_id].x);
448	fprintf(fpout, " y=\"%d\"", cluster[cluster_id].y);
449	fprintf(fpout, " p=\"%d\"", task[task_id].proclocid);
450	fprintf(fpout, " stackname=\"%s\"", vobj[stack_vobj_id].name);
451	if (heap_vobj_id != -1)
452	{
453	fprintf(fpout, " heapname=\"%s\"", vobj[heap_vobj_id].name);
454	}
455	fprintf(fpout, " startid = \"%d\"", task[task_id].startid);
456	if( task[task_id].use_tty ) fprintf(fpout, " usetty=\"1\"");
457	if( task[task_id].use_nic ) fprintf(fpout, " usenic=\"1\"");
458	if( task[task_id].use_cma ) fprintf(fpout, " usecma=\"1\"");
459	if( task[task_id].use_tim ) fprintf(fpout, " usetim=\"1\"");
460	if( task[task_id].use_hba ) fprintf(fpout, " usehba=\"1\"");
461	fprintf(fpout, " />\n");
462	}
463	fprintf(fpout, " </vspace>\n\n");
464	}
465	fprintf(fpout, " </vspaceset>\n");
466	fprintf(fpout, "</mapping_info>\n");
467	} // end buildXml()
468
469
470	/////////////////////////////////////
471	int main(int argc, char * argv[])
472	{
473	if (argc < 2)
474	{
475	printf("Usage: bin2xml <input_file_path> <output_file_path>\n");
476	return 1;
477	}
478
479	unsigned int bin[0x10000]; // 64 K int = 256 Kbytes
480
481	int fdin = open(argv[1], O_RDONLY);
482	if (fdin < 0)
483	{
484	perror("open");
485	exit(1);
486	}
487
488	FILE * fpout = fopen( argv[2], "w");
489	if (fpout == NULL)
490	{
491	perror("open");
492	exit(1);
493	}
494
495	unsigned int length = read(fdin, bin, 0x40000);
496
497	if (length <= 0)
498	{
499	perror("read");
500	exit(1);
501	}
502
503	if (bin[0] == IN_MAPPING_SIGNATURE)
504	{
505	buildXml((mapping_header_t *) bin, fpout);
506	}
507	else
508	{
509	printf("[ERROR] Wrong file format\n");
510	exit(1);
511	}
512	return 0;
513	} // end main()
514
515
516
517	// Local Variables:
518	// tab-width: 4
519	// c-basic-offset: 4
520	// c-file-offsets:((innamespace . 0)(inline-open . 0))
521	// indent-tabs-mode: nil
522	// End:
523	// vim: filetype=c:expandtab:shiftwidth=4:tabstop=4:softtabstop=4
524

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

Download in other formats: