[问答]

对ringbuffer中rt_ringbuffer_put_force函数的疑问求解

问答对人有帮助，内容完整，我也想知道答案 0 最近研究驱动框架，顺带研读了ringbuffer源代码，发现一处疑问，个人认为是bug，也可能能力有限分析不对，请各位大佬批评指正，代码如下： rt_size_t rt_ringbuffer_put_force(struct rt_ringbuffer rb, const rt_uint8_t ptr, rt_uint16_t length) { rt_uint16_t space_length; RT_ASSERT(rb != RT_NULL); space_length = rt_ringbuffer_space_len(rb); if (length > rb->buffer_size) { ptr = &ptr[length - rb->buffer_size]; length = rb->buffer_size; } if (rb->buffer_size - rb->write_index > length) { /* read_index - write_index = empty space / memcpy(&rb->buffer_ptr[rb->write_index], ptr, length); / this should not cause overflow because there is enough space for * length of data in current mirror / rb->write_index += length; if (length > space_length) rb->read_index = rb->write_index; return length; } memcpy(&rb->buffer_ptr[rb->write_index], &ptr[0], rb->buffer_size - rb->write_index); memcpy(&rb->buffer_ptr[0], &ptr[rb->buffer_size - rb->write_index], length - (rb->buffer_size - rb->write_index)); / we are going into the other side of the mirror / rb->write_mirror = ~rb->write_mirror; rb->write_index = length - (rb->buffer_size - rb->write_index); /***************分析这里，似乎是有bug？？？ **************/ if (length > space_length) { rb->read_mirror = ~rb->read_mirror; rb->read_index = rb->write_index; } return length; } RTM_EXPORT(rt_ringbuffer_put_force); rt_ringbuffer_put_force函数，向buffer中put数据的策略为： 1）如果数据长度length > buffer_size,就将数据截断，只留后面的buffer_size长度的数据，从下面代码可以看出来： if (length > rb->buffer_size) { ptr = &ptr[length - rb->buffer_size]; length = rb->buffer_size; } 2）space_length为空闲区长度，如果length > space_length，就将buffer中老的数据覆盖掉。的确，rt_ringbuffer_put_force是按照上面两条策略在put数据，但是代码到下面这几行，存在问题了：这里是一条华丽的分界线 if (length > space_length) { rb->read_mirror = ~rb->read_mirror; rb->read_index = rb->write_index; } 这里是length >= buffer_size - write_index的情况，不然前面的代码直接return了。针对这种情况： write_index一定会溢出（也就是会超过buffer_size），这个时候一定有write_mirror = ~write_mirror。（问题来了：read_index是否会溢出？这得分情况讨论，看下面2） read_index 呢（length > space_length, read_index就一定会超过buffer_size？？？，我认为不一定），下面讨论：情况2 write_index < read_index，这种情况下，空闲区域在缓冲区中间，有数据的区域在缓冲区两头，这种情况下，read_index和write_index都会溢出，因此有： read_mirror = ~read_mirror 情况1 read_index < write_index，这种情况，有数据区域在缓冲区中间，缓冲区两头是空闲的，这个时候，write_index一定会溢出，但是read_index却不会溢出（因为前面限定了length最大不会超过buffer_size），这种情况下，read_mirror不变。附一张截图，供大家理解我的意思：所以我认为应该这样改: if (length > space_length && write_index ≤ read_index) { rb->read_mirror = ~rb->read_mirror; rb->read_index = rb->write_index; } 大家认为呢？ 0 本主题由 Harmony技术专家于 2025-9-25 17:32 审核通过
2025-9-25 06:19:15　　评论淘帖0 邀请回答您可以邀请以下用户，快速回答问题 × wang21cj 该类别下有 7 个回答。邀请回答暖暖暖该类别下有 7 个回答。邀请回答 lwddd2100 该类别下有 6 个回答。邀请回答 qi12345 该类别下有 6 个回答。邀请回答 fdhsfagd 该类别下有 6 个回答。邀请回答 kszdj113 该类别下有 6 个回答。邀请回答 hucc 该类别下有 6 个回答。邀请回答 riverdj 该类别下有 6 个回答。邀请回答 jerry181855 该类别下有 6 个回答。邀请回答 LL-LING宁该类别下有 6 个回答。邀请回答请叫我杰西卡该类别下有 6 个回答。邀请回答宜家该类别下有 6 个回答。邀请回答成长的小师弟该类别下有 6 个回答。邀请回答 vewwerwr 该类别下有 6 个回答。邀请回答 jackhui 该类别下有 6 个回答。邀请回答 lhhgff 该类别下有 6 个回答。邀请回答 jghgfdssas 该类别下有 6 个回答。邀请回答 meihuacg 该类别下有 5 个回答。邀请回答 billbian 该类别下有 5 个回答。邀请回答学生物的程序猿该类别下有 5 个回答。邀请回答举报余温重顾相关推荐 • 求助大神，rt_ringbuffer_peak疑问求解 3478 • 什么是ringbuff？怎么使用RT-Thread中的ringbuff 3756 • 串口DMA使用ringbuffer接收会不会覆盖原有的数据 3287 • 使用RingBuffer处理数据 2135 • 执行uart_flush_input()，不能清空ringbuffer的数据，串口read依然读到了数据？ 300 • _serial_fifo_tx_blocking_buf这个问题正常吗？ 1436 • 如何解决volatile和中断向量表的问题? 702 • 如何去实现STM32F103移值RT-Thread Nano的设计呢 1599 • 在 SPI Flash上怎样去使用RT-Thread文件系统呢 2687 • 如何使用带有虚拟com端口的串行管理器MCUXpresso？ 473