Changes between Version 10 and Version 11 of page_tables

Timestamp:

Sep 17, 2018, 11:13:53 AM (6 years ago)

Author:

phan

Comment:

--

page_tables

@@ -41 +41 @@
 
 === 3.1) DATA === 
-Ce type de vseg est enregistré dans la VSL(P,Z)) du cluster Z  propriétaire du processus P au moment de la création de P.
-Il est enregistré dans la VSL(P,A) d’un autre cluster A chaque fois qu’un thread de P est créé dans le cluster A, si ce cluster ne contenait pas encore de thread du processus P.
-La longueur est définie par le fichier .elf contenant le code binaire du processus.
-Il n’y a pas de cluster de mapping pour un vseg ''distributed''.
-Ce type de vseg n’est détruit que lors de la destruction du processus.
+This vseg type is registered in VSL(P,Z), the Z cluster being the owner of process P at its creation.
+It is registered in VSL(P,A) in an A cluster every time a thread of P is created in this A cluster, and this A cluster didn't have a thread of P yet.
+The length is defined in the .elf file containing the process' binary code.
+There are no mapping cluster for a ''distributed'' vseg.
+This type of vseg gets destroyed only when the P process is destroyed.
 
 === 3.2) CODE ===
-Ce type de vseg est enregistré dans la VSL(P,Z) du cluster Z  propriétaire du processus P au moment de la création de P.
-Il est enregistré dans la VSL(P,A) d’un autre cluster A chaque fois qu’un thread de P est créé dans le cluster A, si ce cluster ne contenait pas encore de thread du processus P.
-La longueur est définie par le fichier .elf contenant le code binaire du processus.
-Le cluster de mapping est toujours le cluster local pour un vseg ''private''.
-Ce type de vseg n’est détruit que lors de la destruction du processus.
+
+This vseg type is registered is registered in VSL(P,Z), the Z cluster being the owner of process P at its creation.
+It is registered in VSL(P,A,) in an A cluster every time a thread of P is created in this A cluster, and this A cluster didn't have a thread of P yet.
+The length is defined in the .elf file containing the process' binary code.
+This mapping cluster is always the local cluster for a ''private'' vseg.
+This type of vseg gets destroyed only when the P process is destroyed.
 
 === 3.3) STACK ===
-Un vseg de type STACK est enregistré dans la VSL(P,X) du cluster X chaque fois qu’un thread est crée dans le cluster X pour le processus P. 
-Les VSL(P,Y) des autres clusters Y n’ont pas besoin d’être mises a jour car un vseg STACK dans un cluster X n’est ni connu ni accédé depuis un autre cluster Y. 
-La longueur est définie par un paramètre global de l’OS : MIN_STACK_SIZE.
-Le cluster de mapping est toujours le cluster local pour un vseg ''private''.
-Ce type de vseg est éliminé de la VSL(P,X) lors de la destruction du thread.
+This type of vseg is registered in VSL(P,X) every time a new thread of process P is created in cluster X.
+The VSL(P,Y) of other Y clusters don't need to be updated because a STACK vseg in an X cluster is never known nor accessed by another Y cluster.
+The length is defined in a global parameter in the OS : MIN_STACK_SIZE.
+This mapping cluster is always the local cluster for a ''private'' vseg.
+This type of vseg is removed from VSL(P,X) when the thread is destroyed.
 
 === 3.4) HEAP ===
-Ce type de vseg est enregistré dans la VSL(P,Z) du cluster Z propriétaire du processus P au moment de la création de P.
-Il est enregistré dans la VSL(P,A) d’un autre cluster A chaque fois qu’un thread de P est créé dans le cluster A, si celui-ci ne contenait pas encore de thread du processus P.
-La longueur est un paramètre global de l’OS : STANDARD_MALLOC_HEAP_SIZE.
-Il n’y a pas de cluster de mapping pour un vseg ''distributed''.
-Ce type de vseg n’est détruit que lors de la destruction du processus.
+This type of vseg is registered in VSL(P,Z), the Z cluster being the owner of process P at its creation.
+It is registered in VSL(P,A,) in an A cluster every time a thread of P is created in this A cluster, and this A cluster didn't have a thread of P yet.
+The length is defined in a global parameter in the OS : STANDARD_MALLOC_HEAP_SIZE.
+There are no mapping cluster for a ''distributed'' vseg.
+This type of vseg is destroyed when the process is destroyed.
 
 === 3.5) REMOTE ===
-Ce type de vseg est enregistré dans la VSL(P,A) de tous les clusters A qui contiennent au moins un thread de P, au moment où un thread quelconque de P exécute un remote_malloc(x,y) dans un cluster K. 
-Le noyau du cluster K envoie une VSEG_REQUEST_RPC vers le cluster Z propriétaire de P, si un vseg de type REMOTE n’existe pas déjà dans la VSL(P,K). Les arguments sont le PID et le type du vseg manquant. 
-Si ce type de vseg n’existe pas déjà dans la VSL(P,Z), le noyau de Z broadcaste une VSEG_REGISTER_RPC vers tous les clusters actifs de P.   
-La longueur est un paramètre global de l’OS : REMOTE_MALLOC_HEAP_SIZE.
-Le cluster de mapping est défini par les arguments (x,y) du remote_malloc().
-Ce type de vseg n’est détruit que lors de la destruction du processus.
+This type of vseg is registered in VSL(P,A) of all A clusters containing at least one thread of P, when a thread of P executes a remote_malloc(x,y) in a K cluster.
+The kernel instance in cluster K sends a VVSEG_REQUEST_RPC to the Z cluster, owner of P, if there wasn't already a REMOTE vseg in VSL(P,K).
+The arguments are the PID and the type of the missing vseg.
+The length is defined in a global parameter in the OS : REMOTE_MALLOC_HEAP_SIZE.
+The mapping cluster is defined by arguments (x,y) from the remote_malloc().
+This type of vseg is destroyed only at the process destruction.
 
 === 3.6) FILE ===