Strongly Linearizable Implementations of Fundamental Primitives