Parrot implements trace gc and YAP6 implements refcount gc. Trace gc may be more efficient and more safe, but is not deterministic.

There are ways to add determinism to tracing GCs. Escape analysis is useful for this.