2013-04-23 18:51:17 +02:00
|
|
|
from __future__ import absolute_import
|
|
|
|
|
2013-01-29 22:19:05 +01:00
|
|
|
import time
|
|
|
|
import ctypes
|
2013-01-29 21:47:53 +01:00
|
|
|
import threading
|
|
|
|
|
|
|
|
# Based on http://code.activestate.com/recipes/483752/
|
|
|
|
|
|
|
|
class TimeoutExpired(Exception):
|
|
|
|
'''Exception raised when a function times out.'''
|
|
|
|
def __str__(self):
|
|
|
|
return 'Function call timed out.'
|
|
|
|
|
|
|
|
def timeout(timeout, func, *args, **kwargs):
|
|
|
|
'''Call the function in a separate thread.
|
|
|
|
Return its return value, or raise an exception,
|
2013-01-29 22:19:05 +01:00
|
|
|
within approximately 'timeout' seconds.
|
2013-01-29 21:47:53 +01:00
|
|
|
|
2013-01-29 22:19:05 +01:00
|
|
|
The function may receive a TimeoutExpired exception
|
|
|
|
anywhere in its code, which could have arbitrary
|
|
|
|
unsafe effects (resources not released, etc.).
|
|
|
|
It might also fail to receive the exception and
|
|
|
|
keep running in the background even though
|
|
|
|
timeout() has returned.
|
2013-01-29 21:47:53 +01:00
|
|
|
|
|
|
|
This may also fail to interrupt functions which are
|
|
|
|
stuck in a long-running primitive interpreter
|
|
|
|
operation.'''
|
|
|
|
|
|
|
|
class TimeoutThread(threading.Thread):
|
|
|
|
def __init__(self):
|
|
|
|
threading.Thread.__init__(self)
|
|
|
|
self.result = None
|
|
|
|
self.exn = None
|
|
|
|
|
|
|
|
# Don't block the whole program from exiting
|
|
|
|
# if this is the only thread left.
|
|
|
|
self.daemon = True
|
|
|
|
|
|
|
|
def run(self):
|
|
|
|
try:
|
|
|
|
self.result = func(*args, **kwargs)
|
|
|
|
except BaseException, e:
|
|
|
|
self.exn = e
|
|
|
|
|
2013-01-29 22:19:05 +01:00
|
|
|
def raise_async_timeout(self):
|
|
|
|
# Called from another thread.
|
|
|
|
# Attempt to raise a TimeoutExpired in the thread represented by 'self'.
|
|
|
|
tid = ctypes.c_long(self.ident)
|
|
|
|
result = ctypes.pythonapi.PyThreadState_SetAsyncExc(
|
|
|
|
tid, ctypes.py_object(TimeoutExpired))
|
|
|
|
if result > 1:
|
|
|
|
# "if it returns a number greater than one, you're in trouble,
|
|
|
|
# and you should call it again with exc=NULL to revert the effect"
|
|
|
|
#
|
|
|
|
# I was unable to find the actual source of this quote, but it
|
|
|
|
# appears in the many projects across the Internet that have
|
|
|
|
# copy-pasted this recipe.
|
|
|
|
ctypes.pythonapi.PyThreadState_SetAsyncExc(tid, None)
|
|
|
|
|
2013-01-29 21:47:53 +01:00
|
|
|
thread = TimeoutThread()
|
|
|
|
thread.start()
|
|
|
|
thread.join(timeout)
|
|
|
|
|
|
|
|
if thread.isAlive():
|
2013-01-29 22:19:05 +01:00
|
|
|
# Gamely try to kill the thread, following the dodgy approach from
|
|
|
|
# http://stackoverflow.com/questions/323972/is-there-any-way-to-kill-a-thread-in-python
|
|
|
|
#
|
|
|
|
# We need to retry, because an async exception received while the
|
|
|
|
# thread is in a system call is simply ignored.
|
|
|
|
for i in xrange(10):
|
|
|
|
thread.raise_async_timeout()
|
|
|
|
time.sleep(0.1)
|
|
|
|
if not thread.isAlive():
|
|
|
|
break
|
2013-01-29 21:47:53 +01:00
|
|
|
raise TimeoutExpired
|
2013-01-29 22:19:05 +01:00
|
|
|
|
2013-01-29 21:47:53 +01:00
|
|
|
if thread.exn:
|
|
|
|
raise thread.exn
|
|
|
|
return thread.result
|