Motor (informática)

Un motor es una construcción basada en la continuación que proporciona preempción temporizada . Los motores que pueden contener otros motores se denominan a veces Nester [ ^{1 ]} , y los que no poseen esta capacidad se denominan motores planos o "motores solitarios". Para implementar la preempción temporizada ^, se necesita un reloj. Este reloj puede medir tiempo real o tiempo simulado. El tiempo simulado se puede implementar en un lenguaje como Scheme , haciendo que cada función comience decrementando el reloj ^{[ 2 ] .}

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