定时器队列

        定时器属于基本的基础组件，不管是用户空间的程序开发，还是内核空间的程序开发，很多时候都需要有定时器作为基础组件的支持，但使用场景的不同，对定时器的实现考虑也不尽相同，本文讨论了在 Linux 环境下，应用层和内核层的定时器的各种实现方法，并分析了各种实现方法的利弊以及适宜的使用环境。

       首先，给出一个基本模型，定时器的实现，需要具备以下几个行为，这也是在后面评判各种定时器实现的一个基本模型 [1]：

       StartTimer(Interval, TimerId, ExpiryAction)

       注册一个时间间隔为 Interval 后执行 ExpiryAction 的定时器实例，其中，返回 TimerId 以区分在定时器系统中的其他定时器实例。

       StopTimer(TimerId)

       根据 TimerId 找到注册的定时器实例并执行 Stop 。

       PerTickBookkeeping()

       在一个 Tick 内，定时器系统需要执行的动作，它最主要的行为，就是检查定时器系统中，是否有定时器实例已经到期。注意，这里的 Tick 实际上已经隐含了一个时间粒度 (granularity) 的概念。

       ExpiryProcessing()

       在定时器实例到期之后，执行预先注册好的 ExpiryAction 行为。

       上面说了基本的定时器模型，但是针对实际的使用情况，又有以下 2 种基本行为的定时器：

       Single-Shot Timer

       这种定时器，从注册到终止，仅仅只执行一次。

       Repeating Timer

 

       这种定时器，在每次终止之后，会自动重新开始。本质上，可以认为 Repeating Timer 是在 Single-Shot Timer 终止之后，再次注册到定时器系统里的 Single-Shot Timer，因此，在支持 Single-Shot Timer 的基础上支持 Repeating Timer 并不算特别的复杂。

/// add 2014/3/6
       因为可能一个系统中（进程）中有很多的定时器，所以就有了定时器队列的概念，用什么数据结构存储定时器可能影响到系统的性能，对于定时器的操作复杂度和数据结构上的复杂度很相似，StartTimer相当于插入操作， StopTimer与一般理解上的StopTimer有点不同，这里的StopTimer是找出最先到时间的定时器（相当于找到最小值），而不是找到特定的值， PerTickBookkeeping与StopTimer意思差不多，复杂度一样。在这篇文章中（http://www.ibm.com/developerworks/cn/linux/l-cn-timers/）介绍了一种“时间轮”的算法，其实和大数据排序的bitMap方法原理一样，以空间换取速度。所以考虑到数据规模，也就是定时器的规模，一般来说使用堆的时间复杂度更低一些，但是如果定时器很少，起始对于目前的系统的速度来说，没有多大规模。对于如何实现定时器队列，在ace中有了很好的封装。

       此外，除了定时器复杂度，还有一个精度的问题，也就是“Trick”的问题，
/// add finish 2014/3/6

       在 2.4 的内核中，并没有提供 POSIX timer ［ 2 ］的支持，要在进程环境中支持多个定时器，只能自己来实现，好在 Linux 提供了 setitimer(2) 的接口。它是一个具有间隔功能的定时器 (interval timer)，但如果想在进程环境中支持多个计时器，不得不自己来管理所有的计时器。 setitimer(2) 的定义如下：

setitimer 的原型
#include <sys/time.h>
 int setitimer(int which, const struct itimerval *new_value,struct itimerval *old_value);

       setitimer 能够在 Timer 到期之后，自动再次启动自己，因此，用它来解决 Single-Shot Timer 和 Repeating Timer 的问题显得很简单。该函数可以工作于 3 种模式：

       ITIMER_REAL 以实时时间 (real time) 递减，在到期之后发送 SIGALRM 信号

       ITIMER_VIRTUAL 仅进程在用户空间执行时递减，在到期之后发送 SIGVTALRM 信号

I       TIMER_PROF 进程在用户空间执行以及内核为该进程服务时 ( 典型如完成一个系统调用 ) 都会递减，与 ITIMER_VIRTUAL共用时可度量该应用在内核空间和用户空间的时间消耗情况，在到期之后发送 SIGPROF 信号

       setitimer不会引起线程的阻塞、也不会引起线程的切换动作，就是简单的启动一个定时器，开始定时，而且这种定时应该是基于内核的，（windwos的settimer是基于一种消息的模型）；setitimer虽然有三种类型ITIMER_REAL，ITIMER_VIRTUAL ITIMER_PROF，但是在同一时间同一进程，一种类型的只能有1个setitimer。

       “在对精度要求较高的情况下使用select()作为定时器，最大的好处就是不会影响信号处理线程安全，而且精度能得到保证。当时间延时时间较长时，select和pselect表现较差，当时间小于1毫秒时，他们的精确度便提高了，表现与usleep、nanosleep不相上下，有时精度甚至超过后者，select,和sleep是可重入函数，在使用的时候会引起线程的切换；所以有不会影响信号处理线程安全，而usleep，nanosleep，不可重入函数，程序是在暂停状态，也就是不能线程切换；但是不知道setitimer会不会记时；”

/// add 2014/3/6
       对于上面的一段话简单注解，select和sleep是可重入函数，使用的时候不是“引起”线程的切换，是使用的时候cpu可能会切换线程，如果定时的时间较长，那么不准确的原因可能是线程切换造成的。
/// add 2014/3/6

参考：
http://www.ibm.com/developerworks/cn/linux/l-cn-timers/
http://www.cnblogs.com/processakai/archive/2012/04/11/2442294.html