diff options
| author | Aaron Puchert <aaronpuchert@alice-dsl.net> | 2020-09-06 20:35:02 +0200 |
|---|---|---|
| committer | Aaron Puchert <aaronpuchert@alice-dsl.net> | 2020-09-06 20:37:42 +0200 |
| commit | bbb3baf6205c54231257f64fd18661a13a5c97ee (patch) | |
| tree | c9c718ba1e2fcef87df590e585f4a1b51402bddb /llvm/lib/Object/ELF.cpp | |
| parent | cc6713a2c35edf17cfb567284cc76b374308e5e4 (diff) | |
| download | llvm-bbb3baf6205c54231257f64fd18661a13a5c97ee.zip llvm-bbb3baf6205c54231257f64fd18661a13a5c97ee.tar.gz llvm-bbb3baf6205c54231257f64fd18661a13a5c97ee.tar.bz2 | |
Thread safety analysis: Improve documentation for scoped capabilities
They are for more powerful than the current documentation implies, this
adds
* adopting a lock,
* deferring a lock,
* manually unlocking the scoped capability,
* relocking the scoped capability, possibly in a different mode,
* try-relocking the scoped capability.
Also there is now a generic explanation how attributes on scoped
capabilities work. There has been confusion in the past about how to
annotate them (see e.g. PR33504), hopefully this clears things up.
Reviewed By: aaron.ballman
Differential Revision: https://reviews.llvm.org/D87066
Diffstat (limited to 'llvm/lib/Object/ELF.cpp')
0 files changed, 0 insertions, 0 deletions