Exploiting high-level coherence information to optimize distributed shared state