Re: Some observations (results) on BPF acquire and release
From: Andrea Parri
Date: Wed Nov 13 2024 - 14:26:00 EST
[...]
> I guess the next question (once clarified the intentions for the R
> and Z6.3 tests seen earlier) is "Does BPF really care about 2+2W
> and B-cumulativity for store-release?"; I mentioned some tradeoff,
> but in the end this is a call for the BPF community.
Interpreting the radio silence as an unanimous "No, it doesn't", please find
tentative fixes/patch (on top of the bpf_acquire_release branch cited in an
earlier post) at the bottom of this email.
While testing the changes in question, I noticed an (unrelated) omission in
the current PPO relation; the second patch below addresses that.
Both patches were tested using the "BPF catalogue" available in the tree at
stake: as expected, the only differences in outcomes were for the new/added
five tests.
Please use and integrate according to your preference, any feedback welcome.
Andrea