private void increaseFileSize(int increment) { for (int i = pageCount; i < pageCount + increment; i++) { freed.set(i); } pageCount += increment; long newLength = (long) pageCount << pageSizeShift; file.setLength(newLength); writeCount++; fileLength = newLength; }
file.setLength(pos); file.seek(pos);
file = database.openFile(fileName, "rw", false); file.setCheckedWriting(false); file.setLength(FileStore.HEADER_LENGTH);
long newLength = (long) pageCount << pageSizeShift; if (file.length() != newLength) { file.setLength(newLength); writeCount++;
private void increaseFileSize(int increment) { for (int i = pageCount; i < pageCount + increment; i++) { freed.set(i); } pageCount += increment; long newLength = (long) pageCount << pageSizeShift; file.setLength(newLength); writeCount++; fileLength = newLength; }
private void increaseFileSize(int increment) { for (int i = pageCount; i < pageCount + increment; i++) { freed.set(i); } pageCount += increment; long newLength = (long) pageCount << pageSizeShift; file.setLength(newLength); writeCount++; fileLength = newLength; }
void truncate(int pos) throws SQLException { go(pos); file.setLength((long) pos * BLOCK_SIZE); }
public synchronized void freeUpDiskSpace() throws SQLException { long sizeAvailable = 0; if (emergencyReserve != null) { sizeAvailable = emergencyReserve.length(); long newLength = sizeAvailable / 4; if (newLength < SysProperties.EMERGENCY_SPACE_MIN) { newLength = 0; noDiskSpace = true; } emergencyReserve.setLength(newLength); } if (eventListener != null) { eventListener.diskSpaceIsLow(sizeAvailable); } }
public void setLength(long newLength) throws SQLException { long oldPos = pos; long length = length(); if (newLength > length) { seek(length); byte[] empty = EMPTY; while (true) { int p = (int) Math.min(newLength - length, EMPTY.length); if (p <= 0) { break; } write(empty, 0, p); length += p; } seek(oldPos); } else { super.setLength(newLength); } }
file.setLength(pos); file.seek(pos);
file.setLength(pos); file.seek(pos);
file = database.openFile(fileName, "rw", false); file.setCheckedWriting(false); file.setLength(FileStore.HEADER_LENGTH);
file = database.openFile(fileName, "rw", false); file.setCheckedWriting(false); file.setLength(FileStore.HEADER_LENGTH);
void flush() throws SQLException { if (bufferPos > 0) { if (file == null) { throw Message.getSQLException(ErrorCode.SIMULATED_POWER_OFF); } file.write(buffer, 0, bufferPos); pos = getBlock(); for (int i = 0; i < unwritten.size(); i++) { Record r = (Record) unwritten.get(i); r.setLogWritten(id, pos); } unwritten.clear(); bufferPos = 0; long min = (long) pos * BLOCK_SIZE; min = MathUtils.scaleUp50Percent(Constants.FILE_MIN_SIZE, min, Constants.FILE_PAGE_SIZE, Constants.FILE_MAX_INCREMENT); if (min > file.length()) { file.setLength(min); } } }
min = MathUtils.scaleUp50Percent(Constants.FILE_MIN_SIZE, min, Constants.FILE_PAGE_SIZE, Constants.FILE_MAX_INCREMENT) + OFFSET; if (min > file.length()) { file.setLength(min); database.notifyFileSize(min);
long newLength = (long) pageCount << pageSizeShift; if (file.length() != newLength) { file.setLength(newLength); writeCount++;
long newLength = (long) pageCount << pageSizeShift; if (file.length() != newLength) { file.setLength(newLength); writeCount++;
emergencyReserve = openFile(createTempFile(), "rw", false); emergencyReserve.autoDelete(); emergencyReserve.setLength(SysProperties.EMERGENCY_SPACE_INITIAL);