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. |
| 80 | This 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. |
| 81 | The 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. |
| 82 | The kernel instance in clsuter Z broadcasts a VSEG_REGISTER_RPC to all the other active cluster of P. |
| 83 | Te vseg length is defined by the size argument of mmap(). |
| 84 | The 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). |
| 85 | This vseg type is destroyed on a munmap() call, using a two-RPCs mechanism as for the creation. |
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 | |
| 89 | This 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. |
| 90 | The kernel instance of cluster K sends a VSEG_REQUEST_RPC to the cluster Z that owns P. |
| 91 | The arguments are the PID, the vseg type, the file descriptor, the size, ... to be completed... |
| 92 | The kernel instance of cluster Z broadcasts a VSEG_REGISTER_BCRPC to all active clusters of p. |
| 93 | The vseg length is defined by the size argument of mmap(). |
| 94 | There is no mapping cluster for a distributed vseg. |
| 95 | This vseg type is destroyed on munmap() call, using a two-RPCs mechanism just as for the creation. |