...
- acquire page
- if checkpoint is finished (after key change) and page is dirty - skip this page.
- if checkpoint is not finished or page is not dirty
- lock page
- if checkpoint is not finished and page is dirty - save additional page snapshot into WALt
- unlock page (dirty=true, if page hasn't been dirty snapshot is logged into WAL)
- release page
Re-encryption progress is stored into metapage (int offset, int total), updates during checkpoint.
...