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");
}
private void doClean(timerEvent ev) {
// Cleaner event
if (VERBOSE) System.err.println("-- Cleaning up packetTable");
// Might cause some recent packets to be dropped
packetTable.clear();
if (VERBOSE) {
Runtime r = Runtime.getRuntime();
System.err.println(
"TOTAL: " + r.totalMemory() / 1024 + "KB FREE: " + r.freeMemory() / 1024 + "KB");
}
// Reregister timer event
timer.registerEvent(CLEAN_TIMER_FREQUENCY, ev, mySink);
}