[bombela]

Interesting, I have always called this double buffering.

[cjbgkagh]

I think the difference is that with double buffering the stale data is thrown away but here they maintain a list of operations to repeat on the stale data to bring it into sync.