[Kos-dev] OCaml dans KOS : ça tourne !

[Thomas Petazzoni]

Salut,

Thomas Petazzoni wrote:

> J'ai testé. Effectivement dans Bochs ça tourne, mais dans Qemu ça 
> explose. Je vais investiguer ça (encore un truc très chiant genre donnée 
> pas initialisée. Valgrind pour KOS ?).

Bon, cette fois-ci, c'était facile. Il manquait effectivement une 
initialisation dans la fonction create_user_thread() du module task. La 
structure thread nouvellement allouée n'était pas memset-ée à 0, et tous 
les champs n'étaient pas initialisées. D'où les erreurs à la noix.

Un truc genre Valgrind dans KOS, ça le ferait. A un moment, on avait 
commence à réfléchir pour implémenter ça dans Bochs, mais avec les 
espaces d'adressage et la mémoire virtuelle, c'est un peu la galère. En 
plus, il faudrait que kmalloc() / kfree() interagissent avec l'émulateur 
pour marquer certaines zones comme libérées (et donc qu'elles doivent 
être réinitialisées).

Bref, c'est pas évident à mon avis, mais pourtant, ça serait bien bien 
utile.

Thomas
-- 
PETAZZONI Thomas - thomas.petazzoni at enix.org
http://thomas.enix.org - Jabber: thomas.petazzoni at jabber.dk
KOS: http://kos.enix.org/ - SOS: http://sos.enix.org
Fingerprint : 0BE1 4CF3 CEA4 AC9D CC6E  1624 F653 CB30 98D3 F7A7

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 256 bytes
Desc: OpenPGP digital signature
Url : http://the-doors.enix.org/pipermail/kos-dev/attachments/20050116/8625d49e/signature.pgp