[MLton-devel] cvs commit: Callbacks

[Stephen Weeks]

> O.k., then I think there was a bug in the setCallFromCHandler code before
> the check-in.  

Agreed.

> Before the changes I made, there was no atomicBegin at all and no
> canHandle-- in MLton_callFromC.  In practice, I'm almost certain
> that there is no opportunity to switch threads between Prim.setSaved
> and Prim.returnToC (there is no allocation or loop for a limit
> check, and that only applies when there are interrupts).

Right.  One thing that the checkin made worse was to introduce a
branch in between the setSaved and returnToC, which made it more
obvious that a thread switch could happen.

> I don't know what our "idealized model" is to know whether or not
> "in theory" we might switch threads.

Yeah, I don't know either.



-------------------------------------------------------
This SF.Net email is sponsored by: INetU
Attention Web Developers & Consultants: Become An INetU Hosting Partner.
Refer Dedicated Servers. We Manage Them. You Get 10% Monthly Commission!
INetU Dedicated Managed Hosting http://www.inetu.net/partner/index.php
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel