Compiler aided manual speculation for high performance concurrent data structures

@inproceedings{Xiang2013CompilerAM,
  title={Compiler aided manual speculation for high performance concurrent data structures},
  author={Lingxiang Xiang and Michael L. Scott},
  booktitle={PPOPP},
  year={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. Using several different concurrent data structures as examples, we show that manual addition of speculation to… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-4 of 4 references

The Art of Multiprocessor Programming

M. Herlihy, N. Shavit
Morgan Kaufmann Publishers Inc., • 2008
View 6 Excerpts
Highly Influenced

Efficient Locking for Concurrent Operations on B-Trees

ACM Trans. Database Syst. • 1981
View 4 Excerpts
Highly Influenced

Read-copy update

P. E. McKenney, J. Appavoo, +4 authors M. Soni
Ottawa Linux Symp., July • 2001
View 2 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…