Implementing Multithreaded Protocols for Release Consistency on Top of the Generic DSM-PM Platform.

Gabriel Antoniu Luc Bougé

Published in: IWCC (2001)

Keyphrases

communication protocol
domain specific
real time
consistency checking
multi user
linear hashing
metadata
high level
generic model
concurrency control protocols
correctness criteria