エンジン（コンピュータサイエンス）

エンジンは、継続に基づく構成要素であり、時間付きプリエンプションを提供します。他のエンジンを包含できるエンジンはネスター^{[ 1 ]}と呼ばれることがあり、この機能を持たないエンジンはフラットエンジンまたは「ソロエンジン」と呼ばれます。時間付きプリエンプションを実装するには、クロックが必要です。このクロックは、実時間またはシミュレートされた時間を測定できます。シミュレートされた時間は、 Schemeのような言語で、各関数の開始時にクロックをデクリメントすることで実装できます 。 ^{[ 2 ]}

( define-syntax timed-lambda (( _ formals exp1 exp2 ... ) ( lambda formals ( decrement-timer ) exp1 exp2 ... ))))