Memory Efficient Hard Real-Time Garbage Collection