It terminates when the work list is empty.
이것은 work list가 비면 종료된다.