A lazy fill array has a extra fill value, an extra counter and an extra array to hold the counter value when each array element has last modified.
Once update-all query comes up, the counter is incremented. Then, you can use counter_value == last_modified[i] to find whether each element value is still valid.
Summary
Add Lazy Fill Array as follows:
Implementation
A lazy fill array has a extra fill value, an extra counter and an extra array to hold the counter value when each array element has last modified. Once update-all query comes up, the counter is incremented. Then, you can use
counter_value == last_modified[i]
to find whether each element value is still valid.