Linux下的定时器.docxVIP

简介这篇文章主要记录我在试图解决如何尽可能精确地在某个特定的时间间隔执行某项具体任务时的思路历程，并在后期对相关的API进行的归纳和总结，以备参考。问题引出很多时候，我们会有类似“每隔多长时间执行某项任务”的需求，乍看这个问题并不难解决，实则并不容易，有很多隐含条件需要考虑，诸如：时间精度是多少？时间是否允许出现偏差，允许的偏差是多少，偏差之后如何处理？系统的负载如何？这个程序允许占用的系统资源是否有限制？这个程序运行的硬件平台如何？为了便于分析，我们锁定题目为“每隔2妙打印当前的系统时间(距离UNIX纪元的秒数）”。基于sleep的朴素解法看到这个题目，我想大家的想法和我一样，都是首先想到类似这样的解法：#include?stdio.hint?main(int?argc,?char?*argv[]){?while?(1)?{?printf(%d\n,?time(NULL));?sleep(2);?}?return?0;}如果对时间精度要求不高，以上代码确实能工作的很好。因为sleep的时间精度只能到1s：??#include?unistd.h?unsigned?int?sleep(unsigned?int?seconds);所以对于更高的时间精度（比如说毫秒）来说，sleep就不能奏效了。如果沿着这个思路走下去，还分别有精确到微妙和纳秒的函数usleep和nanosleep可用：??#include?unistd.h?int?usleep(useconds_t usec);?Feature?Test?Macro Requirements?for?glibc?(see feature_test_macros(7)):?usleep():?_BSD_SOURCE?||?_XOPEN_SOURCE?=?500??#include?time.h?int?nanosleep(const?struct?timespec?*req,?struct?timespec?*rem);?Feature?Test?Macro Requirements?for?glibc?(see feature_test_macros(7)):?nanosleep():?_POSIX_C_SOURCE?=?199309L既然有了能精确到纳秒的nanosleep可用，上面的较低精度的函数也就可以休息了。实际上在Linux系统下，sleep和usleep就是通过一个系统调用nanosleep实现的。用带有超时功能的API变相实现睡眠如果开发者不知道有usleep和nanosleep，这个时候他可能会联想到select类的系统调用：??According to POSIX.1-2001 */?#include?sys/select.h?/* According to earlier standards */?#include?sys/time.h?#include?sys/types.h?#include?unistd.h?int?select(int?nfds,?fd_set?*readfds,?fd_set?*writefds,?fd_set?*exceptfds,?struct?timeval?*timeout);??#include?poll.h?int?poll(struct?pollfd?*fds,?nfds_t nfds,?int?timeout);??#include?sys/epoll.h?int?epoll_wait(int?epfd,?struct?epoll_event?*events,?int?maxevents,?int?timeout);?int?epoll_pwait(int?epfd,?struct?epoll_event?*events,?int?maxevents,?int?timeout,?const?sigset_t?*sigmask);从函数原型和相关手册来看，poll和epoll_wait能提供的时间精度为毫秒，select比他们两个略胜一筹，为微秒，和前述的usleep相当。但是，果真如此么？这需要我们深入到Linux的具体实现，在内核里，这几个系统调用的超时功能都是通过内核中的动态定时器实现的，而动态定时器的时间精度是由当前内核的HZ数决定的。如果内核的HZ是100，那么动态定时器的时间精度就是1/HZ=1/100=10毫秒。目前，X86系统的HZ最大可以定义为1000，也就是说X86系统的动态定时器的时间精度最高只能到1毫秒。由此来看，select用来指示超时的timeval数据结构，只是看起来很美，实际上精度和poll/epoll_wait相当。基于定时器的实现除了基于sleep的实现外，还有基于能用信号进行异步提醒