Progress guarantee for parallel programs via bounded lock-freedom.

Erez Petrank Madanlal Musuvathi Bjarne Steensgaard

Published in: PLDI (2009)

Keyphrases

high level programming language
parallel processing
multicore processors
general purpose
sorting algorithms
search algorithm
programming language
first order logic
parallel algorithm
concurrency control
shared memory
massively parallel
provably correct
shared memory multiprocessor