Disjoint-access-parallel implementations of strong shared memory primitives | Synapse