Changes between Version 14 and Version 15 of page_tables

Timestamp:

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

Author:

phan

Comment:

--

page_tables

@@ -146 +146 @@
 
 === 4.5) REMOTE ===
-This vseg being ''localized'', the mapping M cluster's coordinates are registered in the vseg descriptor.
+This vseg being ''localized'', the M mapping 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).
@@ -157 +157 @@
 
 === 4.6) FILE ===
-Ce vseg étant localised, les coordonnées du cluster de mapping M sont enregistrées dans le descripteur de vseg.
-Si le cluster qui détecte le défaut de page K 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 envoie au cluster M qui contient le cache du fichier
-une GET_FILE_CACHE_RPC pour obtenir le PPN. Les arguments sont le PID, le descripteur du fichier, et l’index de la page dans le mapper.
-En réponse à cette RPC, le noyau du cluster M accède au mapper du vseg et retourne le PPN correspondant.
-Quand le noyau du cluster Z obtient le PPN, il met à jour la PT (P,Z).
+This vseg being ''localized'', the M mapping 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 GET_FILE_CACHE_RPC to cluster M, that contains the file cache, in order to obtain the PPN.
+The arguments are the PID, the file descriptor and the page index in the mapper.
+In response to this RPC, the kernel of cluster M access the vseg mapper and returns the corresponding PPN.
+When the kernel instance of cluster Z obtains the PPN, it updates the PT(P,Z).
 
 === 4.7) ANON ===
-Ce vseg étant distributed, les pages physiques sont distribuées sur tous les clusters suivant les bits de poids faible du VPN.
-Le traitement d’un défaut de page est le même que pour un vseg HEAP.
+This vseg being distributed, the physical pages are distributed among all cluster depending the VPN LSBs.
+The handling of a page fault is the same as for a HEAP vseg.
 
 == __5) Invalidation d’une entrée de la table des pages__ ==