Login / Signup
A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering
Prodromos Gerakios
Nikolaos Papaspyrou
Konstantinos Sagonas
Published in:
PLACES (2010)
Keyphrases
</>
concurrency control
locking protocol
transaction processing systems
database systems
database
real world
fine grained
distributed databases
deadlock free
hierarchical data
partial order
semi structured
case study
social networks
learning algorithm
databases
real time