[SCM] Hurd branch, master, updated. v0.9.git20220925-20-g933a1d8f

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Hurd".

The branch, master has been updated
       via  933a1d8f6240355bf066963f7fa226eefb8f1e25 (commit)
       via  18835e7576609524f3613709b579fc90b78bf24f (commit)
       via  84f8c49f12bb228e73d80ab82dba2707d3253153 (commit)
      from  c644533e2a8cd395997609f7e33b1e38c27e40f0 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 933a1d8f6240355bf066963f7fa226eefb8f1e25
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Wed Dec 21 13:22:29 2022 +0100

    S_mach_notify_new_task: Ignore notification of dead tasks
    
    In case the new task notification gets late, the task may have terminated
    already, and thus a dead name gets provided in the notification. We should
    just ignore this, otherwise the task hashing would get collisions on all
    such dead tasks ports.

commit 18835e7576609524f3613709b579fc90b78bf24f
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Wed Dec 21 13:19:46 2022 +0100

    proc: Do not deallocate input ports on error
    
    The error handling code would already deallocate them, thus leading to
    duplicate deallocation, spurious destroy, and later on port mixup.

commit 84f8c49f12bb228e73d80ab82dba2707d3253153
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Wed Dec 21 13:18:55 2022 +0100

    proc: Add task to hashes before requesting death notify
    
    In case the task dies very early and thus the notification arrives very
    early.

-----------------------------------------------------------------------

Summary of changes:
 proc/main.c |  2 +-
 proc/mgt.c  | 27 +++++++++++----------------
 2 files changed, 12 insertions(+), 17 deletions(-)


hooks/post-receive
-- 
Hurd