celerity / celerity-runtime / 10304230986 / 1

95%

master: 95%

push

github

Fix executor-scheduler race between instruction retirement and pruning

live_executor previously dereferenced instruction pointers on retirement,
which raced with their deletion on IDAG pruning when the executing
instruction was an horizon or epoch. To avoid future similar issues,
we now strictly regard the pointer to any instruction that has been issued
as dangling and work with instruction ids instead in those cases.

out_of_order_engine also had potentially hazardous uses of instruction
pointers that might - under the right circumstances - incorrectly regard
two instruction as identical when their pointers happen to alias as the
old one being freed before the new one was allocated in the same memory
location.

2979 of 3378 branches covered (88.19%)

Branch coverage included in aggregate %.

6547 of 6642 relevant lines covered (98.57%)

1554450.58 hits per line