Sciweavers

Share
PODC
1994
ACM

Using Belief to Reason about Cache Coherence

11 years 5 months ago
Using Belief to Reason about Cache Coherence
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence in a distributed file system. To the best of our knowledge, this is the first formal analysis of this problem. We used an extended subset of a logic of authentication [4, 5] to help us analyze three cache coherence protocols: a validate-on-use protocol, an invalidation-based protocol, and a new large granularity protocol for use in weakly connected environments. In this paper, we present two runs from the large granularity protocol. Using our variant of the logic of authentication, we were able to find flaws in the design of the large granularity protocol. We found the notion of belief not only intuitively appealing for reasoning about our protocols, but also practical given the optimistic nature of our system model. Research is sponsored in part by the Air Force Materiel Command (AFMC) and the Advanced Rese...
Lily B. Mummert, Jeannette M. Wing, Mahadev Satyan
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1994
Where PODC
Authors Lily B. Mummert, Jeannette M. Wing, Mahadev Satyanarayanan
Comments (0)
books