
Persistent data structures 2
... find in y the live pointer to x. • If this ptr has version stamp i, replace it by a ptr to c(x). Update the corresponding reverse pointer • If this ptr has version stamp less than i, add to y a ptr to c(x) with version stamp i. If there is no room, copy y as before, and add it to S. Update the corre ...
... find in y the live pointer to x. • If this ptr has version stamp i, replace it by a ptr to c(x). Update the corresponding reverse pointer • If this ptr has version stamp less than i, add to y a ptr to c(x) with version stamp i. If there is no room, copy y as before, and add it to S. Update the corre ...