Thread interrupt level Shiro Kawai (08 Mar 2023 09:11 UTC)
Re: Thread interrupt level Marc Nieper-Wißkirchen (08 Mar 2023 09:15 UTC)
Re: Thread interrupt level Shiro Kawai (08 Mar 2023 09:23 UTC)

Re: Thread interrupt level Marc Nieper-Wißkirchen 08 Mar 2023 09:15 UTC

Interrupts only need to be handled eventually.

SRFI 226 makes no requirements on how fine-grained the implementation
has to set safe/checkpoints.

It guarantees an eventual interrupt in code like:

(do () (#f))

Does this help?

Am Mi., 8. März 2023 um 10:11 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>:
>
> Suppose the following scenario:
>
> ;; starts with interrupt level zero.
> (parameterize ((current-interrupt-level 1))
>     ...
>     ;;  At this moment, another thread calls thread-interrupt! on this thread
>     ...)
> ;; Will the interrupt thunk be called here?
>
> Since current-interrupt-level is a thread parameter, it seems that we can't run the code when we exit parameterize, so I wonder how I can implement it if the answer is yes.
>
> --shiro
>