Visibility Algorithms for Dynamic Dependence Analysis and Distributed Coherence