Skip to content

Commit 40220a2

Browse files
tinebpclaude
andcommitted
ci: pin the AXI store->fill ordering guarantee under response reordering
stencil3d on xrt with reordered, withheld responses drives a read at an address whose write is still awaiting its B response; the case holds the adapter to completing the write first. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
1 parent c52640e commit 40220a2

1 file changed

Lines changed: 12 additions & 0 deletions

File tree

‎ci/testcases/stress.yaml‎

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,3 +26,15 @@ tests:
2626
shape:
2727
l2cache: true
2828
args: -n128
29+
# A read must not observe stale data for an address whose write has not yet
30+
# returned its B response. Response reordering plus withholding builds the
31+
# response pool that lets the AFU's write path race its own refills;
32+
# stencil3d's eviction/refill pattern is the trigger.
33+
- id: axi-store-order
34+
via: blackbox
35+
drivers:
36+
- xrt
37+
app: stencil3d
38+
env:
39+
VX_MEM_RSP_REORDER: 1
40+
VX_MEM_RSP_STALL: 6

0 commit comments

Comments
 (0)