Non-interfering GVT computation via asynchronous global reductions · Study