공정성(Fairness)을 목표로 하는 비례 배분(Proportional Share) 스케줄러를 다룹니다. 추첨 스케줄링(Lottery Scheduling), 보폭 스케줄링(Stride Scheduling), CFS(Completely Fair Scheduler)의 수식적 원리를 정리합니다.