HomeIsabelle/Phabricator

replace a few manual Lock()/Unlock() pairs with PLocker
9a9b0346d5f4Unpublished

Unpublished Commit ยท Learn More

  • Repository Importing: This repository is still importing.
  • Not On Permanent Ref: This commit is not an ancestor of any permanent ref.

Description

replace a few manual Lock()/Unlock() pairs with PLocker

Using PLocker helps guard against future refactors that accidentally forget to
release the scheduler mutex. This was only done in the obvious cases (Lock() and
then Unlock() immediately prior to function exit). It's possible there are other
cases PLocker could be used as well.

Details

Provenance
Matthew Fernandez <matthew.fernandez@gmail.com>Authored on May 19 2019, 10:58 PM
Parents
rPOLYML624ba5394d80: Merge pull request #115 from liumingc/patch-1
Branches
Unknown
Tags
Unknown
References
refs/pull/117/head

Event Timeline