Re: Memory ordering issue in LWLockRelease, WakeupWaiters, WALInsertSlotRelease