celerity / celerity-runtime / 10301097199

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.

3012 of 3418 branches covered (88.12%)

Branch coverage included in aggregate %.

22 of 23 new or added lines in 2 files covered. (95.65%)

6610 of 6732 relevant lines covered (98.19%)

1524350.6 hits per line