PintOS 명령어 정리

1. 테스트 실행 명령어

일반 테스트 실행

pintos --fs-disk=10 -p <파일경로:이름> -- -q -f run '<프로그램> <인자>'

예시:

pintos --fs-disk=10 -p tests/userprog/args-single:args-single -- -q -f run 'args-single onearg'

⸻

GDB 디버깅용 실행

pintos --gdb --fs-disk=10 -p <파일경로:이름> -- -q -f run '<프로그램> <인자>'

예시:

pintos --gdb --fs-disk=10 -p tests/userprog/args-single:args-single -- -q -f run 'args-single onearg'

⸻

다중 프로그램 등록 및 실행

pintos --gdb --fs-disk=10 \
-p tests/userprog/rox-multichild:rox-multichild \
-p tests/userprog/child-rox:child-rox \
-- -q -f run rox-multichild

⸻

2. 테스트 수동 실행

make tests/<경로>/<테스트이름>.result

예시:

make tests/userprog/args-single.result
make tests/userprog/no-vm/multi-oom.result

⸻

3. 선택된 테스트 묶음 실행

make check TESTS="<테스트 목록>"

예시:

make check TESTS="tests/userprog/exec-once tests/userprog/exec-arg tests/userprog/exec-boundary tests/userprog/exec-missing tests/userprog/exec-bad-ptr tests/userprog/exec-read"

make check TESTS="tests/userprog/rox-simple tests/userprog/rox-child tests/userprog/rox-multichild"

⸻

기타 실행 예시

pintos -v -k -T 60 -m 20 --fs-disk=10 \
-p tests/userprog/args-multiple:args-multiple \
-- -q -f run 'args-multiple a b c d e f g'

GDB 디버깅

pintos --gdb --fs-disk=10 \
-p tests/userprog/args-many:args-many \
-- -q -f run 'args-many a b c d e f g'

⸻

GDB 디버깅 기본 사용법

gdb kernel.o
(gdb) target remote localhost:1234
(gdb) b process_exec
(gdb) c
(gdb) n
(gdb) k
(gdb) q

⸻