Applied, thanks!
Damien Zammit, le mer. 16 août 2023 01:49:24 +0000, a ecrit:
> ---
> kern/sched_prim.c | 2 ++
> 1 file changed, 2 insertions(+)
>
> diff --git a/kern/sched_prim.c b/kern/sched_prim.c
> index 5def77d4..bc7befe8 100644
> --- a/kern/sched_prim.c
> +++ b/kern/sched_prim.c
> @@ -1793,7 +1793,9 @@ retry:
> */
> if ((new_thread = (thread_t)*threadp)!= THREAD_NULL) {
> *threadp = (volatile thread_t) THREAD_NULL;
> + thread_lock(new_thread);
> thread_setrun(new_thread, FALSE);
> + thread_unlock(new_thread);
> }
>
> counter(c_idle_thread_block++);
> --
> 2.40.1
>
>
>
--
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.
