W.V. Courtright II., et al.  Home/Search
Context Related
| cmu.edu/afs/cs/projec...Sigmetrics96.ps cmu.edu/PDLFTP/RAID/Sigmetrics96.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: dartmouth.edu/pario/bib/short (more) From: cmu.edu/PUBLICATIONS/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion Composing multi-step storage operations as a list of primitive operations is a well established approach to storage control [Brown72]. While concurrency can be introduced into this abstraction by splitting the array controller into multiple processors each executing a linear sequence of primitives [Cao94], we advocate sequencing primitives with directed acyclic graphs (DAGs). We believe DAGs are a better representation because only the architectural dependencies between primitives are... (Update)
Context of citations to this paper: More
...that need to be verified. This paper presents the modeling and verification of a controller algorithm for the RAID Level 5 System [5]. We model the system using I O automata [6] give an external requirements specification, and prove that the model implements its...
.... in Figure 14, there is almost no difference in the measurements between in kernel and stand alone user level RAIDframe performance [Gibson95] which means that array designers unable or unwilling to port RAIDframe s in kernel implementation to their operating system can be...
Cited by: More
Proving Correctness of a Controller Algorithm for the RAID.. - Vaziri, Lynch (1997) (Correct)
A Transactional Approach to Redundant Disk Array Implementation - Courtright, II (1997) (Correct)
RAIDframe: A Rapid Prototyping Tool for RAID Systems - II, Gibson, Holland.. (1997) (Correct)
Active bibliography (related documents): More All
0.4: A Structured Approach to Redundant Disk Array Implementation - II., al. (1996) (Correct)
0.4: RAIDframe: Rapid prototyping for disk arrays - Gibson, al. (1996) (Correct)
0.1: Backward Error Recovery in Redundant Disk Arrays - II, Gibson (1994) (Correct)
Similar documents based on text: More All
0.1: RAID for Mobile Computers - Youssef (1995) (Correct)
0.0: Information and Governance in the Silicon Valley Model - Aoki (1998) (Correct)
0.0: STMM: A Set Theory for Mechanized Mathematics - Farmer (2000) (Correct)
Related documents from co-citation: More All
6: Backward Error Recovery in Redundant Disk Arrays - Courtright, Gibson - 1994
5: Designing disk arrays for high data reliability - Gibson, Patterson - 1993
5: A Case for Redundant Arrays of Inexpensive Disks (RAID (context) - Patterson, Gibson et al. - 1988
BibTeX entry: (Update)
G. Gibson, W. Courtright II, M. Holland, and J. Zelenka, "RAIDframe: Rapid prototyping for disk arrays," Computer Science Technical Report CMU-CS-95-200, Carnegie Mellon University (1995) http://citeseer.ist.psu.edu/article/gibson96raidframe.html More
@inproceedings{ ii96raidframe,
author = "William V. {Courtright {II}} and Garth A. Gibson and Mark Holland and Jim Zelenka",
title = "{RAIDframe}: rapid prototyping for disk arrays",
booktitle = "Proceedings of the 1996 {ACM} {SIGMETRICS} Conference on Measurement and Modeling of Computer Systems",
publisher = "ACM Press",
address = "Philadelphia, PA",
pages = "268--269",
year = "1996",
url = "citeseer.ist.psu.edu/article/gibson96raidframe.html" }
Citations (may not include all citations):71 The TickerTAIP parallel RAID architecture - Cao, Lim et al. - 1993
68 Chained declustering: a new availability strategy for multip.. - Hsiao, DeWitt - 1990
24 An Evaluation of Redundant Arrays of Disks using an Amdahl 5.. (context) - Chen - 1990
11 Line Data Reconstruction in Redundant Disk Arrays - Holland - 1994
10 Backward Error Recovery in Redundant Disk Arrays - Courtright, Gibson - 1994
6 RAIDframe: Rapid prototyping for disk arrays - Gibson, Holland et al. - 1995
4 Channel and Direct Access Device Architecture (context) - Brown, Gibson et al. - 1972
1 Database Computer System Manual (context) - Corporation
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.dartmouth.edu/pario/bib/short.html): More
The Scotch Parallel Storage System - Gibson, al. (1995) (Correct)
Implementation and Evaluation of Prefetching in the.. - Arunachalam.. (1996) (Correct)
PASSION Runtime Library for the Intel Paragon - Choudhary, Bordawekar, More.. (1995) (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