Title: Memory efficient hard real-time garbage collection