引擎是一个支持定时抢占[15,24]的高级过程抽象。引擎可能被用来模拟多任务处理,实现操作系统内核,并执行非确定性的计算。
过程:(make-engine thunk)
返回:一个引擎
库:(chezscheme)
引擎是通过传递一个thunk(无参数过程)来制作引擎而创建的。thunk的主体是由引擎执行的计算。引擎本身是一个三参数的过程:
ticks:一个正整数,指定引擎的运行时间,一个引擎会执行直到ticks用完,或计算完成。
complete:一个或多个参数的过程,指定在计算完成时要执行的操作。它的参数是剩余ticks和计算产生的数值。
expire:一个参数的过程,指定在计算完成前如果ticks耗尽该怎么做。它的参数是能够从中断处重新开始计算的新引擎。
当一个引擎应用于它的参数时,它被设定了一个以ticks的计时器。(参见320页 set-timer)如果在ticks耗尽之前引擎计算完成,系统将调用complete,并将剩余的ticks和计算结果生成的值传递给它。如果在计算完成之前ticks耗尽,则系统将从中断计算的继续中创建新的引擎,并使当前的引擎expire。complete和expire将在引擎调用的延续中调用。
Scheme编程语言第12.11节给出了引擎的实现
请勿使用定时器(见 set-timer)中断引擎,因为引擎是定时器实现的。
下面这个例子是一个10ticks的引擎。
(define (make-engine (lambda()3)))
(eng 10 (lambda(ticks value)value) (lambda(x)x)) => 3 (define eng (make-engine (lambda () 3)))
(eng 10 list (lambda (x) x)) => (9 3) (define fibonacci (lambda (n) (let fib ([i n]) (cond [(= i 0) 0] [(= i 1) 1] [else (+ (fib (- i 1)) (fib (- i 2)))]))))
(define eng (make-engine (lambda () (fibonacci 10))))
(eng 50 list (lambda (new-eng) (set! eng new-eng) "expired")) => "expired"
(eng 50 list (lambda (new-eng) (set! eng new-eng) "expired")) => "expired"
(eng 50 list (lambda (new-eng) (set! eng new-eng) "expired")) => "expired"
(eng 50 list (lambda (new-eng) (set! eng new-eng) "expired")) => (21 55)