Ответ 1
Ранее принятое решение имеет условия гонки и не работает с функциями map
и async
.
Правильный способ обработки Ctrl + C/ SIGINT
с помощью multiprocessing.Pool
:
- Перед тем, как будет создан процесс
Pool
, заставьте процесс игнорироватьSIGINT
. Таким образом, созданные дочерние процессы наследуют обработчикSIGINT
. - Восстановить исходный обработчик
SIGINT
в родительском процессе после созданияPool
. - Используйте
map_async
иapply_async
вместо блокировкиmap
иapply
. - Подождите по результатам с таймаутом, потому что блокировка по умолчанию ждет игнорирования всех сигналов. Это ошибка Python https://bugs.python.org/issue8296.
Объединяя это:
#!/bin/env python
from __future__ import print_function
import multiprocessing
import os
import signal
import time
def run_worker(delay):
print("In a worker process", os.getpid())
time.sleep(delay)
def main():
print("Initializng 2 workers")
original_sigint_handler = signal.signal(signal.SIGINT, signal.SIG_IGN)
pool = multiprocessing.Pool(2)
signal.signal(signal.SIGINT, original_sigint_handler)
try:
print("Starting 2 jobs of 5 seconds each")
res = pool.map_async(run_worker, [5, 5])
print("Waiting for results")
res.get(60) # Without the timeout this blocking call ignores all signals.
except KeyboardInterrupt:
print("Caught KeyboardInterrupt, terminating workers")
pool.terminate()
else:
print("Normal termination")
pool.close()
pool.join()
if __name__ == "__main__":
main()
Как заметил Яков Шкларов, есть окно времени между игнорированием сигнала и неименованием его в родительском процессе, в течение которого сигнал может быть потерян. Использование pthread_sigmask
вместо того, чтобы временно заблокировать доставку сигнала в родительском процессе, не позволит потерять сигнал, однако он недоступен в Python-2.