StanfordLegion / legion

The Legion Parallel Programming System
https://legion.stanford.edu
Apache License 2.0
657 stars 146 forks source link

Freeing/Refreshing trace IDs #1697

Open MoraruMaxim opened 1 month ago

MoraruMaxim commented 1 month ago

Currently, there is no mechanism allowing us to inform Legion that a trace was invalidated and the corresponding trace ID will never be used again. Hence, we would unnecessarily maintain a list of invalid traces.

We would like to either be able to free a trace ID or to refresh it (i.e. inform Legion that we can not replay the next iteration and we would like to record it instead).