Changes between Version 10 and Version 11 of page_tables


Ignore:
Timestamp:
Sep 17, 2018, 11:13:53 AM (3 years ago)
Author:
phan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • page_tables

    v10 v11  
    4141
    4242=== 3.1) DATA ===
    43 Ce type de vseg est enregistré dans la VSL(P,Z)) du cluster Z  propriétaire du processus P au moment de la création de P.
    44 Il est enregistré dans la VSL(P,A) d’un autre cluster A chaque fois qu’un thread de P est créé dans le cluster A, si ce cluster ne contenait pas encore de thread du processus P.
    45 La longueur est définie par le fichier .elf contenant le code binaire du processus.
    46 Il n’y a pas de cluster de mapping pour un vseg ''distributed''.
    47 Ce type de vseg n’est détruit que lors de la destruction du processus.
     43This vseg type is registered in VSL(P,Z), the Z cluster being the owner of process P at its creation.
     44It is registered in VSL(P,A) in an A cluster every time a thread of P is created in this A cluster, and this A cluster didn't have a thread of P yet.
     45The length is defined in the .elf file containing the process' binary code.
     46There are no mapping cluster for a ''distributed'' vseg.
     47This type of vseg gets destroyed only when the P process is destroyed.
    4848
    4949=== 3.2) CODE ===
    50 Ce type de vseg est enregistré dans la VSL(P,Z) du cluster Z  propriétaire du processus P au moment de la création de P.
    51 Il est enregistré dans la VSL(P,A) d’un autre cluster A chaque fois qu’un thread de P est créé dans le cluster A, si ce cluster ne contenait pas encore de thread du processus P.
    52 La longueur est définie par le fichier .elf contenant le code binaire du processus.
    53 Le cluster de mapping est toujours le cluster local pour un vseg ''private''.
    54 Ce type de vseg n’est détruit que lors de la destruction du processus.
     50
     51This vseg type is registered is registered in VSL(P,Z), the Z cluster being the owner of process P at its creation.
     52It is registered in VSL(P,A,) in an A cluster every time a thread of P is created in this A cluster, and this A cluster didn't have a thread of P yet.
     53The length is defined in the .elf file containing the process' binary code.
     54This mapping cluster is always the local cluster for a ''private'' vseg.
     55This type of vseg gets destroyed only when the P process is destroyed.
    5556
    5657=== 3.3) STACK ===
    57 Un vseg de type STACK est enregistré dans la VSL(P,X) du cluster X chaque fois qu’un thread est crée dans le cluster X pour le processus P.
    58 Les VSL(P,Y) des autres clusters Y n’ont pas besoin d’être mises a jour car un vseg STACK dans un cluster X n’est ni connu ni accédé depuis un autre cluster Y.
    59 La longueur est définie par un paramètre global de l’OS : MIN_STACK_SIZE.
    60 Le cluster de mapping est toujours le cluster local pour un vseg ''private''.
    61 Ce type de vseg est éliminé de la VSL(P,X) lors de la destruction du thread.
     58This type of vseg is registered in VSL(P,X) every time a new thread of process P is created in cluster X.
     59The VSL(P,Y) of other Y clusters don't need to be updated because a STACK vseg in an X cluster is never known nor accessed by another Y cluster.
     60The length is defined in a global parameter in the OS : MIN_STACK_SIZE.
     61This mapping cluster is always the local cluster for a ''private'' vseg.
     62This type of vseg is removed from VSL(P,X) when the thread is destroyed.
    6263
    6364=== 3.4) HEAP ===
    64 Ce type de vseg est enregistré dans la VSL(P,Z) du cluster Z propriétaire du processus P au moment de la création de P.
    65 Il est enregistré dans la VSL(P,A) d’un autre cluster A chaque fois qu’un thread de P est créé dans le cluster A, si celui-ci ne contenait pas encore de thread du processus P.
    66 La longueur est un paramètre global de l’OS : STANDARD_MALLOC_HEAP_SIZE.
    67 Il n’y a pas de cluster de mapping pour un vseg ''distributed''.
    68 Ce type de vseg n’est détruit que lors de la destruction du processus.
     65This type of vseg is registered in VSL(P,Z), the Z cluster being the owner of process P at its creation.
     66It is registered in VSL(P,A,) in an A cluster every time a thread of P is created in this A cluster, and this A cluster didn't have a thread of P yet.
     67The length is defined in a global parameter in the OS : STANDARD_MALLOC_HEAP_SIZE.
     68There are no mapping cluster for a ''distributed'' vseg.
     69This type of vseg is destroyed when the process is destroyed.
    6970
    7071=== 3.5) REMOTE ===
    71 Ce type de vseg est enregistré dans la VSL(P,A) de tous les clusters A qui contiennent au moins un thread de P, au moment où un thread quelconque de P exécute un remote_malloc(x,y) dans un cluster K.
    72 Le noyau du cluster K envoie une VSEG_REQUEST_RPC vers le cluster Z propriétaire de P, si un vseg de type REMOTE n’existe pas déjà dans la VSL(P,K). Les arguments sont le PID et le type du vseg manquant.
    73 Si ce type de vseg n’existe pas déjà dans la VSL(P,Z), le noyau de Z broadcaste une VSEG_REGISTER_RPC vers tous les clusters actifs de P.   
    74 La longueur est un paramètre global de l’OS : REMOTE_MALLOC_HEAP_SIZE.
    75 Le cluster de mapping est défini par les arguments (x,y) du remote_malloc().
    76 Ce type de vseg n’est détruit que lors de la destruction du processus.
     72This type of vseg is registered in VSL(P,A) of all A clusters containing at least one thread of P, when a thread of P executes a remote_malloc(x,y) in a K cluster.
     73The kernel instance in cluster K sends a VVSEG_REQUEST_RPC to the Z cluster, owner of P, if there wasn't already a REMOTE vseg in VSL(P,K).
     74The arguments are the PID and the type of the missing vseg.
     75The length is defined in a global parameter in the OS : REMOTE_MALLOC_HEAP_SIZE.
     76The mapping cluster is defined by arguments (x,y) from the remote_malloc().
     77This type of vseg is destroyed only at the process destruction.
    7778
    7879=== 3.6) FILE ===