Changes between Version 60 and Version 61 of WikiStart

Timestamp:

Nov 5, 2014, 4:00:09 PM (11 years ago)

Author:

alain

Comment:

--

WikiStart

@@ -7 +7 @@
 It is written for the MIPS32 processor. The virtual adresses are on 32 bits and use the (unsigned int) type, but the physicals addresses can have up to 40 bits, and use the (unsigned long long) type.
 
-The target architecture is generic, and the parameter values (such as the number of clusters, or the number of cores per cluster) are defined in the [source:soft/giet_vm/hard_config.h hard_config.h] file. The GIET-VM itself has configuration parameters that are defined in the [source:soft/giet_vm/giet_config.h giet_config.h] file.
-
 The GIET_VM supports a paged virtual memory, with two types of pages BPP (Big Physical Pages: 2 Mbytes), and SPP (Small Physical Pages: 4 Kbytes). The physical memory allocation is fully static, and all page tables (one page table per virtual space) are completely build and initialized in the boot phase. There is no page fault, and no swap on disk in the GIET_VM.
 
 The GIET_VM supports parallel multi-tasks user application. A GIET_VM user application is similar to a POSIX process: one virtual space per application. A task is similar to a Posix thread: all tasks in a given application share the same virtual space. Any task can be allocated to any processor, but the allocation is fully static : no task migration. Therefore, there is one private scheduler for each processor. 
+
+The target architecture is generic, and the parameter values (such as the number of clusters, or the number of cores per cluster) are defined in the [source:soft/giet_vm/hard_config.h hard_config.h] file. The GIET-VM itself has configuration parameters that are defined in the [source:soft/giet_vm/giet_config.h giet_config.h] file.
+
 
 == __A) [wiki:mapping_info Mapping]__ ==