도 3 은 도 2 에 도시 된 강제 수행 절차 의 예 를 보여 주 는 도면 이 다 . 도 3 의 각 노드 를 프로그램 명령어 들 이 라고 생각 하 고 , 정상 적 인 수행 흐름 은 1 , 2 , 4 , 6 , 2 , 4 , 6 , 7 , 8 , a , b , d , 9 라고 한다 . 본 발명 의 강제 수행 알고리즘 에 따르 면 다음 과 같이 수행 된다 . ( 체크포인트 숫자 ) 의 표현 은 숫자 노드 로 갈 수 있 도록 context 를 수정 해서 스택 에 저장 하 는 것 을 의미 한다 .