378379380381382383384385386387
public static MemoryManager getMemManager() { if (!useMem) return null; if (mem_manager == null) { synchronized(lock) { if (mem_manager == null) mem_manager = new MemoryManager(); } } return mem_manager; }
240241242243244245246247248
/* * @return true if ok to allocate size bytes of mem */ public boolean allocateMemCheck(long size) { MemoryManager mm = Globals.getMemManager(); if (mm == null) return true; return mm.allocateMemCheck(size); }
11671168116911701171117211731174117511761177
} private Hashtable getMemory() throws Exception { MemoryManager mm = Globals.getMemManager(); if (mm != null) { return mm.getDebugState(); } return (new Hashtable()); }