code: void flushAll() {
  		for (Buffer buff : bufferPool) {
  			try {
  				buff.getExternalLock().lock();
  				buff.flush();
  			} finally {
  				buff.getExternalLock().unlock();
  			}
  		}
  	}
docs: Flushes all dirty buffers.