[Kos-dev] Quelques idées

Raphaël Junqueira kos-dev@enix.org
Tue, 29 Apr 2003 23:05:33 +0200


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Le Mardi 29 Avril 2003 14:37, Thomas Petazzoni a écrit :
> Hello,
>
> Quelques idées en vrac :
>
>  * Est-il possible d'utiliser un truc genre Valgrind [1] pour KOS ? Je
> me fais souvent avoir par des données non initialisées, et je pense q=
ue
> ça serait une bonne idée d'avoir un truc qui peut vérifier ça de =
manière
> systématique. Je ne sais pas comment ça peut marcher, peut être en
> plugin pour bochs ?

En fait on peut facilement avoir un truc pas trop mal en ajoutant une gestion 
des MLK dans les primitives d'allocation du noyau. On peut meme atteindre des 
beaux raffinements en jouant avec les droits d'acces au pages et avec les 
page faults (mais ca devient plus risquer pour la stabilite du noya)

>  * Kernel profiling. J'ai un peu étudié la question, puisque je voula=
is
> faire du profiling sur l'OS de là où je travaille. J'ai donc regardé
> comment fonctionnait le profiling dans gcc, et c'est pas très beau.
<snip>

Tiens ca va pas me changer du boulot tout ca ;)
En fait j'ai developpe un profileur avec des contraintes similaires 
et ca marche pas trop mal. Mais le mieux c qd meme le profileur "statistique" 
qui recupere une pile tous les dt et qui fournit de belles stats comme on les 
aime ;)
et dans un noyau ca doit pas etre trop dur a faire ;)

>  * Avoir un truc pour détecter les fuites de mémoire : l'OS est petit
> pour l'instant, ça serait intéressant de pouvoir tester si des scén=
arios
> du type : construction team construction thread desctruction thread
> destruction team engendrent des fuites mémoires.

ca c'est tres facile aussi, le probleme va etre de savoir ce que tu veux 
reelement comme niveau de pertinence et d'info (plus tu en veux, plus ca 
devient gros et problematique).

> Bonne journée,
De meme

> Thomas
Raphael
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)

iD8DBQE+rukgp7NA3AmQTU4RAqxdAJ4rsut+bp9KaL8fGCGUcMCRebPK1gCfZIoE
Je/LEg9y53BYlHzF/tUZuvs=
=1iVN
-----END PGP SIGNATURE-----