Garbage-first garbage collection