为什么宏timeafter(a,b)可以解决溢出回绕的问题.doc

说明：本文档有相应的pdf格式的文档，但由于论坛不能上载pdf文档（每次上载虽然成功但不能正确下载），所以只好粘贴相应的txt格式的文档，但损失了许多格式，请需要pdf格式的朋友联系我。 Title: jiffies溢出与时间先后比较 编制： chinakapok@ 日期：2005-05-25 1. 概述 在Linux内核中，TCP/IP协议栈在很多用到时间比较的地方都使用了jiffies？本文介绍了什么是jiffies，jiffies溢出可能造成的问题，使用time_after等宏来正确地比较时间及其背后的原理。 2. jiffies简介 2.1 时钟中断 在Linux内核中，TCP/IP协议栈在很多用到时间比较的地方都使用了jiffies。 那么jiffies是什么呢？我们知道，操作系统应该能够在将来某个时刻准时调度某个任务，所以需要一种能保证任务准时调度运行的机制。希望支持每种操作系统的微处理器必须包含一个可周期性中断它的可编程间隔定时器。这个周期性中断被称为系统时钟滴答（或system timer)，它象节拍器一样来组织系统任务，也称为时钟中断。 时钟中断的发生频率设定为HZ，HZ是一个与体系结构无关的常数，在文件linux/param.h中定义。至少从2.0版到2.1.43版，Alpha平台上Linux定义HZ的值为1024，而其他平台上定义为100。时钟中断对操作系统是非常重要的，当时钟中断发生时，将周期性地执行一些功能，例如： . 更新系统的uptime . 更新time of day . 检查当前任务的时间片是否用光，如果是则需要重新调度任务 . 执行到期的dynamic timer . 更新系统资源使用统计和任务所用的时间统计 2.2 jiffies及其溢出 全局变量jiffies取值为自操作系统启动以来的时钟滴答的数目，在头文件linux/sched.h中定义，数据类型为unsigned long volatile (32位无符号长整型)。关于jiffies为什么要采用volatile来限定，可参考《关于volatile和jiffies.txt》。 jiffies转换为秒可采用公式：(jiffies/HZ)计算，将秒转换为jiffies可采用公式：(seconds*HZ)计算。 当时钟中断发生时，jiffies值就加1。因此连续累加一年又四个多月后就会溢出(假定HZ=100，1个jiffies等于1/100秒，jiffies可记录的最大秒数为(2^32 -1)/100=.95秒，约合497天或1.38年)，即当取值到达最大值时继续加1，就变为了0。 在Vxworks操作系统中，定义HZ的值为60，因此连续累加两年又三个多月后也将溢出（jiffies可记录的最大秒数为约合2.27年）。如果在Vxworks操作系统上的应用程序对jiffies的溢出没有加以充分考虑，那么在连续运行两年又三个多月后，这些应用程序还能够稳定运行吗？ 下面我们来考虑jiffies的溢出，我们将从以下几个方面来阐述： . 无符号整型溢出的具体过程 . jiffies溢出造成程序逻辑出错 . Linux内核如何来防止jiffies溢出 . time_after等比较时间先/后的宏背后的原理 . 代码中使用time_after等比较时间先/后的宏 3. 无符号整型溢出的具体过程 我们首先来看看无符号长整型（unsigned long）溢出的具体过程。实际上，无符号整型的溢出过程都很类似。为了更具体地描述无符号长整型溢出的过程，我们以8位无符号整型为例来加以说明。 8位无符号整型从0开始持续增长，当增长到最大值255时，继续加1将变为0，然后该过程周而复始： 0, 1, 2, ..., 253, 254, 255, 0, 1, 2, ..., 253, 254, 255, ... 4. jiffies溢出造成程序逻辑出错 下面，通过一个例子来看jiffies的溢出。 例4-1：jiffies溢出造成程序逻辑出错 unsigned long timeout = jiffies + HZ/2; /* timeout in 0.5s */ /* do some work ... */ do_somework(); /* then see whether we took too long */ if (timeout jiffies) { /* we did not time out, call no_timeout_handler() ... */ no_timeout_handler(); } else { /* we timed out