A high-level abstraction of shared accesses (ACM transactions on computer systems, 2000)