Legion: Support replay of non-idempotent traces

StanfordLegion / legion

The Legion Parallel Programming System

https://legion.stanford.edu

Apache License 2.0

676 stars 145 forks source link

Legion: Support replay of non-idempotent traces #746

Open magnatelee opened 4 years ago

magnatelee commented 4 years ago

Currently the tracing only permits idempotent traces whose postconditions subsume preconditions. Legion needs to support replay of non-idempotent traces as well, as they commonly appear when the body of a loop is partially traced.

elliottslaughter commented 6 months ago

There is finally support for this: https://gitlab.com/StanfordLegion/legion/-/merge_requests/1095