Fix up buffer manager locking.
6 files changed