Changes between Version 60 and Version 61 of replication_distribution

Timestamp:

Dec 20, 2019, 12:35:19 AM (5 years ago)

Author:

alain

Comment:

--

replication_distribution

@@ -55 +55 @@
 == __2. User segments__  ==
 
+The user segments are mapped in ''user land'' (generally the lower part of the virtual space), that can be accessed by a core running in user mode.
 This section describes the six types of user segments and the associated replication / distribution policy defined and implemented by almost-mkh:
 
@@ -96 +97 @@
 == __ 3. kernel segments__==
 
-An user thread makes system calls to access protected resources. Therefore,  the VMM(P,K) of a process descriptor P in a cluster K, must contains not only the user segments defined above, but also the kernel segments, to allow the user threads to access - after a syscall - the kernel code and the kernel data structures : Both the user segments virtual adresses, and the kernel segments virtual adresses must be translated.
-
-Almost-mkh defines 3 types of these kernel segments described below. To avoid contention and improve locality,these four segments are replicated or distributed in each cluster.
+The kernel segments are implemented in ''kernel land'' (generally in the upper part of the virtual space), that is protected, and can only be accessed by a core running in kernel mode.
+
+An user thread makes system calls to access protected resources. Therefore,  the VMM(P,K) of a process descriptor P in a cluster K, must contains not only the user segments defined above, but also the kernel segments, to allow an user thread to access - after a syscall - the kernel code and the kernel data structures : Both the user segments virtual adresses, and the kernel segments virtual adresses must be translated to physical addresses.
+
+Almost-mkh defines 3 types of kernel segments described below. 
 
 === 3.1 KCODE ===
 
-The '''KCODE''' segment contains the kernel code defined in the ''kernel.elf'' file.  To avoid contention and improve locality, almos-mkh '''replicates''' this code in all clusters. This code has already been copied in all clusters by the bootloader. In each cluster K, and for each process P in cluster K (including the kernel process_zero), almos-mkh registers the KCODE vseg in all VSL(P,K), and map it to the local copy in all the GPT(P,K). This vseg uses only big pages, and there is no on-demand paging for this type of vseg. With this local mapping all access to the virtual instruction addresses will be simply translated by the MMU to the local physical address.
+The '''KCODE''' segment contains the kernel code defined in the ''kernel.elf'' file.  To avoid contention and improve locality, almos-mkh replicates this code in all clusters. This code has already been copied in all clusters by the bootloader. In each cluster K, and for each process P in cluster K (including the kernel process_zero), almos-mkh registers the KCODE vseg in all VSL(P,K), and map it to the local copy in all the GPT(P,K). This vseg uses only big pages, and there is no on-demand paging for this type of vseg. With this local mapping all access to the virtual instruction addresses will be simply translated by the MMU to the local physical address.
 
 '''WARNING''' : there is only one segment defined in the ''kernel.elf'' file, but there is as many KCODE vsegs as the number of clusters. All these vsegs have the same virtual base address and the same size, but the physical adresses (defined in the GPTs) depend on the cluster, because we want to access the local copy.