This is an archive of the discontinued LLVM Phabricator instance.

[scudo] Add thread-safety annotations on TSD data members
ClosedPublic

Authored by Chia-hungDuan on Jan 19 2023, 11:17 AM.

Details

Summary

Ideally, we want to assert that all the operations on
Cache/QuarantineCache always have the Mutex acquired. However,
the current architecture of accessing TSD is not easy to cooperate
with the thread-safety analysis because of pointer aliasing. In
alternative, we add the getters for accessing TSD member and attach
proper thread-safety annotations on them.

Diff Detail

Event Timeline

Chia-hungDuan created this revision.Jan 19 2023, 11:17 AM
Herald added a project: Restricted Project. · View Herald TranscriptJan 19 2023, 11:17 AM
Chia-hungDuan requested review of this revision.Jan 19 2023, 11:17 AM
Herald added a project: Restricted Project. · View Herald TranscriptJan 19 2023, 11:17 AM
Herald added a subscriber: Restricted Project. · View Herald Transcript
cferris accepted this revision.Feb 9 2023, 11:05 PM

LGTM

This revision is now accepted and ready to land.Feb 9 2023, 11:05 PM