buffer manager patch