can we assert in flushBuffer that we hold the `rwl#writeLock`?