thread:call_in

swipl
- library

call_in_thread(+Thread, :Goal) is semidet

call_in_thread(+Thread, :Goal, +Options) is semidet

Run Goal as an interrupt in the context of Thread. This is based on thread_signal/2. If waiting times out, we inject a stop(Reason) exception into Goal. Interrupts can be nested, i.e., it is allowed to run a call_in_thread/2 while the target thread is processing such an interrupt.

Options are passed to thread_get_message/3 and notably allow for specifying a timeout. If a timeout is reached, this predicate will attempt to kill Goal in Thread and act according to the option on_timeout.

on_timeout(:Goal): If waiting terminates due to a timeout(Time), or deadline(Stamp) option, call Goal. The default is throw(time_limit_exceeded).

This predicate is primarily intended for debugging and inspection tasks.