Describir: Idle-Time Garbage-Collection Scheduling.