Changes between Version 16 and Version 17 of replication_distribution

Timestamp:

Oct 13, 2016, 7:00:40 PM (8 years ago)

Author:

alain

Comment:

--

replication_distribution

@@ -15 +15 @@
 A '''vseg''' is a contiguous memory zone in the process virtual space. It is always an integer number of pages. Depending on its type, a '''vseg''' has some specific attributes regarding access rights, replication policy, and distribution policy. The vseg descriptor is defined by the structure vseg_t in the vseg.h file.
 
-For each process P, the process descriptor is replicated in all clusters containing at least one thread of P (these clusters are called active clusters). In each active cluster K, the virtual memory manager VMM(P,K) is stored in the local process descriptor, and contains two main structures: 
+For each process P, the process descriptor is replicated in all clusters containing at least one thread of P, and these clusters are called active clusters. In each active cluster K, the virtual memory manager VMM(P,K) is stored in the local process descriptor, and contains two main structures: 
  * the VSL(P,K) is the list of all vsegs registered for process P in cluster K,
  * the GPT(P,K) is the generic page table, defining the actual physical mapping of those vsegs.