A Fault-Tolerant, Scalable, Low-Overhead Distributed Garbage Detection Protocol