📀 KAIST:PINTOS | Implementation | close

pass tests/userprog/close-normal  
pass tests/userprog/close-twice  
pass tests/userprog/close-bad-fd  

---

목표

void sys_close(int fd);

• 유저 프로그램이 close(fd)를 호출했을 때
• 해당 fd가 가리키는 열린 파일을 닫고
• 자원을 해제하며, fd를 무효화
• 유효하지 않은 fd는 무시

---

수정한 파일

• userprog/syscall.c
• userprog/syscall.h

※ open() 구현 시 생성한 fd_table[]과 next_fd 구조를 그대로 활용함

---

1. sys_close 함수 구현

파일: userprog/syscall.c

void sys_close(int fd) {
  if (fd < 2 || fd >= FD_MAX) return; // 유효한 fd인지 확인

  struct thread *cur = thread_current(); // 현재 스레드 가져오기
  struct file *f = cur->fd_table[fd]; // fd에 해당하는 파일 가져오기

  if (f == NULL) return; // 열려 있는 파일이 없으면 무시

  lock_acquire(&file_lock); // 파일 시스템 락 획득
  file_close(f); // 파일 닫기
  lock_release(&file_lock); // 락 해제

  cur->fd_table[fd] = NULL; // fd 테이블에서 제거
}

---

2. syscall_handler에 close 등록

파일: userprog/syscall.c

case SYS_CLOSE:
  sys_close((int)f->R.rdi);
  break;

---

3. syscall.h에 함수 선언 추가

파일: userprog/syscall.h

void sys_close(int fd);

---

테스트 결과

해당 구현을 통해 아래 테스트를 통과하였다.

• close-normal
• close-twice
• close-bad-fd

이 테스트들은 fd가 가리키는 파일을 정확히 닫는지,
중복 close 시 에러 없이 무시되는지,
잘못된 fd가 들어와도 커널 패닉 없이 넘어가는지를 확인한다.

---

결론

close 시스템 콜은 open()에서 설계한 fd_table 구조를 활용해
자원 해제 및 파일 핸들 관리를 완성하는 과정이었다.
간단하지만 꼭 필요한 예외 처리를 포함해야 하며,
파일 시스템 접근 시 동기화를 철저히 해야 안정적인 구현이 가능하다.

이제 read, write 시스템 콜 구현으로 확장할 수 있다.