-
Epic
-
Resolution: Unresolved
-
Normal
-
None
-
rhel-10.0.beta
-
Use TSA extensions
-
Medium
-
rhel-sst-virtualization-storage
-
ssg_virtualization
-
3
-
False
-
-
QE ack
Goal
QEMU makes use of clang's Thread Safety Analysis to verify the graph locking needed to safely enable multiqueue. Some extensions to clang would be very helpful to make the checks as comprehensive as possible, so we have filed issues for clang, which will be linked here.
Once clang has enabled new features, integration work in QEMU is needed to actually make use of them.
- is related to
-
RHEL-8581 Qemu multiqueue block layer support
- In Progress
- relates to
-
RHEL-1649 clang TSA does not analyze across function pointers
- Planning
-
RHEL-1651 clang TSA cannot guard sibling struct fields in C
- Planning
-
RHEL-7269 Should warn about TSA function attributes missing in prototypes
- Planning
-
RHEL-1650 clang TSA does not analyze __attribute__((cleanup)) functions
- Closed