프로세서(103)는 로깅이 각각의 로깅된 변수 x에 대한 마지막 커밋된 값을 사용하여 재기동 프로세스를 제공할 수 있도록 구성된다.
The processor 103 is configured such that logging may provide a restart process by using the last committed value for each logged variable x.