3.5 Threads: the Threads structure
get_interval
Function
Summary
Returns the current pre-emption interval used in thread-interleaving mode.
Signature
MLWorks.Threads.Internal.Preemption
Structure
MLWorks.Threads.Internal.Preemption
Type
val get_interval : unit -> int
Syntax
get_interval () -> interval
Arguments
()
Values
- interval
- An integer.
Description
Returns the current pre-emption interval in milliseconds. This interval is the period for which a thread will evaluate in thread-interleaving mode before it is pre-empted by the next thread.