크래프톤 정글 WEEK08 DAY69 - PintOS Project2 system call - halt,exit,wrtie,create

📆2024.3.16

1. system call 구현 - halt, exit, write, create

 

System Calls 구현

 

시스템 콜 핸들러인 syscall_handler()가 제어권을 얻으면, 시스템 콜 번호가 %rax에 있으며, 인자값들은 순서대로 전달된다. (%rdi, %rsi, %rdx, %r10, %r8 and %r9)

호출자의 레지스터는 struct intr_frame으로 전달되어 접근할 수 있다.(struct infr_frame은 커널 스택에 있다.)

 

유저 프로그램의 프로토타입은 include/lib/user/syscall.h 담겨 있다. (이곳에 헤더 파일과 다른 include/lib/user에 있는 파일들은 유저 프로그램에서만 사용된다.) 

 

-> user/syscall.c 에서 syscall_handler()를 구현해서 시스템 콜 번호, 인자들을 받아와서 그에 알맞은 액션을 취하도록 시스템 콜 함수를 구현해야 한다.

 

 

1. halt

src/include/threads/init.h에 선언된 power_off()를 호출하면서 핀토스를 종료한다.

-> #include "threads/init.h" 추가해야 됨

void halt (void) 
{	
    power_off();
}

 

 

2. exit

현재 동작 중인 유저 프로그램을 종료시키고, 커널로 상태를 반환한다. 만약 프로세스의 부모가 wait 상태라면 , wait에 들어갈 상태를 반환할 것이다. 일반적으로 상태가 0이면 성공, 0이 아닌 수는 에러를 가리킨다.

void exit (int status)
{	
	struct thread *cur = thread_current();
	printf("%s: exit(%d)\n", cur->name, status);
	thread_exit();
}

 

3. write

buffer로부터 open file fd로 size 바이트를 적어준다. 실제로 적힌 바이트의 수 반환해 주고, 일부 바이트가 적히지 못했다면 size보다 더 작은 바이트 수가 반환될 수 있다. 더 이상 바이트를 적을 수 없다면 0을 반환한다.

putbuf()를 통해 한번에 호출하여 모든 내용을 버퍼에 담는다. 

int write (int fd, const void *buffer, unsigned length)
{
	int byte = 0;
	if(fd == 1)
	{
		putbuf(buffer, length);
		byte = length;
	}
	return byte;
}

 

4. create

file을 이름으로 하고 크기가 inital_size인 새로운 파일을 생성한다. 성공적으로 파일 생성하면 true, 실패 false 반환한다.

bool create (const char *file, unsigned initial_size)
{
	if(!check_address(file))
		return filesys_create (file, initial_size);
}

 

주어진 포인터 유효한 주소값을 가지는지 확인하기 위해  check_address() 함수를 생성하였다.

만일 유효한 주소값이면 filesys_create()로 파일 생성하도록 하였다.

 

void check_address(void *file_addr)
{
	struct thread *t = thread_current();
	if(pml4_get_page(t->pml4, file_addr) == NULL || !is_user_vaddr(file_addr) || file_addr == NULL)
		exit(-1);
}

 

1. 페이지 테이블을 통해 주어진 주소가 유효한지 확인한다. 

2. 주어진 주소가 유효한 사용자 영역 주소인지 확인한다.

3. file_addr이 NULL인지 확인하여 예외 처리한다. 

 

pml4(page map level 4)

x86 아키텍처에서 가상 메모리와 물리 메모리 간의 매핑을 제어하는 페이지 테이블의 최상위 레벨이다.

 

---

 

 

오늘은 여기까지 구현했다. 같은 팀원 분들이 다 아프셔서 오늘 솔플 했더니 뭘 해야 될지 감이 하나도 안 잡혀있었는데 만석님이 저희 조 하는 거 보실래요? 하셔서 뒤에서 청강하다 보니 아하! 아하! 아하 3번 외침

그래서 바로 자리 가서 했더니 pass pass pass..

근데 이걸 좋아해야 할지 내가 한 게 아니라 어찌 보면 답안지를 보고 고대로 적어서 한 거니까.. 그래도 만석님 덕분에 길이 트였으니 이제는 다시 스스로 해야겠다!