Project2 / process_wait (process_exec) 구현

[Junhyeok99]

Project2 / process_wait (process_exec) 구현

• 현재 구현 방식

  • userprog/process.c에 process_wait가 있으며, child process를 기다리지 않고 -1을 리턴하여 종료한다.
  • 디버깅을 위해 위 구현 방식을 1000000000까지 반복문을 돌도록 변경하여 현재 함수의 종료를 지연시켰고, child process가 모두 실행되고 난 후 parent process가 종료되도록 지연하였다.

• 추가/수정 함수

  • threads/thread.h (sturct thread 맴버 변수 추가)

    • child list를 저장하고, list의 element로 들어갈 변수를 만들었다.
    • process의 exit code를 저장하는 변수를 만들었다.
    • child와 parent process가 서로 값을 읽거나 종료할 때 까지 기다리는 부분을 구현하기 위해 semaphore를 각각 추가했다.

  • threads/thread.c (init_thread 함수 수정)

    • thread.h에서 추가한 맴버변수들을 초기화해 주었다. (semaphore의 경우 synchronization이 목적이므로 semaphore를 0으로 초기화)

  • userprog/process.c/process_wait (함수 수정)

    • parent process에서 현재 thread의 child list에 있는 thread를 순차적으로 탐색하여 target thread id와 같은 id를 가진 child process를 찾는다.
    • child process가 sema_up을 호출할 떄까지(sema value != 0) 기다린다.
    • child process에서 exit_code를 읽어와 저장하고, child_list에서 thread를 제거한다.
    • parent process에서 child process의 접근이 모두 끝나면 child process의 semaphore를 sema_up을 통해 기다림을 그만하도록 한다.

  • userprog/process.c/process_exit (함수 수정)

    • child process는 마치기 전 대기하고 있는 parent process의 semaphore 값을 하나 증가시켜 기다림을 멈추도록 sema_up을 호출한다. (그리고 parent가 값을 읽을 때까지 sema_down에서 wait한다.)
    • parent process에서 값을 모두 읽고 child process에 접근할 수 있도록 sema_down으로 대기한다. parent process에서 sema_up을 호출하여 value가 0이 아니게 되면 대기를 멈추고 종료한다.

• 추가 사항

  • 31개의 test 통과
  • fail이 발생하는 exec, wait test의 경우 추가적으로 디버깅 필요

• 이외의 변경사항

  • syscall.c에서 syscall_wait 함수와 syscall_exec함수에서 각각 실행 후 return value를 레지스터에 저장하지 않아 eax 레지스터에 리턴 값 저장

[Junhyeok99]

project2 / test debug 결과 공유

• 문제 분석 sc-bas-sp test의 fail 이유를 분석하던 중 asm volatile ("movl $.-(64*1024*1024), %esp; int $0x30") 부분에서 fail이 발생하며, system call에서 user memory address가 아닌 다른 공간을 참조하여 발생하는 문제라는 것을 확인. 기존에 get_argument에서 주소가 유효한지 검사하는 check_valid_address 함수가 제대로 작동하지 않는 것 같음.

• 해결 방안 현재 주소가 user address인지 확인하기 위해서 <threads/vaddr.h>에서 제공하는 void check_user_vaddr(const void *vaddr) 함수를 사용하여 system call에서 사용되는 인자의 주소가 user address인지 검사해준다. 위 문제만 해결하고 test를 돌릴 경우에 page fault가 발생하는데, user영역에서 kernel 주소를 참고하고 있어 발생하였으며, userprog/exception.c에서 page fault 함수에서 문제되는 address가 kernel의 메모리이거나 kernel mode에서 page fault가 일어날 경우에 현재 process에 exit(-1)을 호출한다.

• 변경 사항 "userprog/syscall.c": check_addr_user함수를 추가하여 현재 주소가 user memory인지 확인을 하고 user memory가 아닐 경우에 syscall_exit을 호출한다. get_argument함수를 수정함. check_valid_address부분을 check_addr_user 함수로 변경하여 argument이 user memory안에 있는지 확인함. "userprog/exception.c": 주소와 access한 주체(user인지 kernel인지)를 조사하여 system call exit(-1)을 호출한다.

• 기타 아래는 추가로 통과한 test case 들이다. 10개가 추가로 통과하였다. pass tests/userprog/sc-bad-sp pass tests/userprog/sc-boundary-3 pass tests/userprog/create-bad-ptr pass tests/userprog/exec-bound-2 pass tests/userprog/exec-bound-3 pass tests/userprog/exec-bad-ptr pass tests/userprog/wait-killed pass tests/userprog/bad-read2 pass tests/userprog/bad-write2 pass tests/userprog/bad-jump2