嵌入式计数器(timer/ticks)溢出(Overflow)处理,嵌入式计数器运算带溢出保护

本文讨论了嵌入式开发中计时器的回环时间问题,特别是在涉及到0xFFFFFFFF和非最大值时的计算错误。文章介绍了如何使用etimer和raw接口正确处理溢出,并提供了示例代码和测试用例。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

简介

在嵌入式开发中,经常有计时以及时间比较的需要,如时间是否到达或者时间间隔等,本项目主要解决各种场景下的时间计算。

本项目地址:bobwenstudy/easy_timer (github.com)

嵌入式环境的时间是回环的,也就是说以32bit为单位,计时器单位为1us的话,就是每经过0x100000000(us)=4,294,967.296(ms)=4,294.967296(s)≈1.193(h),时间就会回环一次,如下图所示。

image-20240222114308729

这样就会有个问题,在边界场景进行时间运算时,会有可能出现计算异常。

在对timer进行计算时,通常需要用到如下几个操作函数past,sub和add函数,一般的实现如下所示。

/**
 * @brief  Check two absolute times past: time1<time2.
 * @param[in]  time1: Absolute time expressed in internal time units.
 * @param[in]  time2: Absolute time expressed in internal time units.
 * @return resulting 1 means past(time1<time2).
 */
int timer_past(uint32_t time1, uint32_t time2)
{
	return time1 < time2;
}
/**
 * @brief  Returns the difference between two absolute times: time1-time2.
 * @param[in]  time1: Absolute time expressed in internal time units.
 * @param[in]  time2: Absolute time expressed in internal time units.
 * @return resulting signed relative time expressed in internal time units.
 */
int32_t timer_sub(uint32_t time1, uint32_t time2)
{
	return time1 - time2;
}

/**
 * @brief This function returns the sum of an absolute time and a signed relative time.
 * @param[in]  time1: Absolute time expressed in internal time units.
 * @param[in]  ticks: Signed relative time expressed in internal time units.
 * @return 32bit resulting absolute time expressed in internal time units.
 */
uint32_t timer_add(uint32_t time1, int32_t ticks)
{
	return time1 + ticks;
}

下面分别以如下2种场景进行分析。

0xFFFFFFFF的时间回环问题

如下图所示,有A(0xFFFFFFF0)B(0x10)C(0x20)三个时间点,从图片上,可以直观的知道(假定时间点间隔不超过总时间一半),时间先后关系是,A最早,B次之,C最晚。

C和B的时间差是0x10,B和A的时间差是0x20。

image-20240222114610498

带入上面的函数计算,会发现涉及到A的计算,timer_past结果都是错的。不过timer_addtimer_sub的计算是对的,这是因为最大值是0xFFFFFFFF,溢出的部分,自动做了处理。

void test_work(void)
{
    SUITE_START("test_work");

    uint32_t A = 0xFFFFFFF0;
    uint32_t B = 0x10;
    uint32_t C = 0x20;

    int res;
    int32_t diff;
    uint32_t tmp;

    // timer past test
    res = timer_past(A, B); // ERROR, Get res=0, Expect res=1;
    ASSERT(res == 1);
    res = timer_past(B, C); // SUCCESS, Get res=1, Expect res=1;
    ASSERT(res == 1);

    // timer add test
    tmp = timer_add(A, 0x20); // SUCCESS, Get tmp=0x10, Expect tmp=0x10;
    ASSERT(tmp == 0x10);
    tmp = timer_add(B, 0x10); // SUCCESS, Get tmp=0x20, Expect tmp=0x20;
    ASSERT(tmp == 0x20);
    tmp = timer_add(C, -0x10); // SUCCESS, Get tmp=0x10, Expect tmp=0x10;
    ASSERT(tmp == 0x10);

    // timer sub test
    diff = timer_sub(B, A); // SUCCESS, Get diff=0x20, Expect res=0x20;
    ASSERT(diff == 0x20);
    diff = timer_sub(C, B); // SUCCESS, Get diff=0x10, Expect res=0x10;
    ASSERT(diff == 0x10);

    SUITE_END();
}

非0xFFFFFFFF的时间回环问题

在某些场景,计数值并不能以0xFFFFFFFF为最大值(如蓝牙时钟以28bit为周期等),这时候时间计算问题会更复杂。

依然是上面的例子,最大值为0x00FFFFFF。如下图所示,有A(0x00FFFFF0)B(0x10)C(0x20)三个时间点,从图片上,可以直观的知道(假定时间点间隔不超过总时间一半),时间先后关系是,A最早,B次之,C最晚。

C和B的时间差是0x10,B和A的时间差是0x20。

image-20240222143537713

带入上面的函数计算,会发现涉及到A的计算,timer_pasttimer_addtimer_sub的计算都是错的,这是因为没人帮忙做溢出处理了。

void test_work_insuff(void)
{
    SUITE_START("test_work_insuff");

    uint32_t A = 0x00FFFFF0;
    uint32_t B = 0x10;
    uint32_t C = 0x20;

    int res;
    int32_t diff;
    uint32_t tmp;

    // timer past test
    res = timer_past(A, B); // ERROR, Get res=0, Expect res=1;
    ASSERT(res == 1);
    res = timer_past(B, C); // SUCCESS, Get res=1, Expect res=1;
    ASSERT(res == 1);

    // timer add test
    tmp = timer_add(A, 0x20); // ERROR, Get tmp=0x01000010, Expect tmp=0x10;
    ASSERT(tmp == 0x10);
    tmp = timer_add(B, 0x10); // SUCCESS, Get tmp=0x20, Expect tmp=0x20;
    ASSERT(tmp == 0x20);
    tmp = timer_add(C, -0x10); // SUCCESS, Get tmp=0x10, Expect tmp=0x10;
    ASSERT(tmp == 0x10);

    // timer sub test
    diff = timer_sub(B, A); // ERROR, Get diff=0xFF000020, Expect res=0x20;
    ASSERT(diff == 0x20);
    diff = timer_sub(C, B); // SUCCESS, Get diff=0x10, Expect res=0x10;
    ASSERT(diff == 0x10);

    SUITE_END();
}

总结

综上,可以看出,涉及时间回环,不能单靠CPU自身处理,还是需要根据具体情况进行不同的处理。

代码结构

代码结构如下所示:

  • etimer.h:EasyTimer管理API,都是inline实现,可以根据需要转成c实现。
  • etimer16.h:EasyTimer管理16bit处理API,都是inline实现,可以根据需要转成c实现。
  • main.c:测试例程。
  • build.mkMakefile:Makefile编译环境。
  • README.md:说明文档
easy_timer
 ├── etimer.h
 ├── etimer16.h
 ├── build.mk
 ├── main.c
 ├── Makefile
 └── README.md

使用说明

具体如何使用直接看例程就行,非常简单,看函数名和变量名即可。

0xFFFFFFFF的时间回环问题处理

使用提供etimer接口操作即可。

void test_work_etimer(void)
{
    SUITE_START("test_work_etimer");

    uint32_t A = 0xFFFFFFF0;
    uint32_t B = 0x10;
    uint32_t C = 0x20;

    int res;
    int32_t diff;
    uint32_t tmp;

    // timer past test
    res = etimer_past(A, B); // SUCCESS, Get res=1, Expect res=1;
    ASSERT(res == 1);
    res = etimer_past(B, C); // SUCCESS, Get res=1, Expect res=1;
    ASSERT(res == 1);

    // timer add test
    tmp = etimer_add(A, 0x20); // SUCCESS, Get tmp=0x10, Expect tmp=0x10;
    ASSERT(tmp == 0x10);
    tmp = etimer_add(B, 0x10); // SUCCESS, Get tmp=0x20, Expect tmp=0x20;
    ASSERT(tmp == 0x20);
    tmp = etimer_add(C, -0x10); // SUCCESS, Get tmp=0x10, Expect tmp=0x10;
    ASSERT(tmp == 0x10);

    // timer sub test
    diff = etimer_sub(B, A); // SUCCESS, Get diff=0x20, Expect res=0x20;
    ASSERT(diff == 0x20);
    diff = etimer_sub(C, B); // SUCCESS, Get diff=0x10, Expect res=0x10;
    ASSERT(diff == 0x10);

    SUITE_END();
}

非0xFFFFFFFF的时间回环问题处理

使用提供etimer的raw接口,并配置好max_value和overflow值即可。

注意,overflow值一般取max_value的一半。

void test_work_etimer_insuff(void)
{
    SUITE_START("test_work_etimer_insuff");

    uint32_t A = 0x00FFFFF0;
    uint32_t B = 0x10;
    uint32_t C = 0x20;

    uint32_t max_value = 0x00FFFFFF;
    uint32_t overflow = max_value / 2;

    int res;
    int32_t diff;
    uint32_t tmp;

    // timer past test
    res = etimer_past_raw(A, B, overflow); // SUCCESS, Get res=1, Expect res=1;
    ASSERT(res == 1);
    res = etimer_past_raw(B, C, overflow); // SUCCESS, Get res=1, Expect res=1;
    ASSERT(res == 1);

    // timer add test
    tmp = etimer_add_raw(A, 0x20, max_value); // SUCCESS, Get tmp=0x10, Expect tmp=0x10;
    ASSERT(tmp == 0x10);
    tmp = etimer_add_raw(B, 0x10, max_value); // SUCCESS, Get tmp=0x20, Expect tmp=0x20;
    ASSERT(tmp == 0x20);
    tmp = etimer_add_raw(C, -0x10, max_value); // SUCCESS, Get tmp=0x10, Expect tmp=0x10;
    ASSERT(tmp == 0x10);

    // timer sub test
    diff = etimer_sub_raw(B, A, overflow, max_value); // SUCCESS, Get diff=0x20, Expect res=0x20;
    ASSERT(diff == 0x20);
    diff = etimer_sub_raw(C, B, overflow, max_value); // SUCCESS, Get diff=0x10, Expect res=0x10;
    ASSERT(diff == 0x10);

    SUITE_END();
}

API说明

主要有以下API。可以看到每个api都提供了一个带_raw的接口,用于处理非0xFFFFFFFF的场景。

static inline int etimer_past_raw(uint32_t time1, uint32_t time2, uint32_t overflow);
static inline int etimer_past(uint32_t time1, uint32_t time2);
static inline uint32_t etimer_add_raw(uint32_t time1, int32_t ticks, uint32_t max_value);
static inline uint32_t etimer_add(uint32_t time1, int32_t ticks);
static inline int32_t etimer_sub_raw(uint32_t time1, uint32_t time2, uint32_t overflow,
                                     uint32_t max_value);
static inline int32_t etimer_sub(uint32_t time1, uint32_t time2);

API说明16bit

部分场景下,嵌入式只需要16bit的计数器,这时用raw来运算有点浪费性能,所以提供了16bit的操作API,详见etimer16.h

_raw的接口,用于处理非0xFFFF的场景。

static inline int etimer16_past_raw(uint16_t time1, uint16_t time2, uint16_t overflow);
static inline int etimer16_past(uint16_t time1, uint16_t time2);
static inline uint16_t etimer16_add_raw(uint16_t time1, int16_t ticks, uint16_t max_value);
static inline uint16_t etimer16_add(uint16_t time1, int16_t ticks);
static inline int16_t etimer16_sub_raw(uint16_t time1, uint16_t time2, uint16_t overflow,
                                       uint16_t max_value);
static inline int16_t etimer16_sub(uint16_t time1, uint16_t time2);

测试说明

环境搭建

目前测试暂时只支持Windows编译,最终生成exe,可以直接在PC上跑。

目前需要安装如下环境:

编译说明

本项目都是由makefile组织编译的,编译整个项目只需要执行make all即可。

也就是可以通过如下指令来编译工程:

make all

而后运行执行make run即可运行例程,例程中实现了上述文档说明的问题和API的基本测试。

PS D:\workspace\github\easy_timer> make run
Building   : "output/main.exe"
Start Build Image.
objcopy -v -O binary output/main.exe output/main.bin
copy from `output/main.exe' [pei-i386] to `output/main.bin' [binary]
objdump --source --all-headers --demangle --line-numbers --wide output/main.exe > output/main.lst
Print Size
   text    data     bss     dec     hex filename
  57888    2888    2644   63420    f7bc output/main.exe
./output/main.exe
failed assert [main.c:810] res == 1
Testing test_work .......................................................... fail
failed assert [main.c:845] res == 1
failed assert [main.c:851] tmp == 0x10
failed assert [main.c:859] diff == 0x20
Testing test_work_insuff ................................................... fail
Testing test_work_etimer ................................................... pass
Testing test_work_etimer_insuff ............................................ pass
Testing test_etimer_past ................................................... pass
Testing test_etimer_sub .................................................... pass
Testing test_etimer_add .................................................... pass
Testing test_etimer_raw_past ............................................... pass
Testing test_etimer_raw_sub ................................................ pass
Testing test_etimer_raw_add ................................................ pass
Testing test_etimer16_past ................................................. pass
Testing test_etimer16_sub .................................................. pass
Testing test_etimer16_add .................................................. pass
Testing test_etimer16_raw_past ............................................. pass
Testing test_etimer16_raw_sub .............................................. pass
Testing test_etimer16_raw_add .............................................. pass
Executing 'run: all' complete!

可以看到,所有涉及到etimer的测试都通过。

### 关于嵌入式开发中的定时器和计数器实验 #### STM32定时器概述 STM32微控制器提供了多种类型的定时器,每种都有特定的应用场景。基本定时器(如TIM6、TIM7),仅位于APB1总线上,主要用于简单的延时操作;通用定时器(如TIM2-TIM5),则拥有更丰富的功能集,适用于复杂的波形生成以及测量任务;而高级定时器(如TIM1, TIM8)更是增加了诸如PWM信号输出等特性[^3]。 #### SysTick滴答定时器介绍 除了上述提到的各种硬件定时器外,STM32还内置了一个特别的系统级定时器——SysTick Timer。它通常被用来实现操作系统内核的心跳机制或是提供精确的时间基准服务,在很多情况下可以满足一般性的周期性事件处理需求[^1]。 #### 定时器配置实例 对于想要通过编程来控制LED灯按照一定频率闪烁的情况,可以选择使用任意一个具备足够性能指标的一般用途定时器来进行设置。例如,在某个具体的案例中,选择了TIM6作为驱动PBO端口上的LED进行一秒间隔亮灭切换的基础组件之一,并且配合TFT显示屏记录下了当前已经完成闪动的具体次数[^2]。 ```c // 初始化定时器函数定义 void SystemTinerInit(uint16_t arr,uint16_t psc); // 获取当前系统运行了多少个单位时间长度的方法原型说明 uint32_t GetSystemTimer(void); // 判断指定时间段是否结束的服务接口描述 uint8_t WaitTimerOut(uint32_t gTimer); ``` 以上代码片段展示了如何创建几个必要的辅助方法以便更好地管理和监控由选定定时器所负责产生的脉冲序列[^4]。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

CoderBob

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值