File: timeout.sig

package info (click to toggle)
mlton 20100608-2
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 34,980 kB
  • ctags: 69,089
  • sloc: ansic: 18,421; lisp: 2,879; makefile: 1,570; sh: 1,325; pascal: 256; asm: 97
file content (30 lines) | stat: -rw-r--r-- 759 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
 
(* timeout.sig
 * 2004 Matthew Fluet (mfluet@acm.org)
 *  Ported to MLton threads.
 *)

(* timeout-sig.sml
 *
 * COPYRIGHT (c) 1995 AT&T Bell Laboratories.
 * COPYRIGHT (c) 1989-1991 John H. Reppy
 *
 * Exported interface for timeout synchronization.
 *)

signature TIME_OUT =
   sig
      val timeOutEvt : Time.time -> unit Event.event
      val atTimeEvt  : Time.time -> unit Event.event
   end

signature TIME_OUT_EXTRA =
   sig
      include TIME_OUT

      val reset : unit -> unit
      (* preepmt () == NONE  ==>  no waiting threads 
       * preepmt () == SOME NONE  ==>  enqueued a waiting thread
       * preepmt () == SOME (SOME t)  ==>  a waiting thread will be ready in t time
       *)
      val preempt : unit -> Time.time option option
   end