使用 Go 语言实现优雅的服务器重启

简介:

使用 Go 语言实现优雅的服务器重启

Go被设计为一种后台语言,它通常也被用于后端程序中。服务端程序是GO语言最常见的软件产品。在这我要解决的问题是:如何干净利落地升级正在运行的服务端程序。

image

image

目标:

  • 不关闭现有连接:例如我们不希望关掉已部署的运行中的程序。但又想不受限制地随时升级服务。

  • socket连接要随时响应用户请求:任何时刻socket的关闭可能使用户返回'连接被拒绝'的消息,而这是不可取的。

  • 新的进程要能够启动并替换掉旧的。

原理

在基于Unix的操作系统中,signal(信号)是与长时间运行的进程交互的常用方法.

  • SIGTERM: 优雅地停止进程

  • SIGHUP: 重启/重新加载进程 (例如: nginx, sshd, apache)

如果收到SIGHUP信号,优雅地重启进程需要以下几个步骤:

  1. 服务器要拒绝新的连接请求,但要保持已有的连接。

  2. 启用新版本的进程

  3. 将socket“交给”新进程,新进程开始接受新连接请求

  4. 旧进程处理完毕后立即停止。

停止接受连接请求

服务器程序的共同点:持有一个死循环来接受连接请求:

 
 
  1. for {
  2. conn, err := listener.Accept()
  3. // Handle connection
  4. }

跳出这个循环的最简单方式是在socket监听器上设置一个超时,当调用listener.SetTimeout(time.Now())后,listener.Accept()会立即返回一个timeout err,你可以捕获并处理: 

 
 
  1. for {
  2. conn, err := listener.Accept()
  3. if err != nil {
  4. if nerr, ok := err.(net.Err); ok && nerr.Timeout() {
  5. fmt.Println(“Stop accepting connections”)
  6. return
  7. }
  8. }
  9. }

注意这个操作与关闭listener有所不同。这样进程仍在监听服务器端口,但连接请求会被操作系统的网络栈排队,等待一个进程接受它们。 

启动新进程

Go提供了一个原始类型ForkExec来产生新进程.你可以与这个新进程共享某些消息,例如文件描述符或环境参数。

 
 
  1. execSpec := &syscall.ProcAttr{
      Env:   os.Environ(),
      Files: []uintptr{os.Stdin.Fd(), os.Stdout.Fd(), os.Stderr.Fd()},
    }
    fork, err := syscall.ForkExec(os.Args[0], os.Args, execSpec)
    […]

 你会发现这个进程使用完全相同的参数os.Args启动了一个新进程。 

发送socket到子进程并恢复它

正如你先前看到的,你可以将文件描述符传递到新进程,这需要一些UNIX魔法(一切都是文件),我们可以把socket发送到新进程中,这样新进程就能够使用它并接收及等待新的连接。

但fork-execed进程需要知道它必须从文件中得到socket而不是新建一个(有些兴许已经在使用了,因为我们还没断开已有的监听)。你可以按任何你希望的方法来,最常见的是通过环境变量或命令行标志。

 
 
  1. listenerFile, err := listener.File()
  2. if err != nil {
  3. log.Fatalln("Fail to get socket file descriptor:", err)
  4. }
  5. listenerFd := listenerFile.Fd()
  6.  
  7. // Set a flag for the new process start process
  8. os.Setenv("_GRACEFUL_RESTART", "true")
  9.  
  10. execSpec := &syscall.ProcAttr{
  11. Env: os.Environ(),
  12. Files: []uintptr{os.Stdin.Fd(), os.Stdout.Fd(), os.Stderr.Fd(), listenerFd},
  13. }
  14. // Fork exec the new version of your server
  15. fork, err := syscall.ForkExec(os.Args[0], os.Args, execSpec)

 然后在程序的开始处:

 
 
  1. var listener *net.TCPListener
  2. if os.Getenv("_GRACEFUL_RESTART") == "true" {
  3. // The second argument should be the filename of the file descriptor
  4. // however, a socker is not a named file but we should fit the interface
  5. // of the os.NewFile function.
  6. file := os.NewFile(3, "")
  7. listener, err := net.FileListener(file)
  8. if err != nil {
  9. // handle
  10. }
  11. var bool ok
  12. listener, ok = listener.(*net.TCPListener)
  13. if !ok {
  14. // handle
  15. }
  16. } else {
  17. listener, err = newListenerWithPort(12345)
  18. }

文件描述没有被随机的选择为3,这是因为uintptr的切片已经发送了fork,监听获取了索引3。留意隐式声明问题

最后一步,等待旧服务连接停止

到此为止,就这样,我们已经将其传到另一个正在正确运行的进程,对于旧服务器的最后操作是等其连接关闭。由于标准库里提供了sync.WaitGroup结构体,用go实现这个功能很简单。

每次接收一个连接,在WaitGroup上加1,然后,我们在它完成时将计数器减一:

 
 
  1. for {
  2. conn, err := listener.Accept()
  3.  
  4. wg.Add(1)
  5. go func() {
  6. handle(conn)
  7. wg.Done()
  8. }()
  9. }

至于等待连接的结束,你仅需要wg.Wait(),因为没有新的连接,我们等待wg.Done()已经被所有正在运行的handler调用。

Bonus: 不要无限制等待,给定限量的时间

 
 
  1. timeout := time.NewTimer(time.Minute)
  2. wait := make(chan struct{})
  3. go func() {
  4. wg.Wait()
  5. wait <- struct{}{}
  6. }()
  7.  
  8. select {
  9. case <-timeout.C:
  10. return WaitTimeoutError
  11. case <-wait:
  12. return nil
  13. }

完整的示例

这篇文章中的代码片段都是从这个完整的示例中提取的:https://github.com/Scalingo/go-graceful-restart-example

结论

socket传递配合ForkExec使用确实是一种无干扰更新进程的有效方式,在最大时间上,新的连接会等待几毫秒——用于服务的启动和恢复socket,但这个时间很短。

原文发布时间:2014-12-26

本文来自云栖合作伙伴“linux中国”

目录
相关文章
|
15天前
|
Go
go语言中的数据类型
go语言中的数据类型
13 0
|
20天前
|
Go 开发者
掌握Go语言:Go语言结构体,精准封装数据,高效管理实体对象(22)
掌握Go语言:Go语言结构体,精准封装数据,高效管理实体对象(22)
|
20天前
|
安全 Go
掌握Go语言:Go语言通道,并发编程的利器与应用实例(20)
掌握Go语言:Go语言通道,并发编程的利器与应用实例(20)
|
20天前
|
存储 缓存 安全
掌握Go语言:Go语言中的字典魔法,高效数据检索与应用实例解析(18)
掌握Go语言:Go语言中的字典魔法,高效数据检索与应用实例解析(18)
|
20天前
|
Go
使用Go语言发邮件
使用Go语言发邮件
20 2
|
20天前
|
存储 安全 Go
掌握Go语言:Go语言类型转换,无缝处理数据类型、接口和自定义类型的转换细节解析(29)
掌握Go语言:Go语言类型转换,无缝处理数据类型、接口和自定义类型的转换细节解析(29)
|
17小时前
|
程序员 Go API
【Go语言快速上手(二)】 分支与循环&函数讲解
【Go语言快速上手(二)】 分支与循环&函数讲解
|
19小时前
|
Go
Golang深入浅出之-Go语言基础语法:变量声明与赋值
【4月更文挑战第20天】本文介绍了Go语言中变量声明与赋值的基础知识,包括使用`var`关键字和简短声明`:=`的方式,以及多变量声明与赋值。强调了变量作用域、遮蔽、初始化与零值的重要性,并提醒读者注意类型推断时的一致性。了解这些概念有助于避免常见错误,提高编程技能和面试表现。
7 0
|
20小时前
|
编译器 Go 开发者
Go语言入门|包、关键字和标识符
Go语言入门|包、关键字和标识符
8 0
|
2天前
|
数据采集 存储 Go
使用Go语言和chromedp库下载Instagram图片:简易指南
Go语言爬虫示例使用chromedp库下载Instagram图片,关键步骤包括设置代理IP、创建带代理的浏览器上下文及执行任务,如导航至用户页面、截图并存储图片。代码中新增`analyzeAndStoreImage`函数对图片进行分析和分类后存储。注意Instagram的反爬策略可能需要代码适时调整。
使用Go语言和chromedp库下载Instagram图片:简易指南