Update the Mnemonics query menu label

scripts/Queries/Faults.pm

@@ -30,7 +30,7 @@ JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.dat
 JOIN result_GenericExperimentMessage r ON r.pilot_id = g.pilot_id
 JOIN fsppilot p ON r.pilot_id = p.id
 LEFT JOIN objdump o ON o.variant_id = v.id AND o.instr_address = p.injection_instr_absolute
-WHERE v.variant = '$experiment'$filters
+WHERE t.accesstype = 'R' AND v.variant = '$experiment'$filters
 GROUP BY benchmark, resulttype, p.injection_instr_absolute
 ORDER BY benchmark, resulttype, SUM(t.time2 - t.time1 + 1) DESC;";
 

scripts/Queries/Mnemonics.pm

@@ -36,7 +36,7 @@ COUNT(DISTINCT t.instr2, t.data_physical_address) AS count
 FROM variant v
 JOIN trace t ON v.id = t.variant_id$filter_joins
 JOIN objdump o ON o.variant_id = v.id AND o.instr_address = t.instr2_absolute
-WHERE v.variant = '$experiment'$filters
+WHERE t.accesstype = 'R' AND v.variant = '$experiment'$filters
 GROUP BY mnemonic
 ORDER BY count DESC;";
 

scripts/Queries/Results.pm

@@ -23,7 +23,7 @@ JOIN trace t ON v.id = t.variant_id
 JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_physical_address = t.data_physical_address
 JOIN result_GenericExperimentMessage r ON r.pilot_id = g.pilot_id
 JOIN fsppilot p ON r.pilot_id = p.id
-WHERE v.variant = '$experiment'$extra
+WHERE t.accesstype = 'R' AND v.variant = '$experiment'$extra
 GROUP BY v.id, resulttype
 ORDER BY variant, benchmark, resulttype;";
 

scripts/Queries/ResultsData.pm

@@ -25,6 +25,12 @@ sub query {
     # the number of injected bits.
     # For a single byte pilot (e.g., uint8 variable), the faultspace area
     # would be inflated by x8 (8 possible bits to inject).
+    #
+    # This is the inject-on-read model: only reads are injected (write
+    # faults are covered by equivalence, because a write fault only
+    # materializes if the value is read afterwards), so the write rows in
+    # the trace (and the single write row in fspgroup that BasicPruner.cc
+    # inserts) are excluded.
     my $querystring = "SELECT
 benchmark, resulttype, SUM(t.time2 - t.time1 + 1) AS faults
 FROM variant v
@@ -32,7 +38,7 @@ JOIN trace t ON v.id = t.variant_id
 JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_physical_address = t.data_physical_address
 JOIN result_GenericExperimentMessage r ON r.pilot_id = g.pilot_id
 JOIN fsppilot p ON r.pilot_id = p.id
-WHERE v.variant = '$experiment'$extra
+WHERE t.accesstype = 'R' AND v.variant = '$experiment'$extra
 GROUP BY v.id, resulttype
 ORDER BY variant, benchmark, resulttype;";
 

scripts/Queries/ResultsDataWriteGroups.pm

@@ -16,27 +16,25 @@ sub query {
     my $extra =
       Filters::build_filter_clause( $experiment_dir, @filter_config_names );
 
-    # The write branch applies the data filters on the trace and the
-    # instruction filters on the pilot, so the clause is built per column.
+    # Filters are applied per column because of the disjunct branch union
     my $data_extra =
       Filters::build_filter_clause_restricted( $experiment_dir, qr/^g\./,
         @filter_config_names );
     my $instr_extra =
       Filters::build_filter_clause_restricted( $experiment_dir, qr/^p\./,
         @filter_config_names );
+    $instr_extra =~ s/\bp\.injection_instr_absolute\b/g.instr2_absolute/g;
 
     # This is the same as ResultsData.pm (how much faultspace
-    # area ended up in each possible outcome), but applies the
-    # possible writegroups fix.
+    # area ended up in each possible outcome), but includes the
+    # "inject-on-write" fault model like in global-occurrences-onwrite.sh
     #
-    # At first I have written this query similar to ResultsData.pm, with
-    # an inner join to reconstruct the "fixed" fspgroup table within the query.
-    # This was extremely slow since it resulted in a large cross product
-    # between the write groups/classes and the write pilots injections
-    # (also I don't think the indices were helping the way I wrote the query).
+    # A fault in a written value is treated as a fault in the next access to
+    # the same address. Only a read consumes the value, if it is overwritten
+    # first, the write is skipped.
     #
-    # This version now constructs the result in two
-    # disjunct branches (as the data is disjunct in known_outcome = 0/1).
+    # FAIL weights the write area by SUM(t.width), this query uses
+    # (g.time2 - g.time1 + 1) instead.
     my $resulttype_order =
         "FIELD(resulttype, 'OK_MARKER', 'FAIL_MARKER', 'DETECTED_MARKER',"
       . " 'GROUP1_MARKER', 'GROUP2_MARKER', 'GROUP3_MARKER', 'GROUP4_MARKER',"
@@ -68,22 +66,21 @@ FROM (
 
     UNION ALL
 
-    SELECT v.benchmark AS benchmark, rc.resulttype AS resulttype, wl.len * rc.cnt AS faults
-    FROM variant v
-    JOIN (
-        SELECT g.variant_id, SUM(g.time2 - g.time1 + 1) AS len
-        FROM trace g
-        WHERE g.accesstype = 'W'$data_extra
-        GROUP BY g.variant_id
-    ) wl ON wl.variant_id = v.id
-    JOIN (
-        SELECT p.variant_id, r.resulttype, COUNT(*) AS cnt
-        FROM fsppilot p
-        JOIN result_GenericExperimentMessage r ON r.pilot_id = p.id
-        WHERE p.known_outcome = 1$instr_extra
-        GROUP BY p.variant_id, r.resulttype
-    ) rc ON rc.variant_id = v.id
-    WHERE v.variant = '$experiment'
+    SELECT v.benchmark AS benchmark, r.resulttype AS resulttype,
+        SUM(g.time2 - g.time1 + 1) AS faults
+    FROM trace g
+    JOIN variant v ON v.id = g.variant_id
+    JOIN trace t ON t.variant_id = g.variant_id
+        AND t.data_physical_address = g.data_physical_address
+        AND t.instr1 = g.instr2 + 1
+        AND t.accesstype = 'R'
+    JOIN fspgroup h ON h.variant_id = t.variant_id
+        AND h.data_physical_address = t.data_physical_address
+        AND h.instr2 = t.instr2
+        AND h.fspmethod_id = (SELECT id FROM fspmethod WHERE method = 'basic')
+    JOIN result_GenericExperimentMessage r ON r.pilot_id = h.pilot_id
+    WHERE g.accesstype = 'W'
+        AND v.variant = '$experiment'$data_extra$instr_extra
 ) x
 GROUP BY benchmark, resulttype
 ORDER BY benchmark, $resulttype_order;";

scripts/Queries/TraceWeight.pm

@@ -46,7 +46,7 @@ FROM variant v
 JOIN trace t ON v.id = t.variant_id
 JOIN fspgroup g ON g.variant_id = t.variant_id AND g.instr2 = t.instr2 AND g.data_physical_address = t.data_physical_address
 JOIN fsppilot p ON p.id = g.pilot_id
-WHERE v.variant = '$experiment'$extra
+WHERE t.accesstype = 'R' AND v.variant = '$experiment'$extra
 GROUP BY v.id, benchmark
 ORDER BY variant, benchmark;";
 

scripts/menu.pl

@@ -89,7 +89,7 @@ my %handlers = (
 'Faults by benchmark, resulttype and fault address with mnemonic (faults.csv)',
 
             Mnemonics =>
-'Instruction count per mnemonic across the whole trace (mnemonics.csv)',
+'Instruction count per mnemonic across read equivalence classes (mnemonics.csv)',
 
             RegionMarker =>
               'Faults by code region with resulttype (regionmarker.csv)',

targets/wasm-tacle/kernel/countnegative/generated/modified_sources/default/countnegative.c

@@ -81,10 +81,11 @@ countnegative_initialize(matrix Array) {
     register int OuterIndex, InnerIndex;
 
     __pragma_loopbound(20, 20);
-    for (OuterIndex = 0; OuterIndex < MAXSIZE; OuterIndex++)
+    for (OuterIndex = 0; OuterIndex < MAXSIZE; OuterIndex++) {
         __pragma_loopbound(20, 20);
-    for (InnerIndex = 0; InnerIndex < MAXSIZE; InnerIndex++)
-        Array[OuterIndex][InnerIndex] = countnegative_randomInteger();
+        for (InnerIndex = 0; InnerIndex < MAXSIZE; InnerIndex++)
+            Array[OuterIndex][InnerIndex] = countnegative_randomInteger();
+    }
 }
 
 void
@@ -98,7 +99,7 @@ countnegative_return(void) {
     int checksum = (countnegative_postotal + countnegative_poscnt +
                     countnegative_negtotal + countnegative_negcnt);
 
-    return ((checksum == (int) 0x1778de) ? 0 : -1);
+    return ((checksum == (int) 0x3edcf) ? 0 : -1);
 }
 
 void

targets/wasm-tacle/kernel/matrix1/generated/modified_sources/default/matrix1.c

@@ -126,7 +126,7 @@ matrix1_return(void) {
     for (i = 0; i < X * Z; i++)
         checksum += matrix1_C[i];
 
-    return (checksum == 1000 ? 0 : -1);
+    return (checksum == 125 ? 0 : -1);
 }
 
 /*