Guaranteeing Non-Disruptiveness and Real-Time Deadlines in an Incremental Garbage Collector