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