크래프톤 정글 WEEK08 DAY66 - PintOS Project2 kernel panic error

📆2024.3.13

1.백준
2. pintos - project2  kernel panic error  해결

 

백준 1927 최소 힙

 

처음에 뭐야 너무 쉽자나? 라고 생각하며 풀었지만 결국 시간 초과..

바보같이 최소 힙인데 heapq를 안쓰고 풀려고 했었담.

heapq 써서 완료!

import heapq
import sys
input = sys.stdin.readline

N = int(input())
heap = []
for i in range(N):
    x = int(input())
    if x > 0:
        heapq.heappush(heap, x)       
    if x == 0:
        if len(heap) == 0:
            print(0)
        else:
            print(heapq.heappop(heap))

 

 

PintOS - Project 2 USER PROGRMAS

🚫Kernel panic - thread_yield() 에러....

pintos 가상 머신에 파일을 넣기 위해서 당신은 먼저 파일 시스템 파티션이 있는 모의 디스크(simulated disk)를 만들 수 있어야 한다.

pintos-mkdisk filesys.dsk 10 
pintos --fs-disk filesys.dsk -p tests/userprog/args-single:args-single -- -q -f run 'args-single onearg'

위의 코드는 파일 시스템 파티션으로 어떻게 디스크를 생성하고, 파일 시스템의 형식을 만들고, args-single 이라는 이름의 프로그램(이번 프로젝트의 두번째 테스트 케이스)를 어떻게 새 디스크에 만들고, onearg 라는 인자를 전달해서 실행하는지(인자를 구현하는 부분을 구현해야 인자 전달이 가능할겁니다) 에 대한 요약 코드이다.

 

이 코드를 실행하게 되면 

Kernel PANIC at ../../threads/vaddr.h:87 in vtop(): assertion 
`is_kernel_vaddr (vaddr)' failed.

 

kernel panic을 마주하게 된다.

 

backtrace

Call stack: 0x800421874b 0x80042072c0 0x800420a92f 0x8004214d12 0x8004209704 0x8004209b22 0x800420762b
Translation of call stack:
0x000000800421874b: debug_panic (lib/kernel/debug.c:32)
0x00000080042072c0: thread_yield (threads/thread.c:340)
0x000000800420a92f: sema_up (threads/synch.c:124)
0x0000008004214d12: interrupt_handler (devices/disk.c:526)
0x0000008004209704: intr_handler (threads/interrupt.c:353)
0x0000008004209b22: intr_entry (threads/intr-stubs.o:?)
0x000000800420762b: kernel_thread (threads/thread.c:456)

 

이 오류는 프로젝트 1에서 priority sheduling을 위해 sema_up 함수에서 thread_yield 함수를 호출한 것이 문제였다.

파일 시스템에서 sema_up을 호출할 때 externel interrupt를 끄지 않아서 assert가 발생한 문제라고 한다.

 

그래서 

thread.c 에서 thread_try_yield() 함수를 생성해주고

void thread_try_yield(void){
	if(!list_empty(&ready_list) && thread_current() != idle_thread && !(intr_context()))
		thread_yield();
}

 

synch.c sema_up() 부분도 수정하면 에러 해결!

void
sema_up (struct semaphore *sema) {
	enum intr_level old_level;

	ASSERT (sema != NULL);

	old_level = intr_disable ();

	if (!list_empty (&sema->waiters))
	{
		list_sort(&sema->waiters, cmp_priority, NULL);
		//sema->waiters에 있는 맨 앞 쓰레드를 깨운다.
		thread_unblock (list_entry (list_pop_front (&sema->waiters),
				struct thread, elem));			
	}

	sema->value++;

	intr_set_level (old_level);	
	
	//cpu 양보
	thread_try_yield();
}

 

---

 

프로젝트 2하면서 ..
얻은게 없다....

아무것도 모르겠다....

막막하다....

내일은 무조건 하나라도 풀어내야겠다....