다중처리기 커널을 위한 쓰레드 스케쥴러에 관한 연구