Changes between Version 45 and Version 46 of replication_distribution

Timestamp:

Dec 8, 2019, 6:34:40 PM (4 years ago)

Author:

alain

Comment:

--

replication_distribution

@@ -48 +48 @@
 When a given vseg or a given entry in the page table must be removed by the kernel, this modification must be done first in the reference cluster, and broadcast to all other clusters for update.
 
-==__ 2. kernel segments types__==
+== __ 2. kernel segments types__==
+
 * The read-only segment containing the user code is replicated in all clusters where there is at least one thread using it.
  * The private segment containing the stack for a given thread is placed in the same cluster as the thread using it.
@@ -54 +55 @@
  * The segments dynamically allocated by the [https://www-soc.lip6.fr/trac/almos-mkh/browser/trunk/kernel/syscalls/sys_mmap.c] system call are placed  as described below.
 
-== __ 2. 32 bits virtual space organisation__ ==
+==__ 3. 32 bits virtual space organisation__ ==
 
 The virtual address space of an user process P is split in 5 fixed size zones, defined by configuration parameters in [https://www-soc.lip6.fr/trac/almos-mkh/browser/trunk/kernel/kernel_config.h].  Each zone contains one or several vsegs, as described below.