wassname/ray
1
0
Fork 0
mirror of https://github.com/wassname/ray.git synced 2026-06-28 13:37:39 +08:00
Code Issues Packages Projects Releases Wiki Activity

Kill child processes when parent dies, and die on fatal errors (#265)

Browse Source
This commit is contained in:
mehrdadn
2016-07-15 02:10:26 +03:00
committed by Robert Nishihara
parent a5d8138f88
commit 06ceecf6f5
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/python/ray/__init__.py
+8
View File
@@ -6,6 +6,14 @@ WORKER_MODE = 1
SHELL_MODE = 2
PYTHON_MODE = 3
import ctypes
# Windows only
if hasattr(ctypes, "windll"):
# Makes sure that all child processes die when we die
# Also makes sure that fatal crashes result in process termination rather than an error dialog (the latter is annoying since we have a lot of processes)
# This is done by associating all child processes with a "job" object that imposes this behavior.
(lambda kernel32: (lambda job: (lambda n: kernel32.SetInformationJobObject(job, 9, "\0" * 17 + chr(0x8 | 0x4 | 0x20) + "\0" * (n - 18), n))(0x90 if ctypes.sizeof(ctypes.c_void_p) > ctypes.sizeof(ctypes.c_int) else 0x70) and kernel32.AssignProcessToJobObject(job, ctypes.c_void_p(kernel32.GetCurrentProcess())))(ctypes.c_void_p(kernel32.CreateJobObjectW(None, None))) if kernel32 is not None else None)(ctypes.windll.kernel32)
import config
import libraylib as lib
import serialization