python - Pythonでウォッチドッグタイマーを実装するには?

Question

Python で単純なウォッチドッグ タイマーを実装したいと思います。使用例は 2 つあります。

• xウォッチドッグは、関数が秒以上実行されないようにします
• ウォッチドッグは、特定の定期的に実行される関数が実際に少なくとも毎秒実行されることを保証しyます

それ、どうやったら出来るの？

Answer 1

これに対する自分のソリューションを公開するだけです：

from threading import Timer

class Watchdog(Exception):
    def __init__(self, timeout, userHandler=None):  # timeout in seconds
        self.timeout = timeout
        self.handler = userHandler if userHandler is not None else self.defaultHandler
        self.timer = Timer(self.timeout, self.handler)
        self.timer.start()

    def reset(self):
        self.timer.cancel()
        self.timer = Timer(self.timeout, self.handler)
        self.timer.start()

    def stop(self):
        self.timer.cancel()

    def defaultHandler(self):
        raise self

x関数が数秒以内に終了することを確認する場合の使用法:

watchdog = Watchdog(x)
try:
  # do something that might take too long
except Watchdog:
  # handle watchdog error
watchdog.stop()

定期的に何かを実行し、少なくとも毎秒実行されるようにしたい場合の使用法y:

import sys

def myHandler():
  print "Whoa! Watchdog expired. Holy heavens!"
  sys.exit()

watchdog = Watchdog(y, myHandler)

def doSomethingRegularly():
  # make sure you do not return in here or call watchdog.reset() before returning
  watchdog.reset()

Answer 2

signal.alarm()プログラムのタイムアウトを設定し、メインループでそれを呼び出して、許容できる 2 つの時間のうち大きい方に設定できます。

import signal
while True:
    signal.alarm(10)
    infloop()