Compiler aided manual speculation for high performance concurrent data structures.
Lingxiang XiangMichael Lee ScottPublished in: PPOPP (2013)
Keyphrases
- data structure
- distributed memory machines
- semi automatic
- programming language
- general purpose
- error prone
- high efficiency
- efficient data structures
- high reliability
- data types
- labor intensive
- graphics processing units
- multidimensional data
- manual annotation
- mutual exclusion
- data structures and algorithms
- suffix tree
- kd trees
- runtime environment
- concurrent programs
- machine learning