운영체제 프로그램이 항상 같은 결과를 보이지 않을 때 디버깅 방법

Pintos라는 운영체제 과제를 하는 중인데요

SystemCall을 구현하는 부분을 하고 있습니다. 그중에서 exit systemcall을 구현하고 있는데요

Userprogram에서 exit을 호출하는 프로그램을 운영체제에서 실행하고 결과를 확인하는 중인데요

프로그램을 여러번 실행했을때 대부분은 exit 내부의 print가 출력되어서 정상적인 작동을 하는데,
한번씩 print가 출력되지 않고 그냥 종료가 되어버립니다.

이러한 경우에 해결 방법이나 디버깅 방법이 있을까요? gdb를 사용한다고 해도 어떤 타이밍에 예외 결과가 나올지 모르는데, 계속 노가다 하는 방법 밖에 없는 것인가요?