-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#1182 In orieg/expanse;
- Status: Open.#1144 In orieg/expanse;
- Status: Open.#1143 In orieg/expanse;
- Status: Open.#1142 In orieg/expanse;
- Status: Open.#1141 In orieg/expanse;
- Status: Open.#1109 In orieg/expanse;
- Status: Open.#1108 In orieg/expanse;
- Status: Open.#1103 In orieg/expanse;
- Status: Open.#1096 In orieg/expanse;
Sync* wrappers: two UB classes reachable from safe code (optimistic-read data race, and &T/&mut aliasing over the engine), present since v0.6.0
bugSomething isn't workingSomething isn't workingconcurrencyOCC, thread safety, lock-free structures, LoomOCC, thread safety, lock-free structures, LoomStatus: Open.#1086 In orieg/expanse;sync: optimistic removals leave a BranchU below BRANCHB_UP, and validate() rejects the tree
bugSomething isn't workingSomething isn't workingconcurrencyOCC, thread safety, lock-free structures, LoomOCC, thread safety, lock-free structures, LoomStatus: Open.#1079 In orieg/expanse;test_sync_map_linearizability_zipfian: 16 bytes still accounted for in clear(), once on macOS
bugSomething isn't workingSomething isn't workingconcurrencyOCC, thread safety, lock-free structures, LoomOCC, thread safety, lock-free structures, LoomtestingTesting, differential fuzzing, Miri, and verificationTesting, differential fuzzing, Miri, and verificationStatus: Open.#1044 In orieg/expanse;