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