Branch: Tag:

2013-10-09

2013-10-09 15:12:02 by Arne Goedeke <el@laramies.com>

block_allocator: reuse pages used by the gc

2057:    if (!gc_keep_markers)    cleanup_markers();    -  ba_destroy(&gc_rec_frame_allocator); -  ba_destroy(&ba_mixed_frame_allocator); +  ba_free_all(&gc_rec_frame_allocator); +  ba_free_all(&ba_mixed_frame_allocator);      #ifdef PIKE_DEBUG    if (gc_is_watching) {