Changes between Version 14 and Version 15 of page_tables


Ignore:
Timestamp:
Sep 17, 2018, 4:31:54 PM (3 years ago)
Author:
phan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • page_tables

    v14 v15  
    146146
    147147=== 4.5) REMOTE ===
    148 This vseg being ''localized'', the mapping M cluster's coordinates are registered in the vseg descriptor.
     148This vseg being ''localized'', the M mapping cluster's coordinates are registered in the vseg descriptor.
    149149If 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
    150150to cluster Z in order to obtain the PTE stored in PT(P,Z).
     
    157157
    158158=== 4.6) FILE ===
    159 Ce vseg étant localised, les coordonnées du cluster de mapping M sont enregistrées dans le descripteur de vseg.
    160 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
    161 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.
    162 Quand il reçoit la réponse, il met à jour la PT(P,K).
    163 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
    164 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.
    165 En réponse à cette RPC, le noyau du cluster M accède au mapper du vseg et retourne le PPN correspondant.
    166 Quand le noyau du cluster Z obtient le PPN, il met à jour la PT (P,Z).
     159This vseg being ''localized'', the M mapping cluster's coordinates are registered in the vseg descriptor.
     160If 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
     161to cluster Z in order to obtain the PTE stored in PT(P,Z).
     162The arguments are the PID and the VPN of the missing page.
     163When it receives the response, it updates the PT(P,K).
     164If 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.
     165The arguments are the PID, the file descriptor and the page index in the mapper.
     166In response to this RPC, the kernel of cluster M access the vseg mapper and returns the corresponding PPN.
     167When the kernel instance of cluster Z obtains the PPN, it updates the PT(P,Z).
    167168
    168169=== 4.7) ANON ===
    169 Ce vseg étant distributed, les pages physiques sont distribuées sur tous les clusters suivant les bits de poids faible du VPN.
    170 Le traitement d’un défaut de page est le même que pour un vseg HEAP.
     170This vseg being distributed, the physical pages are distributed among all cluster depending the VPN LSBs.
     171The handling of a page fault is the same as for a HEAP vseg.
    171172
    172173== __5) Invalidation d’une entrée de la table des pages__ ==