Re: [PATCH gnumach] pmap: Add assert_splsched calls to ensure at SPL7

[Samuel Thibault]

Reworked a differnt way :)

Damien Zammit, le ven. 23 févr. 2024 08:14:32 +0000, a ecrit:
> ---
>  i386/intel/pmap.c | 2 ++
>  1 file changed, 2 insertions(+)
> 
> diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
> index e43b06c1..cf075a43 100644
> --- a/i386/intel/pmap.c
> +++ b/i386/intel/pmap.c
> @@ -3114,6 +3114,7 @@ void process_pmap_updates(pmap_t my_pmap)
>       pmap_t                  pmap;
>  
>       update_list_p = &cpu_update_list[my_cpu];
> +     assert_splsched();
>       simple_lock_nocheck(&update_list_p->lock);
>  
>       for (j = 0; j < update_list_p->count; j++) {
> @@ -3128,6 +3129,7 @@ void process_pmap_updates(pmap_t my_pmap)
>       }
>       update_list_p->count = 0;
>       cpu_update_needed[my_cpu] = FALSE;
> +     assert_splsched();
>       simple_unlock_nocheck(&update_list_p->lock);
>  }
>  
> -- 
> 2.43.0
> 
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.