Changes between Version 13 and Version 14 of page_tables

Timestamp:

Sep 17, 2018, 4:26:26 PM (6 years ago)

Author:

phan

Comment:

--

page_tables

@@ -114 +114 @@
 
 === 4.2) STACK ===
-Les vsegs STACK associées aux thread placées dans un cluster X sont mappées dans le cluster X,
-et sont gérés indépendamment les uns des autres dans les différents clusters.
-Le noyau du cluster X doit allouer une page physique, et l’enregistrer dans la PT (P,X) locale sans l’initialiser.
-Si l’adresse demandée tombe dans la dernière page disponible pour le vseg, la longueur du vseg STACK peut être dynamiquement
-localement augmentée dans la VSL(P,X) locale, si il y a de la place dans dans la zone de l’espace virtuel utilisée pour les piles.
-Comme suggéré par Franck, on peut imaginer une politique d’allocation par dichotomie utilisant deux arguments : MAX_STACK_SIZE
-définissant la longueur totale de la zone réservée aux piles, et MIN_STACK_SIZE définissant la longueur minimale d’une pile particulière.
+The STACK vsegs associated to the threads placed in a cluster X are mapped in this cluster X and are handled independently from each other in the different clusters.
+The kernel instance in cluster X has to allocate a physical page and register it in the local PT(P,X) without initializing it.
+IF the requested address is in the last possible page for the vseg, the STACK vseg length can be locally dynamically increased in the local VSL(P,X),
+if there is enough space in the virtual space zone used for the stacks.
+As suggested by Franck, we can imagine an allocation policy by dichotomy using two arguments :
+MAX_STACK_SIZE, defining the total length of the zone reserved for the stacks, and
+MIN_STACK_SIZE, defining the minimal length of one stack.
 
 === 4.3) DATA ===
-Ce vseg étant ''distributed'', les pages physiques sont distribuées sur tous les clusters suivant les bits de poids faible du VPN.
-Si le cluster K qui détecte le défaut de page est différent du cluster propriétaire Z, le noyau du cluster K envoie une PT_MISS_RPC
-au cluster Z, pour obtenir  le PTE stocké dans la PT(P,Z). Les arguments sont le PID et le VPN de la page manquante. 
-Quand il reçoit la réponse, il met à jour la PT(P,K). 
-Si le cluster qui détecte le défaut de page est le cluster propriétaire Z, il sélectionne un cluster cible M à partir des bits 
-de poids faible du VPN, et envoie au cluster M une RPC_PMEM_GET_SPP pour obtenir le PPN d’une page physique du cluster M.
-En réponse à cette RPC, le noyau du cluster M alloue une page physique et renvoie le PPN de celle-ci.
-Le noyau du cluster Z s’adresse au système de fichier, pour récupérer le contenu de la page manquante dans le cache du fichier .elf,
-et initialise la page physique dans M au moyen d’un remote_memcpy(). Finalement, il met à jour la PT (P,Z).
+This vseg being ''distributed'', the physical pages are distributed among all the cluster depending on the VPN LSBs.
+If the K cluster, that detects the page fault, is different from the owner Z cluster, then the kernel instance of cluster K sends a PT_MISS_RPC
+to cluster Z in order to obtain the PTE stored in PT(P,Z).
+The arguments are the PID and the VPN of the missing page.
+When it receives the response, it updates the PT(P,K).
+If the cluster that detects the page fault is the owner Z cluster, it chooses a target M cluster from the VPN LSBs and sends a RPC_PMEM_GET_SPP to cluster M
+in order to obtain the PPN of a physical page in cluster M.
+In response to this RPC, the kernel instance of cluster M allocates a physical page and returns its PPN.
+The kernel instance of cluster Z addresses the file system to retrieve the contents of the missing page in the .elf file cache
+and initialized the physical page in M via a remote_memcpy(). Then it updates the PT(P,Z).
 
 === 4.4) HEAP ===
-Ce vseg étant ''distributed'', les pages physiques sont distribuées sur tous les clusters suivant les bits de poids faible du VPN.
-Si le cluster K qui détecte le défaut de page est différent du cluster propriétaire Z, le noyau du cluster K envoie une PT_MISS_RPC
-au cluster Z, pour obtenir  le PTE stocké dans la PT(P,Z). Les arguments sont le PID et le VPN de la page manquante. 
-Quand il reçoit la réponse, il met à jour la PT(P,K). 
-Si le cluster qui détecte le défaut de page est le cluster propriétaire Z, il sélectionne un cluster cible M à partir des bits 
-de poids faible du VPN, et envoie au cluster M RPC_PMEM_GET_SPP pour obtenir le PPN d’une page physique du cluster M.
-En réponse à cette RPC, le noyau du cluster M alloue une page physique et renvoie le PPN de celle-ci.
-Quand le noyau du cluster Z obtient le PPN, il met à jour la PT (P,Z).
+This vseg being ''distributed'', the physical pages are distributed among all the cluster depending on the VPN LSBs.
+If the K cluster, that detects the page fault, is different from the owner Z cluster, then the kernel instance of cluster K sends a PT_MISS_RPC
+to cluster Z in order to obtain the PTE stored in PT(P,Z).
+The arguments are the PID and the VPN of the missing page.
+When it receives the response, it updates the PT(P,K).
+If the cluster that detects the page fault is the owner Z cluster, it chooses a target M cluster from the VPN LSBs and sends a RPC_PMEM_GET_SPP to cluster M
+in order to obtain the PPN of a physical page in cluster M.
+In response to this RPC, the kernel instance of cluster M allocates a physical page and returns its PPN.
+When the kernel of cluster Z obtains the PPN, it updates the PT(P,Z).
 
 === 4.5) REMOTE ===
-Ce vseg étant ''localised'', les coordonnées du cluster de mapping M sont enregistrées dans le descripteur de vseg.
-Si le cluster K qui détecte le défaut de page est différent du cluster propriétaire Z, le noyau du cluster K envoie une PT_MISS_RPC
-au cluster Z, pour obtenir  le PTE stocké dans la PT(P,Z). Les arguments sont le PID et le VPN de la page manquante. 
-Quand il reçoit la réponse, il met à jour la PT(P,X). 
-Si le cluster qui détecte le défaut de page est le cluster propriétaire Z, il envoie au cluster M une RPC_PMEM_GET_SPP pour obtenir
-le PPN d’une page physique du cluster M.
-En réponse à cette RPC, le noyau du cluster M alloue une page physique, et renvoie le PPN de celle-ci.
-Quand le noyau du cluster Z obtient le PPN, il met à jour la PT (P,Z).
+This vseg being ''localized'', the mapping M cluster's coordinates are registered in the vseg descriptor.
+If the K cluster, that detects the page fault, is different from the owner Z cluster, then the kernel instance of cluster K sends a PT_MISS_RPC
+to cluster Z in order to obtain the PTE stored in PT(P,Z).
+The arguments are the PID and the VPN of the missing page.
+When it receives the response, it updates the PT(P,K).
+If the cluster that detects the page fault is the owner Z cluster, it sends a RPC_PMEM_GET_SPP to cluster M
+in order to obtain the PPN of a physical page in cluster M.
+In response to this RPC, the kernel of cluster M allocated a physical page and returns its PPN.
+Whe the kernel of cluster Z obtains the PPN, it updates the PT(P,Z).
 
 === 4.6) FILE ===