private void freeTable(Page tablePage) { tableSource.free(tablePage); }
private void freeTable(Page tablePage) { tableSource.free(tablePage); }
private void freePage(Page p) { if (released.isEmpty()) { pageSource.free(p); } else { released.peek().add(p); } }
private void freePage(Page p) { if (released.isEmpty()) { pageSource.free(p); } else { released.peek().add(p); } }