emit_log_char会不会出问题？

leslielg

arm 2.6.35:

#define LOG_BUF_MASK (log_buf_len-1)
#define LOG_BUF(idx) (log_buf[(idx) & LOG_BUF_MASK])

static unsigned log_start;        /* Index into log_buf: next char to be read by syslog() */
static unsigned con_start;        /* Index into log_buf: next char to be sent to consoles */
static unsigned log_end;        /* Index into log_buf: most-recently-written-char + 1 */

static void emit_log_char(char c)
{
        LOG_BUF(log_end) = c;
        log_end++;
        if (log_end - log_start > log_buf_len)
                log_start = log_end - log_buf_len;
        if (log_end - con_start > log_buf_len)
                con_start = log_end - log_buf_len;
        if (logged_chars < log_buf_len)
                logged_chars++;
}

难道不会因为log_end的溢出而错乱了？想不明白，望指点。

amarant

这是一个环形的缓存区。结合前后的函数仔细分析下，就会发现没有问题的。

leslielg

假设在这种情况，log_end = 0xffff ffff, log_start = 0xffff fff0，然后log_end++，变为0，然后会发生什么情况？

leslielg

回复 2# amarant

无符号和有符号数运算都转成无符号的，我给记反了，现在弄明白了，谢谢你的回复。