classification
Title: SharedMemoryManager should relase its resources when its parent process dies
Type: Stage: patch review
Components: Library (Lib) Versions:
process
Status: open Resolution:
Dependencies: Superseder:
Assigned To: Nosy List: davin, pierreglaser, pitrou
Priority: normal Keywords: patch

Created on 2019-05-20 20:00 by pierreglaser, last changed 2019-05-20 20:21 by pierreglaser.

Pull Requests
URL Status Linked Edit
PR 13451 open pierreglaser, 2019-05-20 20:21
Messages (1)
msg342948 - (view) Author: Pierre Glaser (pierreglaser) * Date: 2019-05-20 20:00
The new multiprocessing.managers.SharedMemoryManager spawns a server that delivers memory segments to a parent Python process. If the parent process terminates unexpectedly, we should now make the manager process notice this termination it using the recent multiprocessing.parent_process object (that comes with a sentinel), and shut it down.
History
Date User Action Args
2019-05-20 20:21:56pierreglasersetkeywords: + patch
stage: patch review
pull_requests: + pull_request13360
2019-05-20 20:04:51xtreaksetnosy: + davin
2019-05-20 20:00:33pierreglasercreate