RingBuffer源代码分析

看到一篇写的非常详细的帖子，为防止楼主删帖后找不到，果断转载过来

RingBuffer源代码分析 出处：http://bbs.ickey.cn/community/forum.php?mod=viewthread&tid=43202
(出处: ICKEY BBS)

大家都知道，环形缓冲区是比较常用的数据结构，正好机智云“微信宠物屋源代码v2.3”中也用到了。

下面给大家分析一下。

首先是数据结构：

“RingBuffer.h”

注意是head指向了读区域，tail指向了写区域！

注意是head指向了读区域，tail指向了写区域！

注意是head指向了读区域，tail指向了写区域！

typedef struct {
    size_t rb_capacity;     //缓冲区容量
    char  *rb_head;         //用于读出的指针
    char  *rb_tail;         //用于写入的指针
    char  rb_buff[256];     //缓冲区实体
}RingBuffer;

下面分析他的几个函数：

“RingBuffer.c”

//用来比较最小值的宏
#define min(a, b) (a)<(b)?(a)

b)

//新建RingBuffer，给成员赋值
//MAX_RINGBUFFER_LEN 这个宏，被定义为"P0数据最大长度"的2倍
//head/tail  两个指针，都指向缓冲区实体（数组rb_buff）的首地址
void rb_new(RingBuffer* rb)
{
    rb->rb_capacity = MAX_RINGBUFFER_LEN; //capacity;
    rb->rb_head     = rb->rb_buff;
    rb->rb_tail     = rb->rb_buff;
};

获得缓冲区总容量Capacity：

size_t     rb_capacity(RingBuffer *rb)
{
    return rb->rb_capacity;
}

获得缓冲区可读区域，返回可读区域大小：

三种情况：

1、head与tail都指向同一个地方时，可读区域大小为0【这种情况只会在缓冲区还未使用时出现，

开始使用之后，不会出现head/tail重合的现象，即tail永远不会等于head，否则head指向的数据还未读走就被覆盖了！】

2、head < tail  ，说明tail没有写到缓冲区末尾，从缓冲区开头重新开始。可读的区域自然为(tail - head)

3、head > tail  ，说明tail已经从缓冲区末尾写完，并从开头处重新准备写了。

插入图片给大家看看：

rb_buff是数组名，因此可以作为缓冲实体首地址的指针。

size_t     rb_can_read(RingBuffer *rb)
{
    if (rb->rb_head == rb->rb_tail) return 0;
    if (rb->rb_head < rb->rb_tail) return rb->rb_tail - rb->rb_head;
    return rb_capacity(rb) - (rb->rb_head - rb->rb_tail);
}

获得可写区域大小，就可以用总容量 减去 可读区域大小来计算了：

size_t     rb_can_write(RingBuffer *rb)
{
    return rb_capacity(rb) - rb_can_read(rb);
}

读数据，从head指向的地址开始，读到data指向的地址处，读count个数据。返回读的个数

三种情况：

1、head < tail  ，此时要从count 和"可读区域大小"中选一个较小的值，作为读操作的次数。避免了count 大于“可读区域”的错误。

2、head > tail  且 count 的个数 小于“从head到缓冲区末尾的数据个数”图中蓝色。直接复制内存，再修改head 指针即可。

3、head > tail  且 count 的个数 大于“从head到缓冲区末尾的数据个数”。

此时，先把从head到缓冲区末尾的值蓝色复制到data处，再把剩余的绿色复制过去。注意两个值：copy_sz 和*(data + copy_sz)如图

这种情况下，问题来了，要是绿色的区域超过了tail 怎么办？:）

所以，应该加了一个判断，这个在写操作中做了，但这里没做。即要读的个数count 要小于可读区域的大小。

不然会出现head > tail 但head 指向的数据以及head 后边的数据又不是有效数据，这个问题。

代码：

size_t     rb_read(RingBuffer *rb, void *data, size_t count)
{
    if (rb->rb_head < rb->rb_tail)
    {
        int copy_sz = min(count, rb_can_read(rb));
        memcpy(data, rb->rb_head, copy_sz);
        rb->rb_head += copy_sz;
        return copy_sz;
    }
    else
    {
        if (count < rb_capacity(rb)-(rb->rb_head - rb->rb_buff))
        {
            int copy_sz = count;
            memcpy(data, rb->rb_head, copy_sz);
            rb->rb_head += copy_sz;
            return copy_sz;
        }
        else
        {
            int copy_sz = rb_capacity(rb) - (rb->rb_head - rb->rb_buff);
            memcpy(data, rb->rb_head, copy_sz);
            rb->rb_head = rb->rb_buff;
            copy_sz += rb_read(rb, (char*)data+copy_sz, count-copy_sz);
            return copy_sz;
        }
    }
}

 

 

写数据，把数据从data指向的地址，写到tail 指向的地址，写count个。返回写的个数。

这里进来直接判断，要写入的内容大小 要小于可写区域大小，防止造成数据覆盖。写入合法。

下面写入分了三种情况：

1、2 需要计算tail_avail_sz，这个值为tail 到缓冲区末尾的数据区域大小。

1、head < tail  ，count < tail_avail_sz  。直接复制内容。假如tail 到了缓冲区末尾，让tail 回到缓冲区首地址。

2、head < tail  ，count > tail_avail_sz  。先写入 tail_avail_sz 个数据，tail 回到缓冲区首地址，再写入剩余的部分。

3、head > tail  ，这种情况最简单，由于已经做了写入合法判断，所以直接复制内容，修改tail 即可。

代码：

size_t     rb_write(RingBuffer *rb, const void *data, size_t count)
{
    if (count >= rb_can_write(rb))
			return -1;

    if (rb->rb_head <= rb->rb_tail)
    {
        int tail_avail_sz = rb_capacity(rb) - (rb->rb_tail - rb->rb_buff);
        if (count <= tail_avail_sz)
        {
            memcpy(rb->rb_tail, data, count);
            rb->rb_tail += count;
            if (rb->rb_tail == rb->rb_buff+rb_capacity(rb))
                rb->rb_tail = rb->rb_buff;
            return count;
        }
        else
        {
            memcpy(rb->rb_tail, data, tail_avail_sz);
            rb->rb_tail = rb->rb_buff;

            return tail_avail_sz + rb_write(rb, (char*)data+tail_avail_sz, count-tail_avail_sz);
        }
    }
    else
    {
        memcpy(rb->rb_tail, data, count);
        rb->rb_tail += count;
        return count;
    }
}

对于源程序中的，指针不为NULL判断，其实是必须要加上的，不知道为什么，我下载的代码，这些部分都被注释掉了。