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

unit

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.

See also

set_interval, page 60


MLWorks Reference Manual (version 1.0) - 3 DEC 1996

Generated with Harlequin WebMaker