Analysing Lock-Free Linearizable Datatypes Using CSP.
Gavin LowePublished in: Concurrency, Security, and Puzzles (2017)
Keyphrases
- data types
- constraint satisfaction problems
- database systems
- database management systems
- data model
- concurrency control
- user defined
- data structure
- arc consistency
- decomposition methods
- constraint satisfaction
- constraint programming
- tree decompositions
- data mining algorithms
- data mining
- data points
- constraint propagation
- data sources
- xml documents
- quadratic assignment problem
- tree decomposition
- locking protocol
- computational complexity