HomeIsabelle/Phabricator

Improve handling of mutex spin-lock. Replace atomic-increment/decrement by…

Description

Improve handling of mutex spin-lock. Replace atomic-increment/decrement by atomic-exchange-add and add a pause instruction which can generate
an X86 PAUSE instruction and can be used in the spin-lock loop.

Details

Provenance
dcjmAuthored on Jan 9 2021, 8:21 PM
Parents
rPOLYMLb94e1fb57e5f: Fix share-common-data. Code that is only reachable by a relative call or jump…
Branches
Unknown
Tags
Unknown