A NOTE has been added to this issue. ====================================================================== https://austingroupbugs.net/view.php?id=1585 ====================================================================== Reported By: steffen Assigned To: ====================================================================== Project: 1003.1(2016/18)/Issue7+TC2 Issue ID: 1585 Category: Shell and Utilities Type: Enhancement Request Severity: Editorial Priority: normal Status: New Name: steffen Organization: User Reference: Section: Vol. 3: Shell and Utilities Page Number: 2879 Line Number: 94942 Interp Status: --- Final Accepted Text: ====================================================================== Date Submitted: 2022-05-14 22:05 UTC Last Modified: 2022-05-16 08:21 UTC ====================================================================== Summary: kill - add -j option to avoid PID reuse race ======================================================================
---------------------------------------------------------------------- (0005835) geoffclare (manager) - 2022-05-16 08:21 https://austingroupbugs.net/view.php?id=1585#c5835 ---------------------------------------------------------------------- As far as I can see, the only time this -j option would be useful is if an application wants to send a signal just to a process group leader without sending it to the other processes in the group. This seems like a very rare thing for an application to need to do. It would not be useful in the other two possible cases, which are: 1. The signal is to be sent to the whole process group. In this case, the application can just use "kill JOB". 2. The signal is to be sent to one or more of the processes comprising a process group, but excluding the process group leader. In this case the use of -j does not solve the problem, as any of those process IDs could have been reused even though the leader is still running (and thus the job still exists). Anyway, a discussion of the technical merits of the proposal is pointless unless there is a shell which already implements this kill -j option. None of the shells I have available do. Does anybody know of one that does? If not, this request should be rejected as invention. Issue History Date Modified Username Field Change ====================================================================== 2022-05-14 22:05 steffen New Issue 2022-05-14 22:05 steffen Name => steffen 2022-05-14 22:05 steffen Section => Vol. 3: Shell and Utilities 2022-05-14 22:05 steffen Page Number => 2879 2022-05-14 22:05 steffen Line Number => 94942 2022-05-16 08:21 geoffclare Note Added: 0005835 ======================================================================
