L. Mummert, J.M. Wing, M. Satyanarayanan  Home/Search
Context Related
| distcomp.hanyang.ac.kr/~san...podc94.ps cmu.edu/afs/cs/project/c...podc94.ps.gz cmu.edu/usr/anon/199...CMUCS94151.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: distcomp.hanyang.ac.kr/~...mobile (more) From: cmu.edu/People/clamen/repo...1994 (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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... (Update)
Context of citations to this paper: More
...invalidation for the volume ends the run only if there is no callback on the file. 2 A complete analysis of all three protocols appears in [18]. Without loss of generality, we can analyze this cache coherence protocol by considering one client, C , one server, S , one file, f ,...
...should drive the formalization of the system model and expression of the correctness condition. For example, in work by Mummert et al. [13], the authors started with this informal statement of cache coherence for a distributed file system: If a client believes that a cached...
Cited by: More
Operating System and File System Monitoring: A Comparison of.. - Moore (1995) (Correct)
Formalization and Verification of Coherence Protocols with.. - Mentre, Le Metayer (Correct)
Model Checking Cache Coherence Protocols for.. - Mandana.. (1995) (Correct)
Similar documents (at the sentence level):
35.0%: Exploiting Weak Connectivity in a Distributed File System - Mummert (1996) (Correct)
12.2%: A Case Study in Model Checking Software Systems - Wing, Vaziri-Farahani (1997) (Correct)
Active bibliography (related documents): More All
0.1: Model Checking Software Systems: A Case Study - Wing, Vaziri-Farahani (1995) (Correct)
0.1: Sleepers and Workaholics: Caching Strategies in Mobile.. - Barbará, Imielinski (1994) (Correct)
0.1: Modeling and Verification of a Real Life Protocol Using.. - Naik, Sistla (1994) (Correct)
Similar documents based on text: More All
0.2: Efficient Parallel Algorithms for Planar DAGs - Guattery, Miller (1995) (Correct)
0.2: Detecting Mutual Consistency of Shared Objects* - Mustaque Ahamad Francisco (Correct)
0.0: Secure Mobile Computing Final Report: 1993-97 - Research Documents (1997) (Correct)
Related documents from co-citation: More All
4: ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
3: cache coherence protocol (context) - Clarke, Grumberg et al. - 1992
3: Systematic Software Development using VDM - Jones - 1986
BibTeX entry: (Update)
L. Mummert, J.M. Wing, and M. Satyanarayanan. Using belief to reason about cache coherence. In Proceedings of the Symposium on Principles of Distributed Computing, pages 71--80, August 1994. Also CMU-CS-94-151, May 1994. http://citeseer.ist.psu.edu/mummert94using.html More
@inproceedings{ mummert94using,
author = "Lily B. Mummert and Jeannette M. Wing and M. Satyanarayanan",
title = "Using Belief to Reason about Cache Coherence",
booktitle = "Symposium on Principles of Distributed Computing",
pages = "71-80",
year = "1994",
url = "citeseer.ist.psu.edu/mummert94using.html" }
Citations (may not include all citations):689 Systematic Software Development Using VDM - Jones - 1986
616 Notation: A Reference Manual (context) - Spivey - 1989
539 Scale and Performance in a Distributed File System (context) - Howard, Kazar et al. - 1988
526 Disconnected Operation in the Coda File System - Kistler, Satyanarayanan - 1992
269 Coda: A Highly Available File System for a Distributed Works.. - Satyanarayanan, Kistler et al. - 1990
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning et al. - 1993
264 Knowledge and Common Knowledge in a Distributed Environment - Halpern, Moses - 1984
233 Caching in the Sprite Network File System - Nelson, Welch et al. - 1988
158 Implementing Remote Procedure Calls (context) - Birrell, Nelson - 1984
123 Leases: An Efficient Fault-Tolerant Mechanism for Distribute.. (context) - Gray, Cheriton - 1989
83 ACM Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
78 Cache Coherence Protocol (context) - Clarke, Grumberg et al. - 1992
61 Disconnected Operation for AFS - Huston, Honeyman - 1993
59 The ITC Distributed File System: Principles and Design (context) - Satyanarayanan, Howard et al. - 1985
41 DEC Systems Research Center (context) - Burrows, Abadi et al. - 1989
24 Formal Verification of the Encore Gigamax Cache Consistency .. (context) - McMillan, Schwalbe - 1991
21 Volumes: The Andrew File System Data Structuring Primitive (context) - Sidebotham - 1986
14 Programming Pearls: Little Languages (context) - Bentley - 1986
14 Formal Methods in Communication Protocol Design (context) - Bochmann, Sunshine - 1980
10 Automatic Verification of Sequential Circuit Design (context) - Clarke, Burch et al. - 1992
8 Using Belief to Reason About Cache Coherence - Mummert, Wing et al.
1 LOTOS and the Formal Specification of Communication Standard.. (context) - Tocher - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://distcomp.hanyang.ac.kr/~sangjin/research/mobile.html): More
A Mobile Networking System based on Internet Protocol(IP) - Bhagwat (1993) (Correct)
Sparse Partitions (Extended Abstract) - Awerbuch, Peleg (1990) (Correct)
Large Granularity Cache Coherence for Intermittent.. - Mummert Satyanarayanan (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC