void function ( ) { for ( Block loc0 : pins ) { Buffer loc1 = buffers . get ( loc0 ) ; bufferMgr . unpin ( loc1 ) ; } buffers . clear ( ) ; pins . clear ( ) ; }
unpins any buffers still pinned by this transaction . concode_field_sep BufferMgr bufferMgr concode_elem_sep List<Block> pins concode_elem_sep Map<Block,Buffer> buffers concode_field_sep Block pinNew concode_elem_sep Buffer getBuffer concode_elem_sep void pin concode_elem_sep void unpin