christoph/failnix
1
Fork 0
Code Releases Activity

Exclude overwritten writes in ResultsDataWriteGroups query

Browse Source
This commit is contained in:
christoph
2026-09-19 12:01:33 +02:00
parent 7438769fed
commit d353efa28a
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
scripts/Queries/ResultsDataWriteGroups.pm
+4 -1
View File
@@ -30,7 +30,9 @@ sub query {
# "inject-on-write" fault model like in global-occurrences-onwrite.sh # "inject-on-write" fault model like in global-occurrences-onwrite.sh
# #
# A fault in a written value is treated as a fault in the next access to # A fault in a written value is treated as a fault in the next access to
# the same address. # the same address. Only a read consumes the value, if it is overwritten
# first, the write is skipped.
#
# FAIL weights the write area by SUM(t.width), this query uses # FAIL weights the write area by SUM(t.width), this query uses
# (g.time2 - g.time1 + 1) instead. # (g.time2 - g.time1 + 1) instead.
my $resulttype_order = my $resulttype_order =
@@ -71,6 +73,7 @@ FROM (
JOIN trace t ON t.variant_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.data_physical_address = g.data_physical_address
AND t.instr1 = g.instr2 + 1 AND t.instr1 = g.instr2 + 1
AND t.accesstype = 'R'
JOIN fspgroup h ON h.variant_id = t.variant_id JOIN fspgroup h ON h.variant_id = t.variant_id
AND h.data_physical_address = t.data_physical_address AND h.data_physical_address = t.data_physical_address
AND h.instr2 = t.instr2 AND h.instr2 = t.instr2