[SCM] Hurd branch, master, updated. v0.9.git20230912-11-g5f25b24d

[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  5f25b24d6c6170cc366d9b71f99d741c4cfbc857 (commit)
       via  9e419ee8f47028e8f58c456b6456c348f7f0bcfa (commit)
      from  39a3718b4e5f9c3d2977dc89a8792fd8b6b8e572 (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 5f25b24d6c6170cc366d9b71f99d741c4cfbc857
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Nov 26 21:01:49 2023 +0100

    libports: Force threads to wake up periodically
    
    Quiescence support in port-deref-deferred.c assumes that all threads will
    sooner or later go through a quiescent state (because it finished processing
    a message). But that is not true: proc doesn't set a thread timeout, and
    thus some threads can stay indefinitely stuck in receiving messages. And
    thus the deferred dereferencing used by ports_destroy_right never gets
    achieved. This accumulation can be seen by running:
    
    while true ; do echo $(echo -n $(echo a)) > /dev/null ; done
    
    while running vminfo 4 | wc -l in parallel.
    
    Making threads get out of mach_msg at least periodically allows
    unstucking quiescence generations.

commit 9e419ee8f47028e8f58c456b6456c348f7f0bcfa
Author: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date:   Sun Nov 26 21:00:45 2023 +0100

    libports: Add more assertion
    
    flip_generations needs to make sure it is not throwing away a list of
    objects to be released.

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

Summary of changes:
 libports/manage-multithread.c  | 13 ++++++++-----
 libports/port-deref-deferred.c |  2 ++
 2 files changed, 10 insertions(+), 5 deletions(-)


hooks/post-receive
-- 
Hurd