On Correctness of Data Structures under Reads-Write Concurrency.

Kfir Lev-Ari Gregory V. Chockler Idit Keidar

Published in: DISC (2014)

Keyphrases

data structure
write operations
concurrent execution
efficient data structures
concurrency control
database systems
index structure
data types
main memory
data access
data flow
transaction processing
suffix tree
b tree
dynamic allocation
read write
databases
website
information systems
neural network