suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

clarify atomic-function responsibilities

Browse Source 
svn: r13018
This commit is contained in:
Matthew Flatt 2009-01-06 14:29:00 +00:00
parent e3040e5799
commit cfbd48a4a4
1 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/scribblings/foreign/types.scrbl
View File

@ -331,13 +331,15 @@ system functions are @scheme['stdcall], which is not the default.
If @scheme[atomic?] is true, then when a Scheme procedure is given If @scheme[atomic?] is true, then when a Scheme procedure is given
this procedure type and called from foreign code, then the PLT Scheme this procedure type and called from foreign code, then the PLT Scheme
virtual machine is put into atomic mode while evaluating the Scheme process is put into atomic mode while evaluating the Scheme procedure
procedure body. In atomic mode, other Scheme threads cannot run, so body. In atomic mode, other Scheme threads do not run, so the Scheme
the Scheme code must not call any function that potentially code must not call any function that potentially synchronizes with
synchronizes with other threads (including I/O functions). In other threads, otherwise it may deadlock. In addition, the Scheme code
addition, the Scheme code must not raise an uncaught exception, it must not perform any potentially blocking operation (such as I/O), it
must not perform any escaping continuation jumps, and its non-tail must not raise an uncaught exception, it must not perform any escaping
recursion must be minimal to avoid C-level stack overflow. continuation jumps, and its non-tail recursion must be minimal to
avoid C-level stack overflow; otherwise, the process may crash or
misbehave.
The optional @scheme[wrapper], if provided, is expected to be a The optional @scheme[wrapper], if provided, is expected to be a
function that can change a callout procedure: when a callout is function that can change a callout procedure: when a callout is