1. A computer readable medium encoding of a data structure implementation, the encoding comprising: a definition of a double-ended array instantiable in memory; and a functional encoding of opposing-end access operations that, when executed on respective one or more processors that access the memory, provide concurrent push-type and pop-type access at at least one of the opposing ends and concurrent, opposing-end accesses are non-interfering for at least some states of the array, wherein the data structure implementation is linearizable and non-blocking, and wherein concurrent execution of the access operations is mediated using a single-target synchronization primitive.