PintOS-Project1-Priority Scheduling

📁 threads/
├── thread.h ← 우선순위 필드 및 함수 선언
├── thread.c ← 스케줄링 로직, donation, ready_list 처리
├── synch.c ← 세마포어, 락, 조건변수 → donation 반영
├── synch.h ← 관련 구조체 필드 추가

🔐 세마포어(Semaphore)란?
세마포어는 공유 자원에 접근할 수 있는 "허가증" 같은 역할을 하는 변수야.
목적: 여러 스레드가 동시에 하나의 자원을 접근하려고 할 때, 충돌을 막기 위해 사용함.

• sema_down()
  허가증을 획득하려는 시도. 허가증이 없으면 waiters 리스트에 들어가서 block 상태로 전환됨
• sema_up()
  허가증을 반환. waiters 리스트에서 우선순위 높은 스레드를 깨움 unblock
• waiters 기다리는 스레드 목록 (정렬 기준: priority)

Main goal
현재 PintOS 스케줄러는 FIFO 방식 → 우선순위 기반 스케줄링으로 바꾸는 게 목표

🎯 목표

• ready_list를 priority 기준으로 정렬해서 가장 높은 우선순위 스레드를 먼저 실행
• 세마포어, 락, 조건변수 등 동기화 구조에서도 높은 우선순위 스레드 먼저 깨어나게 하기
• Preemption (선점): 새로 들어온 스레드가 더 높은 우선순위면 CPU 뺏기

📌 구현에서 고려할 핵심 세 가지
1. Priority Scheduling

• ready_list에서 항상 priority 높은 스레드 먼저 실행

• 새 스레드가 들어오면 현재 running 스레드와 우선순위 비교

2. Priority Synchronization

• Lock, Semaphore, Condition Variable 등에서 기다리는 스레드도 priority 순 정렬

3. Priority Donation

• 낮은 우선순위 스레드가 락을 잡고 있어서 높은 우선순위 스레드가 대기하는 문제 해결