📀 KAIST:PINTOS | Implementation | Alarm - priority

✅ 목표

alarm-priority 테스트 통과

여러 스레드가 동일한 시간에 깨어날 때, 우선순위(priority)가 높은 스레드가 먼저 실행되도록 보장해야 함

---

❗ 실패 원인 요약

처음에는 alarm-priority 테스트가 다음과 같은 이유로 실패함:

• ready_list에 스레드를 삽입할 때 우선순위 정렬(priority ordering) 을 적용하지 않음
• thread_unblock() 함수가 항상 리스트 맨 뒤에 push (FIFO 삽입)
• 우선순위 높은 스레드가 READY 상태가 되었음에도 CPU를 양보받지 못함

---

🛠 수정 사항

1. thread_unblock() 수정

📁 위치: threads/thread.c

// 수정 전
list_push_back(&ready_list, &t->elem);

// 수정 후
list_insert_ordered(&ready_list, &t->elem, priority_cmp, NULL);

→ priority_cmp를 기준으로 ready_list를 정렬하도록 변경

---

2. priority_cmp() 함수 구현

📁 위치: threads/thread.c

bool priority_cmp(const struct list_elem *a, const struct list_elem *b, void *aux UNUSED) {
  struct thread *a_thread = list_entry(a, struct thread, elem);
  struct thread *b_thread = list_entry(b, struct thread, elem);
  return a_thread->priority > b_thread->priority;
}

→ 숫자가 클수록 높은 priority이므로 > 비교를 사용

---

3. priority_cmp() 선언 추가

📁 위치: threads/thread.h

bool priority_cmp(const struct list_elem *a, const struct list_elem *b, void *aux);

→ C 언어에서는 함수 정의 전에 선언(prototype)이 필요하므로 헤더에 선언해줌

---

🔁 테스트 결과

make clean && make check

pass tests/threads/alarm-priority ✅

---

🧠 배운 점

• ready_list는 단순 큐가 아니라 priority-aware 해야 한다
• list_insert_ordered() + priority_cmp()는 필수
• 이 로직은 alarm-priority뿐 아니라 priority-donate-*, priority-preempt, priority-fifo 같은 테스트에도 영향을 준다