Changes between Version 45 and Version 46 of replication_distribution


Ignore:
Timestamp:
Dec 8, 2019, 6:34:40 PM (3 years ago)
Author:
alain
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • replication_distribution

    v45 v46  
    4848When 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.
    4949
    50 ==__ 2. kernel segments types__==
     50== __ 2. kernel segments types__==
     51
    5152* The read-only segment containing the user code is replicated in all clusters where there is at least one thread using it.
    5253 * The private segment containing the stack for a given thread is placed in the same cluster as the thread using it.
     
    5455 * 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.
    5556
    56 == __ 2. 32 bits virtual space organisation__ ==
     57==__ 3. 32 bits virtual space organisation__ ==
    5758
    5859The 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.