printf 문이 이상한 건지 sleep이 이상한 건지...

#include
#include

int main()
{
while(1)
{
printf("hello world");
sleep(1);
}
}

위의 프로그램을 데비안에서 실행하니 멈추네요. ^^

#include
#include

int main()
{
while(1)
{
printf("hello world\n"); //개행 문자 추가
sleep(1);
}
}

이렇게 바꾸니깐 동작합니다.

음... 이걸 어떻게 해석해야 할까요?
1. printf문의 실행으로 응용은 멈추고 화면에 출력하기 위해 커널 모드로 진입
2. 커널은 출력장치에 "hello world"를 출력해달라고 요청 한뒤 다음 프로세스를 스케줄링
3. 스케줄링 할 응용이 없음으로(아직 이 응용은 printf 문을 완료하지 못 했음) 아이들 프로세스를 실행
4. 화면 출력이 끝났다는 인터럽트 도착 후 이 응용이 실행 상태가 되어 스케줄링 됨
5. 이 응용의 sleep함수가 호출됨

제 머리로는 위와 같은 시나리오만 생각이 되네요...
4번이 문제인 것 같은데... printf가 버퍼링을 하고 있다는 이야기가 되는데... 아~ 모르겠다~ 고수님들 도와주세요~~~

피에스 : 이 이유를 찾는데 거의 2시간 허비했습니다~ 이론 삽질 싫어~~~