diff options
| author | 2024-05-28 18:23:47 +0100 | |
|---|---|---|
| committer | 2024-05-30 17:20:17 +0000 | |
| commit | 7afcee1180986d8b87773d173af7ecd63859ffe3 (patch) | |
| tree | 19b1457fa895ee6354b55b13990cde9e7474e47e /compiler/optimizing/optimizing_compiler_stats.h | |
| parent | 6f208b3e645c82ce37eee7a8703adb9bb2109a71 (diff) | |
Kill the child process when the parent process dies.
When we have a process hierarchy, such as artd->odrefresh->dex2oat, we
want to be able to kill a subtree. For example, if we kill odrefresh, we
want dex2oat to be killed as well; if we kill artd, we want both
odrefresh and dex2oat to be killed as well. This can be achieved by
PR_SET_PDEATHSIG.
Bug: 311377497
Test: Kill odrefresh and see dex2oat killed.
Change-Id: I28cc271f5c37b9ad50bee179eb9b211cb3545a2f
Diffstat (limited to 'compiler/optimizing/optimizing_compiler_stats.h')
0 files changed, 0 insertions, 0 deletions