Compiler aided manual speculation for high performance concurrent data structures
Lingxiang Xiang, Michael Lee Scott · 2013
Speculation is a well-known means of increasing parallelism among concurrent methods that are usually but not always independent. Traditional nonblocking data structures employ a particularly restrictive form of speculation. Software transactional memory (STM) systems employ a much more general---though typically blocking---form, and there is a wealth of options in between.