13.5.4 shared pool latch