HomeIsabelle/Phabricator

Use a volatile ref instead of an index for the task id. This means it is no…
45e4c2cde597Unpublished

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

Use a volatile ref instead of an index for the task id. This means it is no longer necessary to lock a mutex and check the task table on every RTS call.

Details

Provenance
dcjmAuthored on Jan 23 2019, 5:40 PM
Parents
rPOLYML38dd6f8dba83: Use a uintptr_t for allocSize instead of a POLYUNSIGNED. This brings it into…
Branches
Unknown
Tags
Unknown

Event Timeline