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 void fullGC(boolean verbose) {
if (verbose)
System.out.print(
new Date().toString()
+ ' '
+ String.valueOf((RUNTIME.totalMemory() - RUNTIME.freeMemory()) / 1024L)
+ "Kb used");
long isFree = RUNTIME.freeMemory();
long wasFree;
do {
wasFree = isFree;
RUNTIME.runFinalization();
RUNTIME.gc();
isFree = RUNTIME.freeMemory();
} while (isFree > wasFree);
if (verbose)
System.out.println(
" --> "
+ String.valueOf((RUNTIME.totalMemory() - RUNTIME.freeMemory()) / 1024L)
+ "Kb used");
}
