엔진(컴퓨터 사이언스)

Engine (computer science)

엔진시간적 프리엠프션을 제공하는 연속 기반 구조입니다.다른 엔진을 포함할 수 있는 엔진은 네스터(Nester)라고 불리기도 하며, 이 기능이 없는 엔진은 플랫 엔진 또는 "솔로 엔진"이라고 불립니다.타임 프리엠프션을 구현하려면 클럭이 필요합니다.이 시계는 실시간 또는 시뮬레이션 시간을 측정할 수 있습니다.시뮬레이션 시간은 Scheme와 같은 언어로 구현될 수 있으며, 각 함수가 [1]클럭 감소로 시작되도록 합니다.

  (정의 표시시한부     ((_ 포멀 exp1 exp2 ...)       (람다포멀 (감소 타이머) exp1 exp2 ...)))) 

레퍼런스

  1. ^ Haynes, Christopher T.; Friedman, Daniel P. (1987-01-01). "Abstracting timed preemption with engines". Computer Languages. 12 (2): 109–121. doi:10.1016/0096-0551(87)90003-8.