사용자 프로세스가 exit 시스템 호출을 호출했거나 다른 어떤 이유로든 종료될 때마다, 프로세스의 이름과 종료 코드를 다음 형식에 맞춰 출력하세요 : printf ("%s: exit(%d)\\n", ...);

출력할 이름은 fork()에 전달된 전체 이름이어야 합니다. 사용자 프로세스가 아닌 커널 스레드가 종료되거나 halt 시스템 호출이 호출될 때는 이 메시지를 출력하지 마세요. 프로세스 로드에 실패할 경우 이 메시지를 출력하는 것은 선택 사항입니다.

이외에 Pintos가 이미 출력하고 있는 메시지 외에 다른 메시지는 출력하지 마세요. 디버깅 시에는 추가 메시지가 유용할 수 있지만, 이는 채점 스크립트를 혼란시켜 점수를 낮출 수 있습니다.