[Kos-dev] Nouveautes du jour

[kos-dev@enix.org]

> Bonjour,

Je vois que tu as bosse sur KOS hier ;) Snif moi aussi j'avais fait
des choses pas committees !

> Au programme du jour : locking de vmap/rmap Ok. Pour eviter le
> probleme de l'oeuf et de la poule (vmap locke, rmap appelle kslab qui
> appelle vmap qui... locke a nouveau => deadlock), l'idee est de
> preallouer le rmapping en dehors du lock, mais pas naivement non plus
> (parce que si on pre-alloue pour des PT qui ne sont pas necessaires,
> puis qu'on desalloue le PT non utilise, ca craint).

Euh, j'avais pas du tout pense a ta solution qui effectivement est interessante
mais tu ne trouves pas que c'est crade que arch/mm utilise kmem ?
J'avais commence a faire un petit allocateur specialement pour les rmap.
Je trouve que c'est plus propre que arch/mm ne repose pas sur kmem, mais
d'un autre cote, la multiplication des allocateurs ne me plait pas forcement
non plus. J'examinerai ta solution plus en detail.

> 2eme chose : zone de transit pour mapper les PT d'un autre team dans
> le team courant. update des routines vmap qui peuvent modifier
> l'espace d'un team quelconque (autre que le team courante). Pas teste
> -> "A tester" dans le TODO.
> Diverses petites verif de coherence des defines pour l'espace noyau
> sous la forme de #if dans internals.h . DEADLOCK_CHECK est active
> (config.h) et ca tourne Ok.

Je regarderais tout ca des mon retour sur Belfort. Surement pas cette apres
midi (vous imaginez bien ;)), mais disons lundi ou mardi.

Je regarderais comment tu as procede pour le locking de _rmap. (un lock par GPFME ?
ou peut etre pas implemente ?).

> La suite peut-etre Samedi prochain en ce qui me concerne.
> Bonne journee,

Bin de mon cote, je vois Julien le 9-10 Mars, pour je l'espere avancer sur 
Babel. La reflexion avance bien puisque maintenant Julien a toutes les 
informations necessaires (auparavant il ne comprennait pas la necessite
de l'unicite de la shadow resource par exemple, qui n'est pas evidente
si on ne connait pas bien la VMM). J'espere arriver a des choses
vraiment concluantes ce WE la.

Par ailleurs, personne n'a emis de reaction quant au chargement d'un 
fichier binaire compile sous linux, charge et execute en thread CPL3 dans
KOS. Tout le monde s'en fout ? ;)

Bonne journee,

Thomas