printf问题

有这样一个程序：
#include
int main()
{
    printf("1111111");
    printf("2222222");
    printf("3333333");
    while(1)
        ;
    return 0;
}
请问上面的这段代码会输出什么呢？刚开始我凭感觉确定在linux下会输出
   111111122222223333333
之后陷入死循环。
当我运行的时候，完全错误，在Ubuntu9.04下使用gcc4.3.3编译运行的结果让我出乎意料，程序直接陷入死循环，没有任何的输出。这下糟了，问题来了，怎么办呢？之后我想到了缓冲区，莫非是因为缓冲区因为输入的内容太少，而且没有遇到"\n"之类的清空缓冲区的判断，使得缓冲区没有被清空，导致终端没有输出结果。之后我将程序改了，我使用了将近50个printf("1111111111");哈哈，这下结果很明显，输出来了，这可以证明我的分析猜想是正确的，因为缓冲区没有满，而且没有遇到清空缓冲区的提示符，使得printf的内容没有输出就直接进入死循环了。这就是结果，不信，再次运行下面的程序：

有这样一个程序：
#include
int main()
{
    printf("1111111");
    printf("2222222");
    printf("3333333\n");
    while(1)
        ;
    return 0;
}

运行结果是所有的输出都出来了，因为遇到了“\n“这样的清空缓冲区且要求输出的提示符。
哈哈，解决了，但是问题又来了，缓冲区到底是怎么工作的呢？这个问题有待解决。