Pacifier: Record and replay for relaxed-consistency multiprocessors with distributed directory protocol.
Xuehai QianBenjamin SahelicesDepei QianPublished in: ISCA (2014)
Keyphrases
- distributed systems
- lightweight
- replicated data
- wide area network
- concurrency control protocols
- distributed databases
- multi party
- computing environments
- distributed database systems
- metadata
- distributed environment
- fault tolerant
- distributed data
- cooperative
- group communication
- optimal solution
- peer to peer
- formal analysis
- communication protocol
- multi agent