PintOS Threads 구현의 두가지 접근법

1. 목표

• Ready, Sleep, Waiters 등의 리스트를 사용할때 우선순위 정렬에 대한 의문점 확인
• 우선순위의 양도와 복구에 대한 시점 확인

2. 첫번째 의문점

• 리스트에 들어있는 스레드들의 우선순위가 pop하기 전까지 유지 될지 의구심이 생김

<aside> 💡 이 의문점을 해결하기 위해 list에 push를 할때 우선순위를 기준으로 삽입하는 방법과, list에서 pop을 할때 우선순위를 고려하는 방법을 모두 구현 하였습니다.

</aside>

3. list_insert_ordered 방법의 장/단점

• 리스트에서 pop할때 우선순위를 고려하지 않고 무조건 맨 앞의 스래드를 사용하면 된다.
• 리스트에 저장된 상태에서 스래드의 우선순위들이 바뀌는 케이스 들이 있다.
• 따라서 pop할때 sort를 통해 한번더 정렬이 필요.

//insert 예시
void
sema_down (struct semaphore *sema) {
	enum intr_level old_level;

	ASSERT (sema != NULL);
	ASSERT (!intr_context ());

	old_level = intr_disable ();
	while (sema->value == 0) {
		// list_push_back (&sema->waiters, &thread_current ()->elem);
		list_insert_ordered (&sema->waiters, &thread_current ()->elem, more, 0);
		thread_block ();
	}
	sema->value--;
	intr_set_level (old_level);
}

// pop 예시
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, more, 0); // 솔트 추가한거

		thread_unblock (list_entry (list_pop_front (&sema->waiters),
					struct thread, elem));
	}
	sema->value++;	
	thread_comp_ready();   		//실행 되기전 스캐쥴링을 위해 

	intr_set_level (old_level);
}

4. thread_pop_max 방법의 장/단점

• push할때 우선순위를 고려하지 않아도 된다.
• pop을 할때 thread_pop_max통해 우선순위 최대값을 선형탐색하여 pop진행

// push 예시
void
sema_down (struct semaphore *sema) {
	enum intr_level old_level;

	ASSERT (sema != NULL);
	ASSERT (!intr_context ());

	old_level = intr_disable ();
	while (sema->value == 0) {
		list_push_back (&sema->waiters, &thread_current ()->elem);
		thread_block ();
	}
	sema->value--;
	intr_set_level (old_level);
}

// pop 예시
void
sema_up (struct semaphore *sema) {
	enum intr_level old_level;
  struct thread *t = NULL;

	ASSERT (sema != NULL);

	old_level = intr_disable ();
	if (!list_empty (&sema->waiters)) {
    t = thread_pop_max(&sema->waiters);
		thread_unblock(t);
  }
  sema->value++;
  if(t != NULL && thread_get_priority() <= t->priority) {
		thread_yield();
  }
	intr_set_level (old_level);
}

5. 첫번째 목표에 대한 결론