diff options
| author | Daniel Colascione <dancol@google.com> | 2018-11-05 16:22:05 +0300 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2018-11-20 19:50:00 +0300 |
| commit | c969eb830175f42b6cc0c8e80f6fce452fd75788 (patch) | |
| tree | 715766ff20b1b93fb88c8e4ca649ab3d415d870d /Documentation/filesystems/ext3.txt | |
| parent | 1428cc0e0c36de4f32b3de38ae497394dca6972b (diff) | |
| download | linux-c969eb830175f42b6cc0c8e80f6fce452fd75788.tar.xz | |
Document /proc/pid PID reuse behavior
State explicitly that holding a /proc/pid file descriptor open does
not reserve the PID. Also note that in the event of PID reuse, these
open file descriptors refer to the old, now-dead process, and not the
new one that happens to be named the same numeric PID.
Signed-off-by: Daniel Colascione <dancol@google.com>
Acked-by: Michal Hocko <mhocko@suse.com>
Reviewed-by: Mike Rapoport <rppt@linux.ibm.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/filesystems/ext3.txt')
0 files changed, 0 insertions, 0 deletions