Timing problem on mem_fpage_unmap() in the fiasco kernel

[WanKeun Jo]

Hi,

I prevented the timing problem to occur by simply unset the l4linux-2.6 option "Show timing information on printks" before.

When the option is set, then in the function 'vprintk()' of "l4linux-2.6/kernel/printk.c", the system get
current jiffies and then converted it to the string and add it to log buffer.
The system works well right before the following codes in the function. When I remove the following code, the system works well without adding timing information on log buffer.

    ------------------------------------------------
                                tlen = sprintf(tbuf,
    590                         "<%c>[%5lu.%06lu] ",
    591                         loglev_char,
    592                         (unsigned long)t,
    593                         nanosec_rem/1000);
    594
    595                 for (tp = tbuf; tp < tbuf + tlen; tp++)
    596                     emit_log_char(*tp);
    597                 printed_len += tlen;
    ------------------------------------------------

However, when I add one of the above three statements - (1) tlen = sprintf(), (2) for(), (3) printed_len += tlen - then the timing error occur during the "Freeing INITRD". even one statement of them..

This is so strange to me and also to you. I'm just beginner in this kind of works, so there might something that I overlooked.

Is there somebody who can give me an advice for this kind of ERRORs..??


Thank you.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20061122/d22da989/attachment.htm>