크래프톤 정글 WEEK11 DAY 88 - PintOS Project3 - Memory Mapped Files 완성

📆2024.04.03

 

 

🚫  mmap-exit 테스트 케이스 문제

 

해당 테스트 케이스를 통과하려면 process_exit 를 수정해야 한다.

void process_exit (void) {
    struct thread *t = thread_current();

    /* TODO: Your code goes here.
     * 여기서 프로세스 자원 정리를 구현하는 것을 권장한다.
     * 프로세스가 종료되는 경우 모든 파일을 암시적으로 닫는다.
     */

    // 스레드의 파일 닫기
    file_close(t->self_file);
    for (int fd = 2; fd < FDT_SIZE; fd++) {
        if (t->fdt[fd] != NULL) {
            close(fd);
        }
    }
    palloc_free_multiple(t->fdt, FDT_PAGES);
    process_cleanup ();
    hash_destroy(&t->spt.hash_table , NULL);
    sema_up(&t->wait_sema);
    sema_down(&t->exit_sema);
}

 

바로 hash_destroy() 를 추가해야 하는데 순서가 꼭 process_cleanup()아래에 와야한다.

 

이유는 process_cleanup 함수에서 supplemental_page_table_kill 함수를 호출하고 , 이 함수 안에서 hash_clear() 함수로 인해 spt의 리소스가 해제되기 때문이다.

static void

process_cleanup (void) {

    struct thread *curr = thread_current ();

#ifdef VM

    supplemental_page_table_kill (&curr->spt);

#endif

void supplemental_page_table_kill(struct supplemental_page_table *spt UNUSED)

{

    /* TODO: Destroy all the supplemental_page_table hold by thread and

     * TODO: writeback all the modified contents to the storage. */

    /* 스레드에 의해 보유된 모든 보조 페이지 테이블을 파괴하고

     * 변경된 모든 내용을 저장소에 기록하세요. */

    hash_clear(&spt->hash_table, page_destroy);

    // hash_destroy(&spt->hash_table, page_destroy);

}

 

또한 hash_destory(, NULL)인 이유는 hash_clear로 인해 hash가 다 지워져 있어서 buckets만 지우면 되기 때문이다.

void

hash_destroy (struct hash *h, hash_action_func *destructor) {

    if (destructor != NULL)

        hash_clear (h, destructor);

    free (h->buckets);

}

 

이렇게 하면 문제 해결~!

 

🚫FAIL tests/vm/page-merge-par , FAIL tests/vm/page-merge-stk ,FAIL tests/vm/page-merge-mm

 

다른 테스트 케이스는 다 통과했는데 저 3개의 테스트 케이스만 계속 FAIL이었다.

이유를 모르겠어서 검색해보니 lock을 걸어줘야 되는 부분에 lock을 안 걸어서라고 해당 테스트케이스에서 호출되는 syscall에는 다 lock을 걸으라고 했다.

일단 create() 에 lock을 걸었더니 첫 번재 page-merge-par 테스트가 통과되었다!

bool create(const char *file, unsigned initial_size) {
	lock_acquire(&filesys_lock);
	check_address(file);
	bool success = filesys_create(file, initial_size); 
	lock_release(&filesys_lock);
	return success;
}

 

근데 복불복으로 통과가 되고 나머지 2개는 전혀 모르겠다 ㅠㅠㅠㅠ

 

총 테스트 결과

3 of 141 tests failed