nginx 重中之重 event 模块

原创 2015年11月18日 13:08:53

事件处理是Nginx处理请求的核心,每个子进程在ngx_worker_process_cycle()的循环里不断调用ngx_process_events_and_timers()函数来处理各种事件。下面,分析使用epoll机制下(Linux最常用支持大并发的事件触发机制)Nginx事件处理的过程,用源代码分析和debug信息追踪两种方法。

我们从ngx_worker_process_cycle()函数(即工作进程处理请求的循环)切入:
===================================================================================
static void ngx_worker_process_cycle(ngx_cycle_t *cycle, void *data)
{
/*...*/
//第一部分:初始化
ngx_worker_process_init(cycle, 1);
/*...*/
for ( ;; ) {
/*...*/
//第二部分:处理事件
ngx_process_events_and_timers(cycle);
/*...*/
}
/*...*/
}
===================================================================================
//第一部分:初始化
static void ngx_worker_process_init(ngx_cycle_t *cycle, ngx_uint_t priority)
{
//配置一些环境变量
//...
//设置uid,groupid等
//...
//如果有设置CPU affinity
//...
//换到当前工作的目录下
//...
//清空所有的信号
//...
//清掉监听socket上以前的事件
//...

//调用所有模块的init_process钩子函数//所有模块-->每个子进程可以调用这些模块的功能//init_process for (i = 0; ngx_modules[i]; i++) { if (ngx_modules[i]->init_process) {//如果是event module: ngx_event_process_init()被调用 if (ngx_modules[i]->init_process(cycle) == NGX_ERROR) { exit(2); } }}
//将其他进程的channel[1]关闭,自己的除外//子进程继承了父进程的ngx_processes数组,但子进程只监听自己的channel[1]
//...
//将自己的channel[0]关闭//因为自己的channel[0]是给其他子进程,用来发送消息的sendmsg
//...
//调用ngx_add_channel_event()函数,给ngx_channel注册一个读事件处理函数。
//在ngx_start_worker_processes()函数中,ngx_channel = ngx_processes[s].channel[1];
//ngx_channel就是进程自身的channel[1],用来读取的socket
//ngx_channel_handler处理从channel中收到的信号,当事件触发时,调用这个方法
if (ngx_add_channel_event(cycle, ngx_channel, NGX_READ_EVENT, ngx_channel_handler) == NGX_ERROR) { exit(2); }
}

每个模块(module)都有一个全局的ngx_module_t结构变量,在worker process被创建(fork)以后,在ngx_worker_process_init()内调用到每个模块的init_process钩子。其中ngx_event_core_module的init_process钩子指向的是ngx_event_process_init()函数,这个函数是这样的:

static ngx_int_t ngx_event_process_init(ngx_cycle_t *cycle)
{
/*...*/

for (m = 0; ngx_modules[m]; m++) {//只有ngx_event_core_module和ngx_epoll_module是NGX_EVENT_MODULE类型的 if (ngx_modules[m]->type != NGX_EVENT_MODULE) { continue; } if (ngx_modules[m]->ctx_index != ecf->use) { continue; }//获取模块上下文 module = ngx_modules[m]->ctx;//初始化模块//ngx_epoll_module(类型ngx_module_t)是全局的结构变量,在初始化的时候由ngx_epoll_module_ctx传入参数,而init函数也在这个时候确定//如epoll就是ngx_epoll_init if (module->actions.init(cycle, ngx_timer_resolution) != NGX_OK) { exit(2); } break; }

/*...*/

/*=========初始化connections=========*/

//分配connection_n个空间给connections cycle->connections = ngx_alloc(sizeof(ngx_connection_t) * cycle->connection_n, cycle->log); c = cycle->connections;//分配connection_n个空间给read_events和write_events,初始化这些read_events和write_events cycle->read_events = ngx_alloc(sizeof(ngx_event_t) * cycle->connection_n, cycle->log);rev = cycle->read_events; for (i = 0; i < cycle->connection_n; i++) { rev[i].closed = 1; rev[i].instance = 1;
/*不考虑线程*/ } cycle->write_events = ngx_alloc(sizeof(ngx_event_t) * cycle->connection_n, cycle->log); wev = cycle->write_events; for (i = 0; i < cycle->connection_n; i++) { wev[i].closed = 1;
/*不考虑线程*/ }

//把connection和read_event,write_event联系起来,每个connection都指向一个read_event和write_event i = cycle->connection_n; next = NULL; do {
//把connection链接起来 i--; c[i].data = next; c[i].read = &cycle->read_events[i]; c[i].write = &cycle->write_events[i]; c[i].fd = (ngx_socket_t) -1; next = &c[i];
/*不考虑线程*/ } while (i);

//free_connections指向connections的头
cycle->free_connections = next;
//初始化free connection的数目 cycle->free_connection_n = cycle->connection_n;

/* for each listening socket */ ls = cycle->listening.elts; for (i = 0; i < cycle->listening.nelts; i++) { c = ngx_get_connection(ls[i].fd, cycle->log);//获取一个空闲的connection,并设置其file descriptor c->log = &ls[i].log; c->listening = &ls[i];//获取ngx_listening_s结构 ls[i].connection = c; //设置ngx_listening_s.connection rev = c->read; rev->log = c->log; rev->accept = 1; //接受请求
/*...*/

//设置c->read的handler为ngx_event_accept rev->handler = ngx_event_accept; if (ngx_use_accept_mutex) { continue; } if (ngx_event_flags & NGX_USE_RTSIG_EVENT) { if (ngx_add_conn(c) == NGX_ERROR) { return NGX_ERROR; } } else { if (ngx_add_event(rev, NGX_READ_EVENT, 0) == NGX_ERROR) { return NGX_ERROR; } }

}

在上面的函数里,如果我们使用了epoll,那么epoll模块的ngx_epoll_init()函数就会被调用,而这个函数中最重要的就是

ngx_event_actions = ngx_epoll_module_ctx.actions

在工作进程的for循环中用来处理事件的ngx_process_events_and_timers()中,每次调用ngx_process_events()的时候,其实就是调用ngx_epoll_module_ctx.actions里面的ngx_epoll_process_events()。


===================================================================================
//第二部分:处理事件
//被循环调用
//先接收连接(并不处理事件),以及处理进程间信号(如有)
//处理accept queue和event queue里面的事件
void ngx_process_events_and_timers(ngx_cycle_t *cycle)
{
    
//如果使用了accept mutex  
//nginx uses accept mutex to serialize accept() syscalls
//多进程需要使用mutex
     if (ngx_use_accept_mutex) {
//空闲连接数过少
         if (ngx_accept_disabled > 0) {
             ngx_accept_disabled--;
         }
else {
//调用ngx_trylock_accept_mutex()试着给cycle上锁,并把ngx_accept_mutex_held设为1
//如果成功获得lock,将调用ngx_enable_accept_events()
//ngx_enable_accept_events()中会调用ngx_add_event()/ngx_add_conn()
//即,获得lock的worker process才会添加一个“接受请求”的事件
             if (ngx_trylock_accept_mutex(cycle) == NGX_ERROR) {
                 return;
             }
//ngx_accept_mutex_held表示当前是否已经持有锁
//如果持有的话,就把flags添加NGX_POST_EVENTS,这样表明可以去accept请求
//如果不持有,就去处理其他事件,在ngx_epoll_process_events里会调用
//rev/wev->handler()
             if (ngx_accept_mutex_held) {
                 flags |= NGX_POST_EVENTS;
             } else {
                 if (timer == NGX_TIMER_INFINITE || 
    timer > ngx_accept_mutex_delay) {
//ngx_accept_mutex_delay 当获得锁失败后,再次去请求锁的间隔时间
                     timer = ngx_accept_mutex_delay;
                 }
             }
         }
     }

//#define ngx_process_events   ngx_event_actions.process_events
//In epoll, ngx_event_actions = ngx_epoll_module_ctx.actions;
//全局变量ngx_epoll_module_ctx(类型ngx_event_module_t),内有actions(类型ngx_event_actions_t),定义process_events钩子
//钩子调用epoll的ngx_epoll_process_events()
     (void) ngx_process_events(cycle, timer, flags);

     delta = ngx_current_msec - delta;//计算process所用时间

//ngx_posted_accept_events队列不为空-->有accept事件发生,就去处理
//accept事件,其实最后就是调用accept函数接收新的连接
//rev->handler = ngx_event_accept在ngx_event_process_init里面设置
     if (ngx_posted_accept_events) {
         ngx_event_process_posted(cycle, &ngx_posted_accept_events);
     }

//已经处理完接收新连接的事件了,如果前面获取到了accept锁,那就解锁
     if (ngx_accept_mutex_held) {
         ngx_shmtx_unlock(&ngx_accept_mutex);
     }

     if (delta) {
         ngx_event_expire_timers();
     }

//除了accept事件之外的其他事件放在这个队列中,如果队列不为空,就去处理相关的事件
     if (ngx_posted_events) {
//一般不用线程来处理
         if (ngx_threaded) {
             ngx_wakeup_worker_thread(cycle);
         } else {
             ngx_event_process_posted(cycle, &ngx_posted_events);
         }
     }
}

===================================================================================
说到这里不得不提一下一个很重要的结构ngx_module_t,这里面定义了一些非常重要的函数钩子:

struct ngx_module_s {
    //ctx_index是分类的模块计数器,nginx的模块可以分为四种:core、event、http和
    //mail,每一种的模块又会各自计数一下,这个ctx_index就是每个模块在其所属类组的计数值

    ngx_uint_t            ctx_index;    

    //index是一个模块计数器,按照每个模块在ngx_modules[]数组中的声明顺序
    //(见objs/ngx_modules.c),从0开始依次给每个模块进行编号
    ngx_uint_t            index; 

    /*...*/
    ngx_uint_t            version;

     //ctx是模块的上下文,不同种类的模块有不同的上下文,四类模块就有四种模块上下文,实现为四个不同的结构体,所以ctx是void *
    void                 *ctx; 

    //commands 是模块的指令集,nginx的每个模块都可以实现一些自定义的指令,这些指令
    //写在配置文件的适当配置项中,每一个指令在源码中对应着一个 ngx_command_t结构的
    //变量,nginx会从配置文件中把模块的指令读取出来放到模块的commands指令数组中,
    //这些指令一般是把配置项的 参数值赋给一些程序中的变量或者是在不同的变量之间合并或
    //转换数据(例如include指令),指令可以带参数也可以不带参数,你可以把这些指令想象
    //为 unix的命令行或者是一种模板语言的指令。
    ngx_command_t        *commands;

    //type就是模块的种类,前面已经说过,nginx模块分为core、event、http和mail四类,type用宏定义标识四个分类。 
    ngx_uint_t            type; 

    //init_master、 init_module、init_process、init_thread、exit_thread、
    //exit_process、 exit_master是函数指针,指向模块实现的自定义回调函数,
    //这些回调函数分别在初始化master、初始化模块、初始化工作进程、初始化线程、
    //退出线程、退出工作进程和退出master的时候被调用,如果模块需要在这些时机做处理,
    //就可以实现对应的函数,并把它赋值给对应的函数指针来注册一个回调 函数接口
    ngx_int_t           (*init_master)(ngx_log_t *log);
    ngx_int_t           (*init_module)(ngx_cycle_t *cycle);
    ngx_int_t           (*init_process)(ngx_cycle_t *cycle);
    ngx_int_t           (*init_thread)(ngx_cycle_t *cycle);
    void                (*exit_thread)(ngx_cycle_t *cycle);
    void                (*exit_process)(ngx_cycle_t *cycle);
    void                (*exit_master)(ngx_cycle_t *cycle);

    /*...*/

};

//epoll处理事件的函数
static ngx_int_t ngx_epoll_process_events(ngx_cycle_t *cycle, ngx_msec_t timer, ngx_uint_t flags)
{

    //得到发生的事件表event_list
    events = epoll_wait(ep, event_list, (int) nevents, timer);

    if (flags & NGX_UPDATE_TIME || ngx_event_timer_alarm) {
        ngx_time_update();
    }

    //上锁ngx_posted_events_mutex
    //ngx_posted_events_mutex只有在NGX_THREAD宏定义有效时才有效
    ngx_mutex_lock(ngx_posted_events_mutex);

    for (i = 0; i < events; i++) {
//获取事件的connection
        c = event_list[i].data.ptr;
        instance = (uintptr_t) c & 1;
        c = (ngx_connection_t *) ((uintptr_t) c & (uintptr_t) ~1);
        rev = c->read;

        revents = event_list[i].events;

        if ((revents & (EPOLLERR|EPOLLHUP)) && 
    (revents & (EPOLLIN|EPOLLOUT)) == 0) {
            /*
             * if the error events were returned without EPOLLIN or 
       EPOLLOUT,
             * then add these flags to handle the events at least in one
             * active handler
             */
            revents |= EPOLLIN|EPOLLOUT;
        }

 //default rev->active is 1
        if ((revents & EPOLLIN) && rev->active) {
            if ((flags & NGX_POST_THREAD_EVENTS) && !rev->accept) {
                rev->posted_ready = 1;
            } 
    else {
                rev->ready = 1;
            }
            if (flags & NGX_POST_EVENTS) {
        //如果是新的连接,accept就会被设为1;accept()之后还没有断开(timeout),accept就是0
//这个步骤不处理连接,只是把连接放在queue(ngx_posted_accept_events或者ngx_posted_events)里面
                queue = (ngx_event_t **) (rev->accept ? &ngx_posted_accept_events : &ngx_posted_events);
                ngx_locked_post_event(rev, queue);
            } 
    else {
                rev->handler(rev);
            }
        }

        wev = c->write;
        if ((revents & EPOLLOUT) && wev->active) {
            if (flags & NGX_POST_THREAD_EVENTS) {
                wev->posted_ready = 1;
            } else {
                wev->ready = 1;
            }
            if (flags & NGX_POST_EVENTS) {
                ngx_locked_post_event(wev, &ngx_posted_events);
            } else {
                wev->handler(wev);
            }
        }
    }
    //解锁
    ngx_mutex_unlock(ngx_posted_events_mutex);
    return NGX_OK;
}

===================================================================================
//代码追踪
下面,以单进程和多进程处理一个http请求为例,分析一下事件处理的流程。我用nginx里面已有的ngx_log_debugX()来插入事件处理的主要函数ngx_epoll_process_events()和ngx_event_process_posted()。在编译的时候,需要加上"--with-debug"参数。并指定nginx.conf里面的"error_log   logs/debug.log  debug_core | debug_event | debug_http;"。重新启动nginx。

单进程(work_processes 1):
1. 在初始化即ngx_worker_process_init()中调用两次ngx_epoll_add_event()。第一次是在ngx_event_process_init()里面,即给每个监听的端口(在我的例子里只监听80端口)添加一个NGX_READ_EVENT事件;第二次是ngx_add_channel_event(),即给进程间通行的socketpair添加NGX_READ_EVENT事件。
2. 不断调用ngx_epoll_process_events()函数,探测监听的事件是否发生。如果此时有一个http请求进来,就会触发epoll的事件。由于之前每个监听的端口已经设置handler是ngx_event_accept(),这样,就会在ngx_epoll_process_events()里面调用rev->handler(rev),即调用ngx_event_accept()。在这个函数里,accept()被调用,即接收请求并为其分配一个新的连接,初始化这个新连接,并调用listening socket的handler,即ls->handler(c)。因为ls->handler在http_block()(读取配置之后)里面已经设置了(ls->handler = ngx_http_init_connection;),那么就会调用ngx_http_init_connection()。而在这个函数里,又会添加一个读事件,并设置其处理钩子是ngx_http_init_request()。
3. epoll触发新的事件调用ngx_http_init_request(),并继续http请求处理的每一个环节。(如process request line,process headers,各个phase等)
4. 最后client关闭了连接(我用的是Linux下的curl)。调用了ngx_http_finalize_request() => ngx_http_finalize_connection() => ngx_http_set_keepalive()。ngx_http_set_keepalive()函数设置事件的处理函数是ngx_http_keepalive_handler(),并调用ngx_post_event()把它添加到ngx_posted_events队列里。然后ngx_event_process_posted()函数就会一一处理并删除队列里所有的事件。在ngx_http_keepalive_handler()函数里,调用ngx_http_close_connection() => ngx_close_connection() => ngx_del_conn(c,NGX_CLOSE_EVENT)。ngx_del_conn()即ngx_epoll_del_connection(),即把这个处理请求的connection从epoll监听的事件列表中删除。


多进程(我设置了work_processes 2):和单进程不同,单进程设置epoll timer为-1,即没有事件就一直阻塞在那里,直到监听的端口收到请求。而多进程则不同,每个进程会设置一个epoll_wait()的timeout,去轮番尝试获取在监听端口接受请求的权利,如果没有事件就去处理其它的事件,如果获得了就阻塞(*直到有任意事件发生)
1. 在ngx_event_process_init()里面,只会调用ngx_add_channel_event()给进程间通信的socketpair添加事件,而不给http监听的端口添加事件(为了保证不会有多个工作进程来同时接受请求)。而每个进程被fork()之后,父进程(master process)都会调用ngx_pass_open_channel() => ngx_write_channel()  => sendmsg()来通知所有已经存在的进程(这会触发接收方的事件,调用ngx_channel_handler()函数)
2. 在ngx_process_events_and_timers()里,用一个锁来同步所有的进程ngx_trylock_accept_mutex(),并只有一个进程能够得到ngx_accept_mutex这个锁。得到这个锁的进程会调用ngx_enable_accept_events()添加一个监听端口的事件。
3. 在ngx_epoll_process_events()里,调用了ngx_locked_post_event()添加了一个读事件到accept queue(即ngx_posted_accept_events),然后在ngx_event_process_posted()里面处理,即调用ngx_event_accept(),并添加一个读事件(后面和单进程是一样的)。在处理完ngx_posted_accept_events队列里面的所有accept事件之后,ngx_accept_mutex这个锁也会被释放,即把接受请求的权利让给其它的进程。

*在多进程的模式下,每当有新的子进程启动的时候,父进程(master process)都会向其余所有进程的socketpair channel广播新的子进程的channel。这样,就会导致之前获取监听端口权限(即ngx_accept_mutex)的进程触发epoll事件,从而释放ngx_accept_mutex,虽然这个是发生在初始化阶段(之后子进程间一般不通信),一般不会产生两个或多个进程同时在epoll添加监听端口事件的情况。但是在理论上,这样的设计可能会导致系统的bug(比如有人通过给子进程发送信号的办法来实现一些特殊的功能时,就有可能让其中一个进程放弃ngx_accept_mutex,而另外某一个进程在之后先于它再次获取到ngx_accept_mutex)。

版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

nginx 源码学习笔记(二十)—— event 模块(一) ——初始化

读完之前的学习笔记,相信已经对nginx的启动流程有了一定的认识,从这一节起我们想深入各个模块,学习各个模块的内的主要操作。 本文来自于:http://blog.csdn.net/lengzijia...

nginx 源码学习笔记(二十三)—— event 模块(四) ——timer红黑树

在二十一节中,提到过调用ngx_eventfind_timer()获取timer,然后传递给epoll模块,做等待时间,今天我们主要讲解下这个方法。 本文来自于:http://blog.csdn.n...

nginx 源码学习笔记(二十一)—— event 模块(二) ——事件驱动核心ngx_process_events_and_timers

首先继续回忆下,之前子线程执行操作里面有一个未涉及的内容ngx_process_events_and_timers,今天我们就来研究下这个函数。 本篇文章来自于:http://blog.csdn...

nginx 源码学习笔记(二十)—— event 模块(一) ——初始化

读完之前的学习笔记,相信已经对nginx的启动流程有了一定的认识,从这一节起我们想深入各个模块,学习各个模块的内的主要操作。 本文来自于:http://blog.csdn.net/lengzij...

Nginx Event模块

对 Nginx 事件处理,定时器处理流程进行详述 描述了 Nginx 如何解决 epoll accept 惊群问题 参考 Nginx 版本 1.8.0

nginx 源码学习笔记(二十一)—— event 模块(二) ——事件驱动核心ngx_process_events_and_timers

首先继续回忆下,之前子线程执行操作里面有一个未涉及的内容ngx_process_events_and_timers,今天我们就来研究下这个函数。 本篇文章来自于:http://blog.csdn.n...

nginx 源码学习笔记(二十二)—— event 模块(三) ——epoll模块

上一节我们讲到了事件驱动的模块,它把我们引入epoll模块,今天我们主要学习下nginx如何使用epoll完成时间驱动,实现高并发;这里不详细讲解epoll原理,如果有机会再做一次单独的epoll的学...

Nginx源码分析 - Event事件篇 - Event模块和配置的初始化

Event的模块和配置的初始化,必须得结合我们讲过的两篇文章:《Nginx源码分析 - 主流程篇 - 模块的初始化》     和  《Nginx源码分析 - 主流程篇 - 解析配置文件》    ...

关于Python的进程线程协程之threading模块(三)Event对象

关于Python的进程线程协程之threading模块(三)Event对象 Event对象:通用的条件变量。多个线程可以等待某个线程的发生,当事件发生后,所有的线程都会被激活。 #_*_codin...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)