代码改变世界

Nginx学习笔记(一):Nginx 进程模型 / 事件处理模型

2019-12-01 23:41  陈心朔  阅读(533)  评论(0编辑  收藏  举报

Nginx 进程模型

​​​​

  1. 多进程模型
    进程间相互独立,无需加锁,且互不影响;
    一个进程退出了不影响其他的进程运行,降低风险;
    当请求到来,多个 worker 通过竞争 accrpt_mutex 而获得注册 listenfd 读事件,在读事件里调用 accept 接受连接。
     
  2. 异步非阻塞:
    处理网络事件与 I/O 复用相同,同时监控多个事件,当有事件就绪了就去读写;
    一个进程同时处理的请求只有一个,在请求间不断切换;
    切换是因为异步事件未准备好而主动让出的,类似于循环处理多个准备好的事件,没有任何代价
     
  3. 信号
    如果 Nginx 在等待事件(epoll_wait 时),程序收到信号,在信号处理函数处理完成后,epoll_wait 会返回错误,然后程序可以再次进入 epoll_wait 调用
     
  4. 定时器
    Nginx 借助 epoll_wait 的超时时间实现定时器;
    Nginx 的定时器事件是放在一颗维护定时器的红黑树里面,每次进入 epoll_wait 前,先从该红黑树中拿到所有定时器事件的最小时间,在计算出 epoll_wait 的超时时间后进入 epoll_wait;
    所以,当没有任何网络事件到来,也没有信号发生时,epoll_wait 会超时,即定时器事件到了;
    这时 Nginx 会检查所有的超时事件,将它们状态设置为超时,然后再去处理网络事件。

Nginx事件处理模型(伪代码)

while (true) {
    for t in run_tasks:
        t.handler();
    update_time(&now);
    timeout = ETERNITY;  // 重置超时时间
    for t in wait_tasks: /* sorted already */
        if (t.time <= now) {
            t.timeout_handler(); // 超时
        } else {
            timeout = t.time - now; // 更新超时时间
            break;
        }
    nevents = poll_function(events, timeout); // I/O复用处理事件
    for i in nevents:
        task t;
        if (events[i].type == READ) {
            t.handler = read_handler;
        } else { /* events[i].type == WRITE */
            t.handler = write_handler;
        }
        run_tasks_add(t);
}