boostorg / boostorg/lockfree

boost.lockfree tagged_ptr conflict with Hardware-assisted AddressSanitizer(HWASan) from LLVM project

Open
#70 4 comments 0 reactions 0 assignees View on GitHub
Dominant language
C++
Stars
160
Forks
99
PR merge metrics
No merged PRs in 30d

Description

As we know, boost using tagged_ptr avoid CAS ABA issue. But in aarch64, tagged_ptr_ptrcompression using top bits of pointer, but HWASan also using top bits of pointer, so conflict.
HWASan help detect memory bugs in LLVM project, so should boost lockfree compat HWASan ?

Contributor guide

No contributing guide indexed for this repository

Research direction

The issue identifies boost.lockfree's tagged_ptr_ptrcompression on AArch64 as the entry point; begin by tracing how its top-bit pointer tagging interacts with LLVM HWASan. Reproduce the conflict under HWASan and define compatibility as the done condition, using the repository's relevant lockfree coverage to verify the result.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
operating-systems, testing
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.