]> On Wednesday, July 16, 2003, at 07:46 PM, Likai Liu wrote: > is a "leave_blocking_section()" call enough to guarentee that? > > liulk > > On Wednesday, July 16, 2003, at 12:57 PM, Damien Doligez wrote: > >>> I think garbage collection inside the callback is probably okay, if >>> it doesn't do other fancy things, such as dispatching signals or >>> influence thread scheduling. What does O'Caml runtime do during >>> garbage collection? >> >> Garbage collection inside the callback is probably OK, if you can >> guarantee >> that the callback does not occur during garbage collection, or any >> other >> operation that assumes that memory doesn't move under its feet. >> If the callback is invoked in a thread, yes. But then you are back to square 1: leave_blocking_section will wait for the master lock, and your program is not real-time. -- Damien ------------------- 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