HomeIsabelle/Phabricator

Add the PC value to a queue and process the queue in the main thread. This…

Description

Add the PC value to a queue and process the queue in the main thread. This reduces the potential for
interlocks by simplifying the work done in the signal handlers.

Details

Provenance
dcjmAuthored on Aug 26 2020, 5:54 PM
Parents
rPOLYML23c43a19e751: Separate out asynchronous and synchronous profiling counting.
Branches
Unknown
Tags
Unknown