3.5 Threads: the Threads structure
set_interval
Function
Summary
Sets the pre-emption interval used in thread-interleaving mode.
Signature
MLWORKS.Threads.Internal.Preemption
Structure
MLWorks.Threads.Internal.Preemption
Type
val set_interval : int -> unit
Syntax
set_interval interval -> ()
Arguments
- interval
- An integer.
Values
()
Description
Sets the pre-emption interval, in milliseconds. The interval is the period for which a thread will evaluate in thread-interleaving mode before it is pre-empted by the next thread.
The default interval value is 0. If the interval is set to 0, the thread mechanism behaves as though interleaving mode were switched off.
See also
get_interval, page 60
on, page 61