RFC powerpc/mm: Enable clang context analysis
Get series with b4
b4 am [email protected]Versions newest first
- v1 RFC Latest6 patches 0 repliesNew
Patches in v1 No applies recorded yet
| # | Subject and files | Size | Replies | Applied |
|---|---|---|---|---|
| 1/6 | powerpc/mm/book3s64: unlock RCU before returning from mm_iommu_is_devmem()arch/ | +4 | 0 replies | |
| 2/6 | powerpc/mm/book3s64: Rework tlbie() to remove conditional lockingarch/ | +24 | 0 replies | |
| 3/6 | powerpc/mm/book3s64: Rework native_flush_hash_range() to remove conditional lockingarch/ | +54 | 0 replies | |
| 4/6 | powerpc/mm/book3s64: Annotate the subpage-protection PTE lockarch/ | +2 | 0 replies | |
| 5/6 | powerpc/mm: Rework nohash TLB broadcast lockingarch/ arch/ | +6 | 0 replies | |
| 6/6 | powerpc/mm: Enable context analysisarch/ arch/ arch/ +1 more | +8 | 0 replies |
Reviews trailers per patch
No Reviewed-by, Acked-by or Tested-by trailers for v1 yet.
Cover letter [RFC 0/6] powerpc/mm: Enable clang context analysis
Lock acquire and release checking used to be done with Sparse. That support was removed [1] and replaced with Clang context analysis [2].
Note that enabling this caught a real locking rcu bug in arch/powerpc/mm (Patch-1). Note, more invasive checkers to check what each lock protects is deferred for later enablement.
This is based on top of previous powerpc/powernv,pseries Clang context analysis enablement series [3].
The series was build tested with LLVM/Clang 23.x
[1] 5b63d0ae94cc ("compiler-context-analysis: Remove Sparse support")
[2] 3269701cb256 ("compiler-context-analysis: Add infrastructure for Context Analysis with Clang") [3]: https://lore.kernel.org/linuxppc-dev/[email protected]/
Ritesh Harjani (IBM) (6):
powerpc/mm/book3s64: unlock RCU before returning from mm_iommu_is_devmem() powerpc/mm/book3s64: Rework tlbie() to remove conditional locking powerpc/mm/book3s64: Rework native_flush_hash_range() to remove conditional locking powerpc/mm/book3s64: Annotate the subpage-protection PTE lock powerpc/mm: Rework nohash TLB broadcast locking
powerpc/mm: Enable context analysis
arch/powerpc/mm/Makefile | 2 + arch/powerpc/mm/book3s32/Makefile | 2 + arch/powerpc/mm/book3s64/Makefile | 2 + arch/powerpc/mm/book3s64/hash_native.c | 122 +++++++++++++++--------- arch/powerpc/mm/book3s64/iommu_api.c | 6 +- arch/powerpc/mm/book3s64/subpage_prot.c | 2 + arch/powerpc/mm/nohash/Makefile | 2 + arch/powerpc/mm/nohash/mmu_context.c | 1 + arch/powerpc/mm/nohash/tlb.c | 8 +- 9 files changed, 98 insertions(+), 49 deletions(-)
--
2.39.5