A lock-based cache coherence protocol for scope consistency.
Weiwu HuWeisong ShiZhimin TangMing LiPublished in: J. Comput. Sci. Technol. (1998)
Keyphrases
- locking protocol
- concurrency control
- replicated data
- correctness criteria
- distributed databases
- deadlock free
- transaction processing systems
- snapshot isolation
- update transactions
- lightweight
- concurrency control protocols
- data replication
- hierarchical data
- neural network
- replicated databases
- update operations
- cryptographic protocols
- communication protocol
- formal analysis
- constraint networks
- distributed systems
- database
- global constraints
- coloured petri nets