Python程序中不同的重启机制-python中super().__init_

[[189945]]

分析典型案例：

Celery 分布式异步任务框架
Gunicorn Web容器

之所以挑这两个，不仅仅是应用广泛，而且两个的进程模型比较类似，都是Master、Worker的形式，在热重启上思路和做法又基本不同，比较有参考意义

知识点：

atexit
os.execv
模块共享变量
信号处理
sleep原理:select
文件描述符共享

这几个知识点不难，区别只在于Celery和Gunicorn的应用方式。如果脑海中有这样的知识点，这篇文章也就是开阔下视野而已。。。

Celery和Gunicorn都会在接收到HUP信号时，进行热重启操作

Celery的重启：关旧Worker，然后execv重新启动整个进程

Gunicorn的重启：建立新Worker，再关旧Worker，Master不动

下面具体的看下它们的操作和核心代码。

对于Celery：

def _reload_current_worker(): 
    platforms.close_open_fds([ 
        sys.__stdin__, sys.__stdout__, sys.__stderr__, 
    ]) 
    os.execv(sys.executable, [sys.executable] + sys.argv) 
  
  
   
def install_worker_restart_handler(worker, sig='SIGHUP'): 
    def restart_worker_sig_handler(*args): 
        """Signal handler restarting the current python program.""" 
        import atexit 
        atexit.register(_reload_current_worker) 
        from celery.worker import state 
        state.should_stop = EX_OK 
    platforms.signals[sig] = restart_worker_sig_handler

HUP上挂的restart_worker_sig_handler 就做了两件事：

注册atexit函数
设置全局变量

考虑到这个执行顺序，应该就能明白Celery 是Master和Worker都退出了，崭新呈现。。

看过APUE的小伙伴，应该比较熟悉 atexit 了，这里也不多说。os.execv还挺有意思，根据Python文档，这个函数会执行一个新的函数用于替换掉当前进程，在Unix里，新的进程直接把可执行程序读进进程，保留同样的PID。

在Python os标准库中，这是一整套基本一毛一样的函数，也许应该叫做函数族了：

os. execl ( path , arg0 , arg1 , … )
os. execle ( path , arg0 , arg1 , … , env )
os. execlp ( file , arg0 , arg1 , … )
os. execlpe ( file , arg0 , arg1 , … , env )
os. execv ( path , args )
os. execve ( path , args , env )
os. execvp ( file , args )
os. execvpe ( file , args , env )

以exec开头，后缀中的l和v两种，代表命令行参数是否是变长的(前者不可变),p代表是否使用PATH定位程序文件，e自然就是在新进程中是否使用ENV环境变量了

然后给worker的state.should_stop变量设置成False。。。模块共享变量这个是 Python FAQ里提到的一种方便的跨模块消息传递的方式，运用了Python module的单例。我们都知道Python只有一个进程，所以单例的变量到处共享

而should_stop这个变量也是简单粗暴，worker在执行任务的循环中判断这个变量，即执行异步任务->查看变量->获得异步任务->继续执行的循环中，如果True就抛出一个【应该关闭】异常，worker由此退出。

这里面有一个不大不小的坑是：信号的发送对于外部的工具，例如kill，是非阻塞的，所以当HUP信号被发出后，worker可能并没有完成重启(等待正在执行的旧任务完成才退出和新建)，因此如果整个系统中只使用HUP信号挨个灰度各个机器，那么很有可能出现全部worker离线的情况

接下来我们看看Gunicorn的重启机制：

信号实质上挂在在Arbiter上，Arbiter相当于master，守护和管理worker的，管理各种信号，事实上它init的时候就给自己起好Master的名字了，打印的时候会打出来：

class Arbiter(object): 
    def __init__(self, app): 
        #一部分略 
        self.master_name = "Master"    
    def handle_hup(self): 
        """\ 
        HUP handling. 
        - Reload configuration 
        - Start the new worker processes with a new configuration 
        - Gracefully shutdown the old worker processes 
        """ 
        self.log.info("Hang up: %s", self.master_name) 
        self.reload()

这里的函数文档里写了处理HUP信号的过程了，简单的三行：

读取配置
开启新worker
优雅关闭旧Worker

reload函数的实现本身没什么复杂的，因为Gunicorn 是个Web容器，所以master里面是没有业务逻辑的，worker都是master fork出来的，fork是可以带着文件描述符(自然也包括socket)过去的。这也是Gunicorn可以随意增减worker的根源

master只负责两件事情：

拿着被Fork的worker的PID，以供关闭和处理
1秒醒来一次，看看有没有worker超时了需要被干掉

while True: 
    sig = self.SIG_QUEUE.pop(0) if len(self.SIG_QUEUE) else None 
    if sig is None: 
        self.sleep() 
        self.murder_workers() 
        self.manage_workers() 
        continue 
    else: 
        #处理信号

在sleep函数中，使用了select.select+timeout实现，和time.sleep的原理是一样的，但不同之处在于select监听了自己创建的一个PIPE，以供wakeup立即唤醒

总结

以上就介绍了Celery和Gunicorn的重启机制差异。

从这两者的设计来看，可以理解他们这样实现的差异。

Celery是个分布式、异步的任务队列，任务信息以及排队信息实质上是持久化在外部的MQ中的，例如RabbitMQ和redis，其中的持久化方式，这应该另外写一篇《高级消息队列协议AMQP介绍》，就不在这里说了，对于Celery的Master和Worker来说，可以说是完全没有状态的。由Celery的部署方式也可以知道，近似于一个服务发现的框架，下线的Worker不会对整个分布式系统带来任何影响。唯一的例外可能是Beat组件，作为Celery定时任务的节拍器，要做少许改造以适配分布式的架构，并且实现Send Once功能。

Gunicorn作为Python的Web容器之一，会接收用户的请求，虽然我们通常都会使用nginx放在Gunicorn前方做反向代理，通常也可以使用nginx来做upstream offline、online的热重启，但那就不是一个层次的事情了

这里回头来再吐槽Golang

项目中使用到了Golang的一个Web框架，Golang在1.8中也已经支持Http.Server的热关闭了，但是一是因为刚出不就(竟然现在才出)，二是因为Golang的进程模型和Python大相近庭，go协程嘛，目前还没有看到那个Web框架中真正实现Gunicorn类似的热重启。

Golang 在fcgi的操作应该就类似Python之于wsgi了。。我感觉我是选择错了一个web框架

也没看见有人用syscall.Exec来用一下execve系统调用，Golang也没看见有人用socket REUSE。。作为一个懒惰的人感觉很蛋疼。。。

先让nginx大法做这件事情好了。