平滑升级或者优雅升级或者优雅重启的目的是不影响当前正在执行请求的情况下实现升级或者重启
平滑升级步骤
备份旧的二进制文件,然后将新的二进制文件覆盖旧的二进制文件
向nginx master pid发送USR2信号
1
kill -USR2 nginx-master-pid
此时nginx首先会将保存pid值的nginx.pid rename为nginx.pid.oldbin,然后使用新的二进制文件开启nginx
此时会有两组master和两组worker同时提供服务向旧的nginx master pid发送WINCH信号
1
kill -WINCH nginx-master-pid
旧的master收到该信号后会向旧的worker发送信息,要求他们优雅关闭-即处理完请求后退出
此时有两种情况,如果新的nginx工作正常,那么发送QUIT信号给旧的master,升级完毕
如果新的nginx工作不正常,那么可以发送HUP信号给旧的master,旧master会重新启动worker而且不会重读配置(即保持旧有的配置不变),然后发送QUIT信号给新的master要求退出,也可以直接发送TERM命令给新master,新master退出后旧master会重启worker process.
实现原理
nginx版本1.17.3
我们从源码层面看一下USER2信号和WINCH信号以及QUIT信号,nginx master如何处理,最后总结一下如何实现优雅重启或者优雅升级
可以先思考一下一些难点:
- 在操作系统层面是不允许两个进程监听同一个端口的,那么优雅升级时如何让新旧进程同时处理监听端口上的请求
- 如何让旧的worker process 不再接收请求,并且处理完当前请求后退出
nginx中信号定义宏如下:
1 | #define NGX_REOPEN_SIGNAL USR1 |
USR2信号
我们以NGX_CHANGEBIN_SIGNAL全局搜索代码,可以搜到信号处理函数为ngx_signal_handler,接受到USR2信号后处理逻辑如下:
1 | case ngx_signal_value(NGX_CHANGEBIN_SIGNAL): |
继续按ngx_change_binary搜索,可以看到在ngx_master_process_cycle中执行主要逻辑:
1 |
|
ngx_exec_new_binary函数如下:
1 | ngx_pid_t |
比较核心的点是导出所有监听句柄到NGINX=1;2;3这种变量中,另一点是重命名pid文件.接着执行execve生成新的二进制程序
那么如何处理导出的变量呢,看看NGINX的启动过程
1 | static ngx_int_t |
在该函数中会将导出的句柄全部初始化到cycle->listening中.注意使用execve时除非指定close_on_exec否则新的进程会继承旧的所有file descriptors,然后通过正常的抢锁流程即可处理请求
WINCH信号
同理,继续查看主流程代码:
1 | case ngx_signal_value(NGX_NOACCEPT_SIGNAL): |
1 | if (ngx_noaccept) { |
1 | static void |
向worker管道中发送NGX_CMD_QUIT命令,并且置exiting为1
1 | static void |
1 | static void |
关键节点是关闭监听句柄,这样有新的请求时不会分配到旧的worker.
Q:如何保证下次不会再次抢锁并且处理请求
QUIT信号
收到QUIT信号后master首先shutdown子进程,并关闭监听句柄
小结
对应于上文的两个关键问题,解决方法如下:
- 以环境变量的形式导出文件句柄,由于execve会继承句柄上下文,所以可以同时监听处理连接
- 关闭监听套接字后旧的进程不会继续处理请求