linux内核中jiffies的回绕问题
问题
在做项目的时候,判断时间是否到没有,我们不能直接if((HAL_GetTick() - start) - 15000) 这个条件判断,因为变量的最大记值是有限制的(uint32_t 最大计数到2^32-1),而时间是无限的,这样会存在时间回绕的问题。
参考Linux内核里的jiffies回绕解决方案,使用了time_after()这个宏来判断是否超时,并且这个宏要添加到main.h头文件中。
在Linux内核中,jiffies是一个用于记录系统运行时间的变量,以滴答数进行计量。它是一个无符号长整型(unsigned long),记录自系统启动以来的时钟滴答数。
回绕问题指的是,当jiffies计数达到最大值后,会发生溢出并重新从0开始计数。这是因为jiffies是一个有限长度的变量,在达到它的最大值后会回绕到0。
Linux内核通过使用time_after()等函数来处理回绕问题。例如,如果需要比较两个时间戳t1和t2的先后顺序,可以使用time_after(t2, t1)来判断t2是否在t1之后。由于jiffies的回绕,这种比较方式可以正确处理回绕情况。
在处理定时器、时间片轮转调度等时序相关操作时,Linux内核通常会使用jiffies,并结合time_after()等函数来处理回绕问题,以确保正确的时间判断和计算。
需要注意的是,在使用jiffies时,开发者必须小心处理回绕问题,以避免出现错误的时间计算或判断。在实际应用中,可以利用内核提供的一些函数和宏来处理jiffies的回绕问题,以确保时间相关的操作能够正确地进行。
time_after宏是一个用于计算时间差的宏。您可以提供两个时间戳,并使用宏来计算它们之间的时间差。
#define time_after(a,b) ((int32_t)(b) - (int32_t)(a)<0)
#define time_before(a,b) time_after(b,a)
#define time_after_eq(a,b) ((int32_t)(a) - (int32_t)(b)>=0)
#define time_before_eq(a,b) time_after_eq(b,a)