Reference counting implies non deterministic frees. If you knew who the final owner of an object was, you wouldn't need reference counting. While it is true th

Reference counting implies non deterministic frees. If you knew who the final owner of an object was, you wouldn't need reference counting. While it is true that many (most?) GCs have STW sections, it's not at all clear that it is a bad tradeoff.