Raw log

Mon Dec 28 14:28:53 GMT 2009 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdrw000.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdrw000 "SyncdRW Rfe SyncdRW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=x;} P0 | P1 ; lwz r1,0(r2) | lwz r1,0(r2) ; sync | sync ; li r3,1 | li r3,1 ; stw r3,0(r4) | stw r3,0(r4) ; exists (0:r1=1 /\ 1:r1=1) Generated assembler _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: lwz 4,0(11) _litmus_P0_1_: sync _litmus_P0_2_: li 5,1 _litmus_P0_3_: stw 5,0(9) Test bcsdrw000 Allowed Histogram (3 states) 220465660:>0:r1=0; 1:r1=1; 229269985:>0:r1=1; 1:r1=0; 190264355:>0:r1=0; 1:r1=0; No Witnesses Positive: 0, Negative: 640000000 Condition exists (0:r1=1 /\ 1:r1=1) is NOT validated Hash=731b259b57382df5f9d906e0a8ec0dab Cycle=SyncdRW Rfe SyncdRW Rfe Relax bcsdrw000 No BCSyncdRW Safe= Time bcsdrw000 74.58 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdrw001.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdrw001 "SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=x;} P0 | P1 | P2 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; sync | sync | sync ; li r3,1 | li r3,1 | li r3,1 ; stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) ; exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1) Generated assembler _litmus_P2_0_: lwz 3,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 4,1 _litmus_P2_3_: stw 4,0(9) _litmus_P1_0_: lwz 3,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 4,1 _litmus_P1_3_: stw 4,0(9) _litmus_P0_0_: lwz 3,0(11) _litmus_P0_1_: sync _litmus_P0_2_: li 31,1 _litmus_P0_3_: stw 31,0(9) Test bcsdrw001 Allowed Histogram (7 states) 4813907:>0:r1=1; 1:r1=0; 2:r1=1; 101036982:>0:r1=0; 1:r1=0; 2:r1=1; 5882288:>0:r1=0; 1:r1=1; 2:r1=1; 7504590:>0:r1=1; 1:r1=1; 2:r1=0; 113573398:>0:r1=0; 1:r1=1; 2:r1=0; 52085813:>0:r1=0; 1:r1=0; 2:r1=0; 115103022:>0:r1=1; 1:r1=0; 2:r1=0; No Witnesses Positive: 0, Negative: 400000000 Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1) is NOT validated Hash=56ecab79b42198224f8bc0fbc64d4acc Cycle=SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe Relax bcsdrw001 No BCSyncdRW Safe= Time bcsdrw001 75.16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Results for ./src/bcsdrw002.litmus % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% PPC bcsdrw002 "SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe" {0:r2=x; 0:r4=y; 1:r2=y; 1:r4=z; 2:r2=z; 2:r4=a; 3:r2=a; 3:r4=x;} P0 | P1 | P2 | P3 ; lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) | lwz r1,0(r2) ; sync | sync | sync | sync ; li r3,1 | li r3,1 | li r3,1 | li r3,1 ; stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) | stw r3,0(r4) ; exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) Generated assembler _litmus_P3_0_: lwz 3,0(11) _litmus_P3_1_: sync _litmus_P3_2_: li 4,1 _litmus_P3_3_: stw 4,0(9) _litmus_P2_0_: lwz 4,0(11) _litmus_P2_1_: sync _litmus_P2_2_: li 5,1 _litmus_P2_3_: stw 5,0(9) _litmus_P1_0_: lwz 4,0(11) _litmus_P1_1_: sync _litmus_P1_2_: li 5,1 _litmus_P1_3_: stw 5,0(9) _litmus_P0_0_: lwz 3,0(11) _litmus_P0_1_: sync _litmus_P0_2_: li 4,1 _litmus_P0_3_: stw 4,0(9) Test bcsdrw002 Allowed Histogram (15 states) 116969:>0:r1=1; 1:r1=1; 2:r1=1; 3:r1=0; 154954:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=1; 22313955:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=0; 132387:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=1; 8052201:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=1; 173979:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=1; 49198541:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=0; 49663118:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=0; 6642321:>0:r1=0; 1:r1=1; 2:r1=1; 3:r1=0; 52476352:>0:r1=0; 1:r1=0; 2:r1=1; 3:r1=0; 7832149:>0:r1=1; 1:r1=0; 2:r1=0; 3:r1=1; 31487245:>0:r1=1; 1:r1=0; 2:r1=1; 3:r1=0; 6581959:>0:r1=1; 1:r1=1; 2:r1=0; 3:r1=0; 31869813:>0:r1=0; 1:r1=1; 2:r1=0; 3:r1=1; 53304057:>0:r1=0; 1:r1=0; 2:r1=0; 3:r1=1; No Witnesses Positive: 0, Negative: 320000000 Condition exists (0:r1=1 /\ 1:r1=1 /\ 2:r1=1 /\ 3:r1=1) is NOT validated Hash=d47df7cb95dc63e259f1c1595d42d106 Cycle=SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe SyncdRW Rfe Relax bcsdrw002 No BCSyncdRW Safe= Time bcsdrw002 89.41 $Revision: 3163 $ Parameters #ifndef SIZE_OF_TEST #define SIZE_OF_TEST 2000 #endif #ifndef NUMBER_OF_RUN #define NUMBER_OF_RUN 20000 #endif #ifndef N_EXE #define N_EXE (32 < N ? 1 : 32 / N) #endif /* gcc options: -Wall -std=gnu99 -O -pthread */ /* barrier: user */ /* tread start/join: changing */ /* memory: indirect */ /* safer: true */ /* preload: true */ /* para: self */ /* changes: false */ /* speedcheck: false */ /* proc used: 32 */ GCCOPTS="-Wall -std=gnu99 -O -pthread" LITMUSOPTS= Mon Dec 28 14:32:52 GMT 2009