What started this series is Andre's SPI and group interrupts tests [1], which prompted me to attempt to rewrite check_acked() so it's more flexible and not so complicated to review. When I was doing that I noticed that the message passing pattern for accesses to the acked, bad_irq and bad_sender arrays didn't look quite right, and that turned into the first 7 patches of the series. Even though the diffs are relatively small, they are not trivial and the reviewer can skip them for the more palatable patches that follow. I would still appreciate someone having a look at the memory ordering fixes. Patch #8 ("Split check_acked() into two functions") is where check_acked() is reworked with an eye towards supporting different timeout values or silent reporting without adding too many arguments to check_acked(). After changing the IPI tests, I turned my attention to the LPI tests, which followed the same memory synchronization patterns, but invented their own interrupt handler and testing functions. Instead of redoing the work that I did for the IPI tests, I decided to convert the LPI tests to use the same infrastructure. I ran tests on the following machines: - Ampere EMAG: all arm64 tests 10,000+ times (combined) under qemu and kvmtool. - rockpro64: the arm GICv2 and GICv3 tests 10,000+ times under kvmtool (I chose kvmtool because it's faster than qemu); the arm64 gic tests (GICv2 and GICv3) 5000+ times with qemu (didn't realize that ./run_tests.sh -g gic doesn't include the its tests); the arm64 GICv2 and GICv3 and ITS tests under kvmtool 13,000+ times. I didn't see any issues. Changes in v2: * Gathered Reviewed-by tags, thank you for the feedback! * Modified code comments in #1 ("lib: arm/arm64: gicv3: Add missing barrier when sending IPIs") as per review suggestions. * Moved the barrier() in gicv2_ipi_send_self() from #3 ("arm/arm64: gic: Remove memory synchronization from ipi_clear_active_handler()") to #2 ("lib: arm/arm64: gicv2: Add missing barrier when sending IPIs"). * Renamed #3, changed "[..] Remove memory synchronization [..]" to "[..] Remove SMP synchronization [..]". * Moved the removal of smp_rmb() from check_spurious() from #5 ("arm/arm64: gic: Use correct memory ordering for the IPI test") to patch #7 ("arm/arm64: gic: Wait for writes to acked or spurious to complete"). * Fixed typos in #8 ("arm/arm64: gic: Split check_acked() into two functions"). * Patch #10 ("arm64: gic: its-trigger: Don't trigger the LPI while it is pending") is new. It was added to fix an issue found in v1 [2]. * Patch #11 ("lib: arm64: gic-v3-its: Add wmb() barrier before INT command") is also new; it was split from #12 ("arm64: gic: Use IPI test checking for the LPI tests") following review comments. * Removed the now redundant call to stats_reset() from its_prerequisites() in #12 ("arm64: gic: Use IPI test checking for the LPI tests"). [1] https://lists.cs.columbia.edu/pipermail/kvmarm/2019-November/037853.html [2] https://www.spinics.net/lists/kvm-arm/msg43628.html Alexandru Elisei (12): lib: arm/arm64: gicv3: Add missing barrier when sending IPIs lib: arm/arm64: gicv2: Add missing barrier when sending IPIs arm/arm64: gic: Remove SMP synchronization from ipi_clear_active_handler() arm/arm64: gic: Remove unnecessary synchronization with stats_reset() arm/arm64: gic: Use correct memory ordering for the IPI test arm/arm64: gic: Check spurious and bad_sender in the active test arm/arm64: gic: Wait for writes to acked or spurious to complete arm/arm64: gic: Split check_acked() into two functions arm/arm64: gic: Make check_acked() more generic arm64: gic: its-trigger: Don't trigger the LPI while it is pending lib: arm64: gic-v3-its: Add wmb() barrier before INT command arm64: gic: Use IPI test checking for the LPI tests lib/arm/gic-v2.c | 4 + lib/arm/gic-v3.c | 6 + lib/arm64/gic-v3-its-cmd.c | 6 + arm/gic.c | 341 ++++++++++++++++++++----------------- 4 files changed, 197 insertions(+), 160 deletions(-) -- 2.29.2 _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm