HomeIsabelle/Phabricator

Change the way mutexes are locked and unlocked. They are now created as zero…

Description

Change the way mutexes are locked and unlocked. They are now created as zero and any non-zero value means
the mutex is locked. A mutex is locked with atomic increment and released by atomic decrement.

Details

Provenance
dcjmAuthored on Oct 14 2020, 7:14 PM
Parents
rPOLYMLd68c6736402e: The general "tail" instruction is now in the extended set.
Branches
Unknown
Tags
Unknown