[ltt-dev] [PATCH v2 3/3] more interesting late_dec variant

[Mathieu Desnoyers]

* Paolo Bonzini (pbonzini at redhat.com) wrote:
> This patch changes the futex_progress_late_dec model to trigger a different
> failure, a reordering of the waiting[] assignments vs. the gp_futex
> assignment.

I'll rework this patch to create a supplementary error injection
instead (committed and pushed):

commit 37acf64d444bf756e8f61e4eaa2ea96fadf84635
Author: Mathieu Desnoyers <mathieu.desnoyers at efficios.com>
Date:   Wed Aug 17 06:05:42 2011 -0400

    futex model: Add futex_progress_inverted_waiting_vs_gp_futex error injection
    
    Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers at efficios.com>


Thanks,

Mathieu

> ---
>  futex-wakeup/futex.spin |    8 +++-----
>  1 files changed, 3 insertions(+), 5 deletions(-)
> 
> diff --git a/futex-wakeup/futex.spin b/futex-wakeup/futex.spin
> index 44acd7e..2294b2b 100644
> --- a/futex-wakeup/futex.spin
> +++ b/futex-wakeup/futex.spin
> @@ -113,6 +113,9 @@ restart:
>                  :: else ->
>  		        skip;
>  		fi;
> +#ifdef INJ_LATE_DEC
> +		gp_futex = -1;
> +#endif
>  
>  		if
>  		:: (in_registry[0] == 1 && queue[0] == gp) ->
> @@ -130,15 +133,10 @@ restart:
>  		if
>  		:: (in_registry[0] == 0 && in_registry[1] == 0) ->
>  progress:
> -#ifndef INJ_LATE_DEC
>  			gp_futex = 0;
> -#endif
>  			gp = !gp;
>  			goto restart;
>  		:: else ->
> -#ifdef INJ_LATE_DEC
> -			gp_futex = -1;
> -#endif
>  			futex_wake = gp_futex + 1;
>  			do
>  			:: 1 ->
> -- 
> 1.7.6
> 
> 
> _______________________________________________
> ltt-dev mailing list
> ltt-dev at lists.casi.polymtl.ca
> http://lists.casi.polymtl.ca/cgi-bin/mailman/listinfo/ltt-dev
> 

-- 
Mathieu Desnoyers
Operating System Efficiency R&D Consultant
EfficiOS Inc.
http://www.efficios.com