PINTOS

기존 timer_sleep은 지정한 틱이 지날 때까지 경과 시간을 확인하고 CPU를 다른 스레드에 양보하는 동작을 반복한다. 스레드가 차단되지 않고 다시 실행될 때마다 시간을 확인하므로, 불필요하게 CPU를 사용하는 busy waiting 방식이다. cpu 내부적으로