void function ( int arg0 ) { for ( Buffer loc0 : bufferpool ) if ( loc0 . isModifiedBy ( arg0 ) ) loc0 . flush ( ) ; }
flushes the dirty buffers modified by the specified transaction . concode_field_sep Buffer[] bufferpool concode_elem_sep int numAvailable concode_elem_sep ClockReplacementPolicy replacementPolicy concode_field_sep Buffer pinNew concode_elem_sep Buffer findExistingBuffer concode_elem_sep Buffer pin concode_elem_sep void unpin concode_elem_sep int available concode_elem_sep Buffer chooseUnpinnedBuffer