[Kos-dev] Anonymous : pas si facile que ca

[Thomas Petazzoni]

Salut,

Ce matin en cours de systeme d'exploitation, pour pas m'ennuyer, j'avais
emmene la doc de UVM. J'ai donc continue ma lecture, et suis arrive au
chapitre sur la gestion des pages anonymous. Et comme d'hab a chaque
fois que je lis un truc sur la gestion des pages anonymous, plein de
doutes surviennent. Je m'explique.

Doute numéro 1
--------------

Soit A, B, C, D quatres processus (aka un team + un thread).
Soit V1 et V2 deux regions virtuelles de memoire anonymes (mappant
/dev/null).
- V1 est mappe par A et par B en MAP_SHARED
- V2 est mappe par C et par D en MAP_SHARED

Lorsque A fait un #PF sur V1, alors le changement doit apparaitre dans
l'espace d'adressage de B, mais pas dans celui de C ni de D. Pourtant
chaque region virtuelle est directement reliee a une shadow resource, et
il n'existe qu'une SEULE et UNIQUE shadow resource dans tout le systeme.
Comment va-t-on faire pour reporter la modif de l'AS de A sur l'AS de B
?

Doute numéro 2
--------------

Ce doute est identique au premier, mais en ce qui concerne le mapping de
fichiers.

Meme contexte que pour le Doute numéro 1, sauf que V1 et V2 mappent le
fichier /foobar.

Quand A fait une modif sur V1, on veut que la modif apparaisse dans l'AS
de B, mais pas dans l'AS de C ni de D. Or les regions virtuelles sont
liees a une shadow resource, UNIQUE pour le fichier /foobar. Meme
probleme qu'au 1.

=> Pourtant il me semble qu'on avait resolu ce genre de probleme, mais
encore une fois on avait pas note, et encore une fois, je me souviens de
rien. Promis cette fois-ci je note ;)

Bon allez j'ai garde du plus drole pour la fin, extrait d'un cours de ce
matin :

"En programmation orientee objet, un programme est un systeme
d'interactions d'une collection d'objets dynamiques". C'est beau non ?

C'est trouve sur le Net, parce que vu que le prof pense que 
  valeur = valeur * x + t[i] <=> valeur *= x + t[i]
c'est pas lui qui doit avoir invente ca :o)

Bonne journee,

Thomas
--
PETAZZONI Thomas - icq #34937744
thomas.petazzoni@enix.org - http://www.enix.org/~thomas/
Projet KOS : http://kos.enix.org
Club LinUT : http://club-linut.enix.org