定时器原理与实现

congchp

已于 2022-02-11 15:44:46 修改

阅读量1.2k

点赞数

分类专栏： Linux server 文章标签： linux 服务器后端

于 2022-01-21 16:24:00 首次发布

本文链接：https://blog.csdn.net/congchp/article/details/122624194

版权

Linux server 专栏收录该内容

45 篇文章 7 订阅

订阅专栏

定时器概述

对于服务端来说，驱动服务端逻辑的事件主要有两个，⼀个是⽹络事件，另⼀个是时间事件；

在不同框架中，这两种事件有不同的实现⽅式；

第⼀种，⽹络事件和时间事件在⼀个线程当中配合使⽤, 将定时器中最近的时间，设置为epoll_wait的timeout参数；例如nginx、redis；

第⼆种，⽹络事件和时间事件在不同线程当中处理；例如linux crontab, skynet；

// 第⼀种
while (!quit) {
    int now = get_now_time();// 单位：ms
    int timeout = get_nearest_timer() - now;
    if (timeout < 0) timeout = 0;
    int nevent = epoll_wait(epfd, ev, nev, timeout);
    for (int i=0; i<nevent; i++) {
    	//... ⽹络事件处理
    }
    update_timer(); // 时间事件处理
}
// 第⼆种 在其他线程添加定时任务
void* thread_timer(void * thread_param) {
    init_timer();
    while (!quit) {
    update_timer(); // 更新检测定时器，并把定时事件发送到消息队列中
    	sleep(t); // 这⾥的 t 要⼩于 时间精度
    }
    clear_timer();
    return NULL;
}
pthread_create(&pid, NULL, thread_timer, &thread_param);

定时器误差大怎么解决

对于第一种方式，如果网络事件的处理时间很长，影响了定时器事件的处理，造成定时器误差很大，怎么解决？

定时信号解决。定时发送信号，会打断epoll_wait

https://www.cnblogs.com/li-hao/archive/2013/04/23/3038542.html

定时器设计

定时器本质是越近要触发的定时任务，它的优先级越高。

定时器需要包含以下方法：

初始化定时器
添加定时任务
删除定时任务
检测定时任务
销毁定时器

定时器数据结构选择

定时器的数据结构，必须满足以下两点：

能够快速进行增加删除操作；
能够快速找到最小的节点。

以下数据结构可以实现定时器：

最小堆

对于增查删，时间复杂度为o(logn); 对于最小节点(即根节点)的查找复杂度是o(1)。

红黑树

增查删时间复杂度都是o(logn); 对于最小节点的查找时间复杂度是o(h)， h是红黑树高度。

跳表

先不讨论skiplist，后面redis中会具体介绍skiplist。

时间轮

时间轮分为单层级和多层级时间轮。

红黑树

关于红黑树的实现，可以参考rbtree实现。

怎么解决相同时间的key？

红黑树并没有要求key不能相同。对于key相同的情况，新节点直接加入到原节点的右子树。nginx红黑树实现就是这样的。

void
ngx_rbtree_insert_value(ngx_rbtree_node_t *temp, ngx_rbtree_node_t *node,
    ngx_rbtree_node_t *sentinel)
{
    ngx_rbtree_node_t  **p;

    for ( ;; ) {

        p = (node->key < temp->key) ? &temp->left : &temp->right;

        if (*p == sentinel) {
            break;
        }

        temp = *p;
    }

    *p = node;
    node->parent = temp;
    node->left = sentinel;
    node->right = sentinel;
    ngx_rbt_red(node);
}


void
ngx_rbtree_insert_timer_value(ngx_rbtree_node_t *temp, ngx_rbtree_node_t *node,
    ngx_rbtree_node_t *sentinel)
{
    ngx_rbtree_node_t  **p;

    for ( ;; ) {

        /*
         * Timer values
         * 1) are spread in small range, usually several minutes,
         * 2) and overflow each 49 days, if milliseconds are stored in 32 bits.
         * The comparison takes into account that overflow.
         */

        /*  node->key < temp->key */
        p = ((ngx_rbtree_key_int_t) (node->key - temp->key) < 0)
            ? &temp->left : &temp->right;

        if (*p == sentinel) {
            break;
        }

        temp = *p;
    }

    *p = node;
    node->parent = temp;
    node->left = sentinel;
    node->right = sentinel;
    ngx_rbt_red(node);
}

stl的map则不允许有重复的key，如果key相同，则更新value值。实现类似下面这样。

void
ngx_rbtree_insert_value(ngx_rbtree_node_t *temp, ngx_rbtree_node_t *node,
    ngx_rbtree_node_t *sentinel)
{
    ngx_rbtree_node_t  **p;

    for ( ;; ) {

        if (node->key == temp->key) {
            temp->data = node->data;
            return;
        }

        p = (node->key < temp->key) ? &temp->left : &temp->right;

        if (*p == sentinel) {
            break;
        }

        temp = *p;
    }

    *p = node;
    node->parent = temp;
    node->left = sentinel;
    node->right = sentinel;
    ngx_rbt_red(node);
}

红黑树增删查复杂度是o(logn)，查找最左侧节点复杂度是o(h)

int find_nearest_expire_timer() {
    ngx_rbtree_node_t  *node;
    if (timer.root == &sentinel) {
        return -1;
    }
    node = ngx_rbtree_min(timer.root, timer.sentinel);
    int diff = (int)node->key - (int)current_time();
    return diff > 0 ? diff : 0;
}

static ngx_rbtree_node_t *
ngx_rbtree_min(ngx_rbtree_node_t *node, ngx_rbtree_node_t *sentinel)
{
    while (node->left != sentinel) {
        node = node->left;
    }

    return node;
}