* [Caml-list] Thread.t mutable ??
@ 2002-01-20 17:14 Polux Moon
2002-01-30 19:00 ` Xavier Leroy
0 siblings, 1 reply; 2+ messages in thread
From: Polux Moon @ 2002-01-20 17:14 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 447 bytes --]
Est ce que les threads ( type Thread.t ) ont une valeur constantes au cours de l execution ?
Quand j utilise les threads comme cle d une table de hashage ca me met irremediablement Not_found
alors que si j utilise la le numero (via Thread.id) ca marche tres bien dans le meme programme.
Dans le manuel il est dit que les numeros de Threads peuvent etre utilisés pour ce genre de chose mais il n y est pas que les Threads.t sont mutable.
[-- Attachment #2: Type: text/html, Size: 1045 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [Caml-list] Thread.t mutable ??
2002-01-20 17:14 [Caml-list] Thread.t mutable ?? Polux Moon
@ 2002-01-30 19:00 ` Xavier Leroy
0 siblings, 0 replies; 2+ messages in thread
From: Xavier Leroy @ 2002-01-30 19:00 UTC (permalink / raw)
To: Polux Moon; +Cc: caml-list
> Est ce que les threads ( type Thread.t ) ont une valeur constantes
> au cours de l execution ?
Non: une valeur du type Thread.t contient une partie de l'état
d'exécution du thread, et varie donc au cours du temps.
> Quand j utilise les threads comme cle d une table de hashage ca me
> met irremediablement Not_found alors que si j utilise la le numero
> (via Thread.id) ca marche tres bien dans le meme programme.
Oui, Thread.id a été introduit exactement dans ce but :-)
- Xavier Leroy
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2002-01-30 19:00 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-01-20 17:14 [Caml-list] Thread.t mutable ?? Polux Moon
2002-01-30 19:00 ` Xavier Leroy
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox