I was wrong to say other multi-threaded code work: here is a stack of
a crashed kcontrol ...

.....
(no debugging symbols found)...(no debugging symbols found)...
(no debugging symbols found)...(no debugging symbols found)...
(no debugging symbols found)...0x28ec256c in __sys_poll ()
    from /usr/lib/libc_r.so.4
#0  0x28ec256c in __sys_poll () from /usr/lib/libc_r.so.4
#1  0x28ec1ab8 in _thread_kern_sched_state_unlock () from 
/usr/lib/libc_r.so.4
#2  0x28ec147d in _thread_kern_scheduler () from /usr/lib/libc_r.so.4
#3  0x0 in ?? ()

-- 
Christophe Raffalli
Université de Savoie
Batiment Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex

tél: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI
---------------------------------------------
IMPORTANT: this mail is signed using PGP/MIME
At least Enigmail/Mozilla, mutt or evolution
can check this signature
---------------------------------------------

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners