Closed RalfJung closed 1 month ago
@bors r+
:pushpin: Commit 2e1bf9cbc44cbd3ef1dae90fecd641f7bb2da431 has been approved by RalfJung
It is now in the queue for this repository.
:hourglass: Testing commit 2e1bf9cbc44cbd3ef1dae90fecd641f7bb2da431 with merge 5cbb61fce80bce3b639a757c2b1ce57322e4118b...
:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 5cbb61fce80bce3b639a757c2b1ce57322e4118b to master...
This hides a lot of invariants from the implementation of the synchronization primitives, and makes sure we never have to release or acquire a vector clock on another thread but the active one.