diff options
| author | Josh Gao <jmgao@google.com> | 2019-07-25 13:54:23 -0700 |
|---|---|---|
| committer | Josh Gao <jmgao@google.com> | 2019-07-25 14:08:58 -0700 |
| commit | 20ab1e34273aa179053f5dc93e70c0191a39e91b (patch) | |
| tree | 1b7f76e12c990dc5df80239700c768d106bbb879 /startop/scripts/lib/cmd_utils.py | |
| parent | 390d9e6a1806626eb521d55a36b1578d28714cc8 (diff) | |
SharedMemory: clear file descriptor when explicitly closed.
We run the Cleaner in close, but after the fix in commit 6ca916a6, this
no longer clears the value stored in the FileDescriptor, which means
that subsequent operations on an explicitly closed SharedMemory will
operate on a bogus fd number. Clearing the FileDescriptor value in close
is sufficient, because Cleaner.clean is idempotent, and the only other
case where it executes is when the FileDescriptor is phantom reachable,
which means no one can access it to get its integer value.
Bug: http://b/138392115
Bug: http://b/138323667
Test: treehugger
Change-Id: I8bdb4c745466532a0712976416184c53fcf0dbf6
(cherry picked from commit a7641806ddf1099239632d53c629c062ff2168f4)
Diffstat (limited to 'startop/scripts/lib/cmd_utils.py')
0 files changed, 0 insertions, 0 deletions