• thread.h 정리해보기

Part A. Alarm Clock

현재상황 : timer_sleep()을 돌리면

1. 현재 timer의 tick수를 start에 저장
2. time_elapsed(start)를 돌리면서 ticks보다 작으면 계속 thread_yield실행 → CPU에 thread가 못들어가게 됨
   1. time_elapsed의 경우 tick이 계속 늘어나기 때문에 tick만큼 지날때까지 계속 thread_yield를 실행한다.

sleep and awake 구현하기

sleep list를 만들어서 넣고 block state로 변경

• 변경하기 전에 interrupt 꺼줘야함

sleep을 깨우려면 어떻게 해야하지?

• 현재 start tick이고, n ticks이후에 얘를 꺠워야함.
• start + n tick(awake time)이 넘어가면 꺠워주면 된다.
• sleep queue에 여러개의 thread가 들어가게 되면 각각을 체크해서 차례가 돌아왔을때 현재 tick이 awake time보다 크다면 깨우면 된다.

sleep 구현하기 - 1

• 초안 코드

🔥 뭔가 프로그램이 멈춰버려서 열심히 gdb 사용법을 익히는중...

• why thread_block()까지만 하고 다음을 실행하지 않는걸까... → context switching발생해서? → block상태가 되어버렸기 때문
• 멈춘 이유 → idle thread만 돌아가고 있었기 때문
  • 근데 idle thread는 끄지 말라고 하지 않았는데 왜 안꺼질까? ❓
    • ASSERT로 걸러줘야 한다던데 ??→ 꺠워보면 뭔가 발생할지도 모르겠다.
  • 이걸 안해주면

awake 구현하기

• 어디서 꺠워야 하는가? → timer.c→timer_interrupt에서 깨우는게 제일 나을지도
• 초안 코드
• 일어나질 않는다 ㅠㅠ
  • 그러고보니 sleep list에서 안빼줬다. 다시 넣어줘 보자.
• 음 리스트를 출력해보니 sleep list에 아무것도 없다.
  • sleep에서 block전에 list에 넣지 않으면 context switching이 일어나버려서 sleep list에 들어가지 않는다.
  • sleep fix
• 그래도 안돌아간다.. 근데 에러가 바뀌었다. kernel panic이라는 에러가 떴는데 backtrace를 통해 어디서 에러가 발생했는지 확인해보니 thread_awake에 list_remove, list_next에서 문제가 발생하는듯 하다.

  • list traversal과 remove를 같이 쓰면 문제가 발생하는 것 같아서 list.c코드를 찾아보니 정말 그런 것 같았다!

    • 내 순회코드가 딱 저 모양이었는데 이렇게 하지 말라고 쓰여있었다.

    /** DON'T DO THIS **/
     for (e = list_begin (&list); e != list_end (&list); e = list_next (e))
     {
     ...do something with e...
     list_remove (e);
     }
    

    • list_next와 remove를 동시에 사용하기 위해 list_remove의 반환값이 elem→next인 점을 활용해서 아래와 같이 개선했다.

    void 
    thread_awake(int64_t ticks) {
    	struct list_elem *e;
    	struct thread *t;
    	for (e = list_begin (&sleep_list); e != list_end (&sleep_list);){
    		t = list_entry(e, struct thread, elem);
    		if(t->awake_time <= ticks){
    			e = list_remove(e); 
    			thread_unblock(t);
    		}
    		else {
    			e = list_next(e);
    		}
    	}
    }
    

→ 테스트 통과!!!!!!!!!

비효율적인 부분이 많았지만 우선 테스트는 통과했다.