Changes between Version 11 and Version 12 of page_tables


Ignore:
Timestamp:
Sep 17, 2018, 3:42:01 PM (6 years ago)
Author:
phan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • page_tables

    v11 v12  
    7878
    7979=== 3.6) FILE ===
    80 Ce type de vseg est enregistré dans la VSL(P,A) de tous les cluster A qui contiennent au moins un thread de P, au moment où un thread quelconque de P exécute un mmap(file , size) dans un cluster K.
    81 Le noyau du cluster K envoie une VSEG_REQUEST_RPC vers le cluster Z propriétaire de P. Les arguments sont le PID, le type de vseg, le descripteur de fichier et la taille.
    82 Le noyau du cluster Z broadcaste une VSEG_REGISTER_RPC vers tous les autres clusters actifs de P.
    83 La longueur du vseg est définie par l’argument size du mmap().
    84 Le cluster de mapping est défini par l’argument file, et il est quelconque puisque le cache d’un fichier peut être placé sur n’importe quel cluster (politique de répartition uniforme).
    85 Ce type de vseg est  détruit lors de l’exécution du munmap(), en utilisant un mécanisme en deux RPC comme pour la création.
     80This type of vseg is registered in the VSL(P,A) of all A clusters containing at least one thread of P, it is registered when a thread of P executes mmap(file, size) in a cluster K.
     81The kernel instance running in cluster K sends a VSEG_REQUEST_RPC to the Z cluster, owner of process P. The arguments are the PID, the vseg type, the file descriptor and the size.
     82The kernel instance in clsuter Z broadcasts a VSEG_REGISTER_RPC to all the other active cluster of P.
     83Te vseg length is defined by the size argument of mmap().
     84The mapping cluster is defined by the file argument, and it can be any cluster since a file cache can be placed on any cluster (uniform dispatching policy).
     85This vseg type is destroyed on a munmap() call, using a two-RPCs mechanism as for the creation.
    8686
    8787=== 3.7) ANON ===
    88 Ce type de vseg est enregistré dans la VSL(P,A) de tous les cluster A qui contiennent au moins un thread de P,
    89 au moment où un thread quelconque de P exécute un mmap(anonyme , size) dans un cluster K.
    90 Le noyau du cluster K envoie une VSEG_REQUEST_RPC vers le cluster Z propriétaire de P. Les arguments sont le PID,
    91 le type de vseg, le descripteur de fichier, la taille … To be completed …
    92 Le noyau du cluster Z broadcaste une VSEG_REGISTER_BCRPC vers tous les autres clusters actifs de P.
    93 La longueur du vseg est définie par l’argument size du mmap().
    94 Il n’y a pas de cluster de mapping pour un vseg distributed.
    95 Ce type de vseg est  détruit lors de l’exécution du munmap(), en utilisant un mécanisme en deux RPC comme pour la création.
     88
     89This vseg type is registered in the VSL(P,A) of all A clusters containing at least one thread of P, when a thread of P executes a mmap(anonymous, size) in a cluster K.
     90The kernel instance of cluster K sends a VSEG_REQUEST_RPC to the cluster Z that owns P.
     91The arguments are the PID, the vseg type, the file descriptor, the size, ... to be completed...
     92The kernel instance of cluster Z broadcasts a VSEG_REGISTER_BCRPC to all active clusters of p.
     93The vseg length is defined by the size argument of mmap().
     94There is no mapping cluster for a distributed vseg.
     95This vseg type is destroyed on munmap() call, using a two-RPCs mechanism just as for the creation.
    9696
    9797== __4) Introduction d’une entrée dans une table des pages__ ==