Nginx学习之十-超时管理(定时器事件)

10 篇文章 1 订阅

Nginx事件管理主要是网络事件和定时器事件。下面介绍定时器事件管理,即超时管理。


为什么要进行超时管理


Nginx有必要对可能发生超时的事件进行统一管理,并在事件超时时作出相应的处理,比如回收资源,返回错误等。举例来说,当客户端对nginx发出请求连接后,nginx机会accept()并建立对应的连接对象、读取额护短请求的头部信息。而读取这个头部信息显然是要在一定的时间内完成的。如果在一个有限的时间内没有读取到头部信息或者读取读取的头部信息不完整,那么nginx就无法进行正常处理,并且认为这是一个错误/非法的请求,直接返回错误信息并释放相应资源,如果nginx不这样做,那么针对如此的恶意攻击就和容易实施。


如何进行超时管理


对于超时管理,要解决两个问题:
(1)超时事件对象的组织
nginx采用的是红黑树。
(2)超时事件对象的超时检测
有两种方案:
一种是定时检测机制,通过设置定时器,没过一定时间就对红黑树管理的所有超时时间进行一次超级扫描。
另一种是先计算出距离当前最快发生超时的时间是多久。然后等待这个时间之后再去进行一次超时检测。

超时事件对象的组织

nginx中封装事件的结构体ngx_event_s中有几个字段与超时管理联系紧密:
[cpp]  view plain  copy
 print ?
  1. //超时  
  2. unsigned         timedout:1;  
  3. //事件存在于定时器中  
  4. unsigned         timer_set:1;  
  5. //定时器节点  
  6. ngx_rbtree_node_t   timer;  

Nginx设置了两个全局变量以便在程序的任何地方都可以哀诉的访问到这棵红棵树(src/event/ngx_event_timer.c):

[cpp]  view plain  copy
 print ?
  1. ngx_thread_volatile ngx_rbtree_t  ngx_event_timer_rbtree;//超时管理的红黑树结构  
  2. static ngx_rbtree_node_t          ngx_event_timer_sentinel;//红黑树中的哨兵节点  

红黑树结构的初始化
红黑树的初始化函数ngx_event_timer_init()是在函数ngx_event_process_init()函数内被调用的。即每个worker进程会在自身的初始化时建立这棵红黑树。
源代码(src/eventngx_event.c):
[cpp]  view plain  copy
 print ?
  1. static ngx_int_t  
  2. ngx_event_process_init(ngx_cycle_t *cycle)  
  3. {  
  4.     ....  
  5.     if (ngx_event_timer_init(cycle->log) == NGX_ERROR) {  
  6.         return NGX_ERROR;  
  7.     }  
  8.     ...  
  9. }  

函数ngx_event_timer_init完成了红黑树结构的初始化:

[cpp]  view plain  copy
 print ?
  1. /* 
  2.  * the event timer rbtree may contain the duplicate keys, however, 
  3.  * it should not be a problem, because we use the rbtree to find 
  4.  * a minimum timer value only 
  5.  */  
  6.   
  7. ngx_int_t  
  8. ngx_event_timer_init(ngx_log_t *log)  
  9. {  
  10.     //红黑树初始化  
  11.     ngx_rbtree_init(&ngx_event_timer_rbtree, &ngx_event_timer_sentinel,  
  12.                     ngx_rbtree_insert_timer_value);  
  13.   
  14.     //多线程处理  
  15. #if (NGX_THREADS)  
  16.   
  17.     if (ngx_event_timer_mutex) {  
  18.         ngx_event_timer_mutex->log = log;  
  19.         return NGX_OK;  
  20.     }  
  21.   
  22.     ngx_event_timer_mutex = ngx_mutex_init(log, 0);  
  23.     if (ngx_event_timer_mutex == NULL) {  
  24.         return NGX_ERROR;  
  25.     }  
  26.   
  27. #endif  
  28.   
  29.     return NGX_OK;  
  30. }  

而ngx_rbtree_init(tree, s, i) 是宏定义(src/core/ngx_rbtree.h),即新建了一棵空的红黑树:

[cpp]  view plain  copy
 print ?
  1. #define ngx_rbtree_init(tree, s, i)                                           \  
  2.     ngx_rbtree_sentinel_init(s);                                              \  
  3.     (tree)->root = s;                                                         \  
  4.     (tree)->sentinel = s;                                                     \  
  5.     (tree)->insert = i  

对事件进行超时监控

当需要对某个事件进行超时监控时,就会把它加入到这个红黑树内。比如,nginx调用accept接受到客户端的请求并建立对应的连接对象connection后,在连接对象的初始化函数ngx_http_init_connection()内,可以找到这样的代码:
[cpp]  view plain  copy
 print ?
  1. void  
  2. ngx_http_init_connection(ngx_connection_t *c)  
  3. {  
  4. ...  
  5. (358L)ngx_add_timer(rev, c->listening->post_accept_timeout);  
  6. ...  
  7. }  

ngx_add_timer的第一个参数是事件对象,第二个参数是超时时限。

超时检测

Nginx具体使用哪一种超时检测方案取决于配置项timer_resolution,比如:
timer_resolution 100ms;
反应到nginx代码中就是全局变量ngx_timer_resolution的值为100;
下面我们看worker进程的核心处理函数ngx_process_events_and_timers(ngx_event.c):
[cpp]  view plain  copy
 print ?
  1. void  
  2. ngx_process_events_and_timers(ngx_cycle_t *cycle)  
  3. {  
  4.     ngx_uint_t  flags;  
  5.     ngx_msec_t  timer, delta;  
  6.   
  7.     if (ngx_timer_resolution) {  
  8.         timer = NGX_TIMER_INFINITE;  
  9.         flags = 0;  
  10.   
  11.     } else {  
  12.         timer = ngx_event_find_timer();//将超时检测时间设置为最快发生超时的事件对象的超时时刻与当前时刻之差  
  13.         flags = NGX_UPDATE_TIME;  
  14. ...  
  15. (void) ngx_process_events(cycle, timer, flags);  
  16. ...  
  17. }  

可以看到,ngx_timer_resolution是否为0影响了两个值timer和flags。

当ngx_timer_resolution不为0时,即方案1.timer为无限大。timer在函数ngx_process_events()内被用作事件机制被阻塞的最长时间。那么timer为无限大会不会导致事件处理机制无限等待而超时事件得不到及时处理呢?不会。因为正常情况下事件处理机制会监控到某些I/O事件的发生。即便是服务器太闲,没有任何I/O事件发生,工作进程也不会无限等待。因为工作进程一开始就设置好了一个定时器,这实现在初始化函数ngx_event_process_init()内,看代码:
[cpp]  view plain  copy
 print ?
  1. static ngx_int_t  
  2. ngx_event_process_init(ngx_cycle_t *cycle)  
  3. {  
  4.         ...  
  5.         sa.sa_handler = ngx_timer_signal_handler;  
  6.         sigemptyset(&sa.sa_mask);  
  7.         itv.it_interval.tv_sec = ngx_timer_resolution / 1000;  
  8.         itv.it_interval.tv_usec = (ngx_timer_resolution % 1000) * 1000;  
  9.         itv.it_value.tv_sec = ngx_timer_resolution / 1000;  
  10.         itv.it_value.tv_usec = (ngx_timer_resolution % 1000 ) * 1000;  
  11.   
  12.         if (setitimer(ITIMER_REAL, &itv, NULL) == -1) {  
  13.             ngx_log_error(NGX_LOG_ALERT, cycle->log, ngx_errno,  
  14.                           "setitimer() failed");  
  15.         }  
  16.         ....  
  17. }  

回调函数ngx_timer_signal_handler:

[cpp]  view plain  copy
 print ?
  1. static void  
  2. ngx_timer_signal_handler(int signo)  
  3. {  
  4.     ngx_event_timer_alarm = 1;  
  5.   
  6. #if 1  
  7.     ngx_log_debug0(NGX_LOG_DEBUG_EVENT, ngx_cycle->log, 0, "timer signal");  
  8. #endif  
  9. }  

可以看出它仅仅是将标志变量ngx_event_timer_alarm 设置为1.
只有在ngx_event_timer_alarm 为1 的情况下,工作进程才会更新时间。函数ngx_epoll_process_events中的代码(ngx_epoll_module.c):
[cpp]  view plain  copy
 print ?
  1. static ngx_int_t  
  2. ngx_epoll_process_events(ngx_cycle_t *cycle, ngx_msec_t timer, ngx_uint_t flags)  
  3. {  
  4. ...  
  5.     events = epoll_wait(ep, event_list, (int) nevents, timer);  
  6.   
  7.     err = (events == -1) ? ngx_errno : 0;  
  8.   
  9.     if (flags & NGX_UPDATE_TIME || ngx_event_timer_alarm) {  
  10.         ngx_time_update();  
  11.     }  
  12. ...  
  13. }  

在方案一的情况下,||前面的式子为假,那么ngx_event_timer_alarm 不为1 的情况下,更新函数ngx_time_update()不会被执行。那么会导致超时检测函数ngx_event_expire_timers不会被执行。看ngx_process_events_and_timers函数的代码(ngx_event.c):

[cpp]  view plain  copy
 print ?
  1. void  
  2. ngx_process_events_and_timers(ngx_cycle_t *cycle)  
  3. {  
  4. ...  
  5.     delta = ngx_current_msec;  
  6.     (void) ngx_process_events(cycle, timer, flags);//事件处理函数  
  7.     delta = ngx_current_msec - delta;  
  8. ...  
  9. if (delta) {  
  10.         ngx_event_expire_timers();//超时检测函数  
  11.     }  
  12. ...  
  13. }  

当ngx_timer_resolution为0时,执行方案2。timer设置为最快发生超时的事件对象的超时时刻与当前时刻的时间差。具体计算时在函数ngx_event_find_timer内(ngx_event_timer.c)。

[cpp]  view plain  copy
 print ?
  1. ngx_msec_t  
  2. ngx_event_find_timer(void)  
  3. {  
  4.     ngx_msec_int_t      timer;  
  5.     ngx_rbtree_node_t  *node, *root, *sentinel;  
  6.   
  7.     if (ngx_event_timer_rbtree.root == &ngx_event_timer_sentinel) {  
  8.         return NGX_TIMER_INFINITE;  
  9.     }  
  10.   
  11.     ngx_mutex_lock(ngx_event_timer_mutex);  
  12.   
  13.     root = ngx_event_timer_rbtree.root;  
  14.     sentinel = ngx_event_timer_rbtree.sentinel;  
  15.   
  16.     node = ngx_rbtree_min(root, sentinel);  
  17.   
  18.     ngx_mutex_unlock(ngx_event_timer_mutex);  
  19.   
  20.     timer = (ngx_msec_int_t) (node->key - ngx_current_msec);  
  21.   
  22.     return (ngx_msec_t) (timer > 0 ? timer : 0);  
  23. }  

该函数从红黑树中找到key值最小的节点,然后用key值减去当前时刻即得到预期timer值。这个值可能是负数,表示已经有事件超时了。因此直接将其设置为0.那么事件处理 机制在开始监控I/O事件时会立即返回,以便马上处理这些超时事件。同时flags被设置为NGX_UPDATE_TIME。从ngx_epoll_process_events函数的代码中可以看出ngx_time_update()将被执行,事件被更新。即事件处理机制每次返回都会更新时间。如果I/O事件比较多,那么会导致比较频繁地调用gettimeofday()系统函数,这也可以说是超时检测方案2对性能的最大影响。这个时候超时检测函数ngx_event_expire_timers()函数会被执行。

下面看看超时检测函数ngx_event_expire_timers。其完成的主要任务是对超时事件对象是否超时进行扫描检测以及对已超时事件对象的处理。
检测是否有事件对象超时不需遍历扫描所有超时时间对象,而是找到最近的即将超时的超时事件对象。判断其是否超时,如果超时,则将其移出红黑树,设置超时标记,调用回调函数进行处理。之后再判断第二近的即将超时的超时事件对象,如此反复,知道某个超时事件对象还未超时或所有超时事件对象都已超时并处理完毕就结束检测。
此函数流程图:

下面是其核心代码:

[cpp]  view plain  copy
 print ?
  1. void  
  2. ngx_event_expire_timers(void)  
  3. {  
  4.     ngx_event_t        *ev;  
  5.     ngx_rbtree_node_t  *node, *root, *sentinel;  
  6.   
  7.     sentinel = ngx_event_timer_rbtree.sentinel;  
  8.     //循环检测  
  9.     for ( ;; ) {  
  10.         ngx_mutex_lock(ngx_event_timer_mutex);  
  11.         root = ngx_event_timer_rbtree.root;  
  12.         if (root == sentinel) {  
  13.             return;  
  14.         }  
  15.   
  16.         //找到最近的即将超时的超时事件对象  
  17.         node = ngx_rbtree_min(root, sentinel);  
  18.   
  19.         /* node->key <= ngx_current_time */  
  20.         //如果已经超时  
  21.         if ((ngx_msec_int_t) (node->key - ngx_current_msec) <= 0) {  
  22.             ev = (ngx_event_t *) ((char *) node - offsetof(ngx_event_t, timer));  
  23.   
  24.             ngx_log_debug2(NGX_LOG_DEBUG_EVENT, ev->log, 0,  
  25.                            "event timer del: %d: %M",  
  26.                            ngx_event_ident(ev->data), ev->timer.key);  
  27.   
  28.             //从红黑树中移除这个已超时的超时事件对象  
  29.             ngx_rbtree_delete(&ngx_event_timer_rbtree, &ev->timer);  
  30.             ngx_mutex_unlock(ngx_event_timer_mutex);  
  31.   
  32. #if (NGX_DEBUG)  
  33.             ev->timer.left = NULL;  
  34.             ev->timer.right = NULL;  
  35.             ev->timer.parent = NULL;  
  36. #endif  
  37.   
  38.             //标记:是否已加入红黑树超时管理  
  39.             ev->timer_set = 0;  
  40.             //标记:是否超时  
  41.             ev->timedout = 1;  
  42.             //调用回调函数  
  43.             ev->handler(ev);  
  44.   
  45.             continue;  
  46.         }  
  47.         break;  
  48.     }  
  49.   
  50.     ngx_mutex_unlock(ngx_event_timer_mutex);  
  51. }  
  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值