/** * Closes the page manager. This flushes the page manager and releases * the lock on the header. */ void close() throws IOException { file.release( headerBuf ); file.commit(); headerBuf = null; header = null; file = null; }
/** * Closes the page manager. This flushes the page manager and releases * the lock on the header. */ void close() throws IOException { recordFile.release( headerBuf ); recordFile.commit(); headerBuf = null; header = null; recordFile = null; }
/** * Closes the page manager. This flushes the page manager and releases * the lock on the header. */ void close() throws IOException { recordFile.release( headerBuf ); recordFile.commit(); headerBuf = null; header = null; recordFile = null; }
/** * Closes the page manager. This flushes the page manager and releases * the lock on the header. */ void close() throws IOException { file.release(headerBuf); file.commit(); headerBuf = null; header = null; file = null; }
/** * Commit all pending (in-memory) data by flushing the page manager. * This forces a flush of all outstanding blocks (this it's an implicit * {@link RecordFile#commit} as well). */ void commit() throws IOException { // write the header out file.release(headerBuf); file.commit(); // and obtain it again headerBuf = file.get(0); header = new FileHeader(headerBuf, false); }
/** * Commit all pending (in-memory) data by flushing the page manager. * This forces a flush of all outstanding blocks (this is an implicit * {@link RecordFile#commit} as well). */ void commit() throws IOException { // write the header out recordFile.release( headerBuf ); recordFile.commit(); // and obtain it again headerBuf = recordFile.get( 0 ); header = new FileHeader( headerBuf, false ); }
/** * Commit all pending (in-memory) data by flushing the page manager. * This forces a flush of all outstanding blocks (this is an implicit * {@link RecordFile#commit} as well). */ void commit() throws IOException { // write the header out file.release( headerBuf ); file.commit(); // and obtain it again headerBuf = file.get( 0 ); header = new FileHeader( headerBuf, false ); }
/** * Commit all pending (in-memory) data by flushing the page manager. * This forces a flush of all outstanding blocks (this is an implicit * {@link RecordFile#commit} as well). */ void commit() throws IOException { // write the header out recordFile.release( headerBuf ); recordFile.commit(); // and obtain it again headerBuf = recordFile.get( 0 ); header = new FileHeader( headerBuf, false ); }