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
unit
- 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 59
on, page 60
MLWorks Reference Manual (version 1.0) - 3 DEC 1996
Generated with Harlequin WebMaker