public void ExitLatch(PagePosition page)
{
if (LatchLocks.Remove(page, out var latchLock))
{
latchLock.Dispose();
}
}
public LatchScope PopLatch(BufferEntry buffer)
{
if (LatchLocks.Remove(buffer.Position, out var latchLock))
{
return(latchLock);
}
return(null);
}