Mandana Vaziri, Nancy Lynch  Home/Search
Context Related
| mit.edu/tds/papers/...MITLCSTM576.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: mit.edu/tds/lynchpubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Most RAID controllers implemented in industry are complicated and difficult to reason about. This complexity has led to software and hardware systems that are difficult to debug and hard to modify. To overcome this problem Courtright and Gibson have developed a rapid prototyping framework for RAID architectures which relies on a generic controller algorithm [Courtright94]. The designer of a new architecture needs to specify parts of the generic controller algorithm and must justify the... (Update)
Context of citations to this paper: More
...gives the step correspondence of the proof. The complete formal proof of the simulation relation is not presented here and appears in [10]. 7.1 Consistency In this section, we present the consistency property. A proof of this Lemma appears in [10] Informally, a parity group...
.... example, Vaziri, Lynch, and Wing have used model checking to validate the correctness of some of the graphs presented in Appendix A [Vaziri96] This technique models an algorithm as a finite state machine and then exercises all possible orderings of the machine, verifying that...
Cited by: More
A Transactional Approach to Redundant Disk Array Implementation - Courtright, II (1997) (Correct)
Proving Correctness of a Controller Algorithm for the RAID.. - Vaziri, Lynch, Wing (1997) (Correct)
Active bibliography (related documents): More All
0.4: RAIDframe: A Rapid Prototyping Tool for RAID Systems - II, Gibson, Holland.. (1997) (Correct)
0.3: RAIDframe: Rapid prototyping for disk arrays - Gibson, al. (1996) (Correct)
0.3: A Structured Approach to Redundant Disk Array Implementation - II., al. (1996) (Correct)
Similar documents based on text: More All
0.3: The Scotch Parallel Storage System - Gibson, al. (1995) (Correct)
0.3: A Redundant Disk Array Architecture for Efficient.. - Stodolsky, Holland.. (1994) (Correct)
0.3: Conceptual Graph Representation of the Plastic Injection Molding.. - Leonard (Correct)
Related documents from co-citation: More All
3: RAIDframe: Rapid prototyping for disk arrays - Gibson, Holland et al. - 1995
2: Backward Error Recovery in Redundant Disk Arrays - Courtright, Gibson - 1994
2: A Case for Redundant Arrays of Inexpensive Disks (RAID (context) - Patterson, Gibson et al. - 1988
BibTeX entry: (Update)
Mandana Vaziri and Nancy Lynch. "Proving Correctness of a Controller Algorithm for the RAID Level 5 System". MIT Laboratory for Computer Science, Technical Report, December 1997. Available by anonymous ftp at ftp://theory.lcs.mit.edu/pub/tds/raid.ps.Z. http://citeseer.ist.psu.edu/vaziri97proving.html More
@inproceedings{ vaziri98proving,
author = "Mandana Vaziri and Nancy A. Lynch and Jeannette M. Wing",
title = "Proving Correctness of a Controller Algorithm for the {RAID} Level 5 System",
booktitle = "Symposium on Fault-Tolerant Computing",
pages = "16-25",
year = "1998",
url = "citeseer.ist.psu.edu/vaziri97proving.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1996
315 Symbolic Model Checking: an Approach to the State Explosion .. (context) - McMillan - 1992
293 Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987
158 A Case for Redundant Arrays of Inexpensive Disks (RAID (context) - Patterson, Gibson et al. - 1988
139 Introduction to InputOutput Automata (context) - Lynch, Introduction et al. - 1989
113 Disk Shadowing (context) - Bitton, Gray - 1988
93 Synchronized Disk Interleaving (context) - Kim - 1986
93 Disk Striping (context) - Salem, Garcia-Molina - 1986
43 Parity Striping of Disc Arrays: Low-Cost Reliable Storage wi.. (context) - Gray, Horst et al. - 1990
36 Designing disk arrays for high data reliability - Gibson, Patterson - 1993
31 Introduction to Redundant Arrays of Inexpensive Disks (context) - Patterson, Chen et al. - 1989
11 Providing Fault Tolerance in Parallel Secondary Storage Syst.. (context) - Park, Balasubramanian - 1986
10 Backward error recovery in redundant disk arrays - Gibson - 1994
8 An evaluation of multiple-disk I/O systems (context) - Reddy, Banerjee - 1989
7 Efficient Mass Storage Parity Recovery Mechanism (context) - Lawlor - 1981
6 RAIDframe: Rapid prototyping for disk arrays - Gibson, Holland et al. - 1995
5 A Transactional Approach to Redundant Disk Array Implementat.. - William - 1997
4 Redundant Disk Arrays: Reliable, Parallel Secondary Storage (context) - Gibson - 1990
Documents on the same site (http://theory.lcs.mit.edu/tds/lynch-pubs.html): More
Hybrid I/O Automata Revisited - Lynch, Segala, Vaandrager (2001) (Correct)
"Helping": Several Formalizations - Lynch (1975) (Correct)
Fast Allocation Of Nearby Resources In A Distributed System - Lynch (1980) (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