public static String memoryToString() {
DecimalFormat fmt = new DecimalFormat("0.0");
return "Memory: "
+ fmt.format(RUNTIME.maxMemory() / 1048576D)
+ "MByte maximum, "
+ fmt.format(RUNTIME.totalMemory() / 1048576D)
+ "MByte total, "
+ fmt.format(RUNTIME.totalMemory() / 1048576D)
+ "MByte free";
}
public static String getMemoryInformation() {
Runtime rt = Runtime.getRuntime();
DecimalFormat df = new DecimalFormat("###,###,###,###");
return "used = "
+ df.format(rt.totalMemory() - rt.freeMemory())
+ " free = "
+ rt.freeMemory()
+ " total = "
+ rt.totalMemory()
+ " max = "
+ rt.maxMemory();
}
@Override
public DiskData build() throws IOException {
meta.assign(parser);
meta.dirty = true;
// calculate optimized output buffer sizes to reduce disk fragmentation
final Runtime rt = Runtime.getRuntime();
final long max = Math.min(1 << 22, rt.maxMemory() - rt.freeMemory() >> 2);
int bs = (int) Math.min(meta.filesize, max);
bs = Math.max(IO.BLOCKSIZE, bs - bs % IO.BLOCKSIZE);
// drop old database (if available) and create new one
DropDB.drop(dbname, sopts);
sopts.dbpath(dbname).md();
elemNames = new Names(meta);
attrNames = new Names(meta);
try {
tout = new DataOutput(new TableOutput(meta, DATATBL));
xout = new DataOutput(meta.dbfile(DATATXT), bs);
vout = new DataOutput(meta.dbfile(DATAATV), bs);
sout = new DataOutput(meta.dbfile(DATATMP), bs);
final Performance perf = Prop.debug ? new Performance() : null;
Util.debug(tit() + DOTS);
parse();
if (Prop.debug) Util.errln(" " + perf + " (" + Performance.getMemory() + ')');
} catch (final IOException ex) {
try {
close();
} catch (final IOException ignored) {
}
throw ex;
}
close();
// copy temporary values into database table
try (final DataInput in = new DataInput(meta.dbfile(DATATMP))) {
final TableAccess ta = new TableDiskAccess(meta, true);
for (; spos < ssize; ++spos) ta.write4(in.readNum(), 8, in.readNum());
ta.close();
}
meta.dbfile(DATATMP).delete();
// return database instance
return new DiskData(meta, elemNames, attrNames, path, ns);
}
public String toString() {
String result = "f=" + (runtime.freeMemory() / MEGA) + "/";
result += "t=" + (runtime.totalMemory() / MEGA) + "/";
result += "m=" + (runtime.maxMemory() / MEGA) + "Mb";
return result;
}
public static long getFreeMemory() {
Runtime rt = Runtime.getRuntime();
return rt.maxMemory() - rt.totalMemory() + rt.freeMemory();
}