Hi,
> This is a tricky bug. Do you also have a proposal of a particular fix?
If my understanding is correct, we should make a WAL record with the
XLH_LOCK_ALL_FROZEN_CLEARED flag *before* we modify the VM but within
the same critical section (in order to avoid race conditions within
the same backend).
A draft patch is attached. It makes the test pass and doesn't seem to
break any other tests.
Thoughts?