SIGINT 后保存工作

Question

我有一个需要很长时间才能完成的程序。我想 它能够捕获 SIGINT (ctrl-c) 并调用 self.save_work() 方法。

就目前情况而言，我的 signal_hander() 无法正常工作 当程序到达 signal_handler() 时，self 尚未定义。

我如何设置它以便在 SIGINT 之后调用 self.save_work ？

#!/usr/bin/env python
import signal 

def signal_handler(signal, frame):    
    self.save_work()   # Does not work
    exit(1)
signal.signal(signal.SIGINT, signal_handler)

class Main(object):
    def do_stuff(self):
        ...
    def save_work(self):
        ...
    def __init__(self):
        self.do_stuff()
        self.save_work()

if __name__=='__main__':
    Main()

Answer 1

如果您只想捕获 ctr+c 那么您可以捕获 KeyboardInterrupt 例外：

class Main(object):
    def do_stuff(self):
        ...
    def save_work(self):
        ...
    def __init__(self):
        try:
            self.do_stuff()
        except KeyboardInterrupt:
            pass # Or print helpful info
        self.save_work()

我并不认为这是一个好的设计。看来您需要使用函数而不是构造函数。

Answer 2

通常，“工作”涉及某种大循环。要驯服循环并防止其在未知步骤中中断，您可以使用以下上下文管理器：

import signal

class GracefulInterruptHandler(object):

    def __init__(self, sig=signal.SIGINT):
        self.sig = sig

    def __enter__(self):

        self.interrupted = False
        self.released = False

        self.original_handler = signal.getsignal(self.sig)

        def handler(signum, frame):
            self.release()
            self.interrupted = True

        signal.signal(self.sig, handler)

        return self

    def __exit__(self, type, value, tb):
        self.release()

    def release(self):

        if self.released:
            return False

        signal.signal(self.sig, self.original_handler)

        self.released = True

        return True

使用：

import time

/// do stuff:
with GracefulInterruptHandler() as h:
    for i in xrange(1000):
        print "..."
        time.sleep(1)
        if h.interrupted:
            print "interrupted!"
            time.sleep(5)
            break

save_work()

从此处： https://gist.github.com/2907502

Answer 3

import signal

def signal_handler(signal, frame):    
   #do some stuff

def main():
   #do some more stuff


if __name__=='__main__':
    signal.signal(signal.SIGINT, signal_handler)
    main()