diff options
| author | Christian Krinitsin <mail@krinitsin.com> | 2025-07-17 09:10:43 +0200 |
|---|---|---|
| committer | Christian Krinitsin <mail@krinitsin.com> | 2025-07-17 09:10:43 +0200 |
| commit | f2ec263023649e596c5076df32c2d328bc9393d2 (patch) | |
| tree | 5dd86caab46e552bd2e62bf9c4fb1a7504a44db4 /results/scraper/fex/1687 | |
| parent | 63d2e9d409831aa8582787234cae4741847504b7 (diff) | |
| download | emulator-bug-study-f2ec263023649e596c5076df32c2d328bc9393d2.tar.gz emulator-bug-study-f2ec263023649e596c5076df32c2d328bc9393d2.zip | |
add downloaded fex bug-reports
Diffstat (limited to 'results/scraper/fex/1687')
| -rw-r--r-- | results/scraper/fex/1687 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/results/scraper/fex/1687 b/results/scraper/fex/1687 new file mode 100644 index 00000000..cba9917d --- /dev/null +++ b/results/scraper/fex/1687 @@ -0,0 +1,12 @@ +shared_mutex with unique lock priority +Having a shared lock where unique locks take priority would be beneficial. +std::shared_mutex gives shared locks priority when a shared lock is already held. + +With a new lock with unique priority it should have the properties: + +1. When a shared lock is already held and then a unique lock is attempting to be made + - Subsequent `try_lock_shared` should immediately return false even though unique_lock isn't held yet + - Subsequent `lock_shared` should block until unique lock is granted and relinquished + - If a subsequent unique lock is pending while a unique lock is already held then a shared lock shouldn't be able to win the contention. + +Might be worth using `WFE/WFET` for faster userspace checking of lock if it is expected to not be contended for too long. \ No newline at end of file |