Browse > Article

Framework of File System Robustness Test  

Kim, Young-Jin (한양대학교 전자통신컴퓨터공학과)
Won, You-Jip (한양대학교 전자통신컴퓨터공학과)
Kim, Ra-Kie (한양대학교 전자통신컴퓨터공학과)
Lee, Mo-Won (한양대학교 전자통신컴퓨터공학과)
Park, Jae-Seok (한양대학교 전자통신컴퓨터공학과)
Lee, Joo-Wheun (한양대학교 전자통신컴퓨터공학과)
Publication Information
Journal of KIISE:Computer Systems and Theory / v.34, no.8, 2007 , pp. 348-366 More about this Journal
Abstract
Capacity of modem storage devices is becoming larger than yesterday and integration of disk is increasing. It refers that physical errors can damage a lot of digital information on storage devices. So we propose file system test framework in this paper to test integrity and robustness of file systems. We develop the tool for generating bad sectors on disks and the tool which creates all physical errors defined in storage devices. We also develop the tool for immediately monitoring the condition of read and write execution on storage devices. So, by integrating those tools, we develop FORT, test framework for confirming robustness of file system. We analyze robustness of ext3 file systems by FORT. Lastly, we present draft of intelligent system merging file system and device driver's layer architecture.
Keywords
File system; Robustness; Integration; Storage; Physical error; Badsector;
Citations & Related Records
연도 인용수 순위
  • Reference
1 V. Prabhakaran, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau, 'Model-Based Failure Analysis of Journaling File Systems,' presented at Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN'05) Brighton, United Kingdom, 2005
2 'The Data Clinic, Hard Disk Failure, http://www.dataclinic.co.uk/hard-disk-failures.htm,' 2004
3 K. Hannu, S. Heikki, and L. Fabrizio, 'Detection of Defective Media in Disks,' presented at Defect and Fault Tolerance in VLSI Systems, 1993., TheIEEE International Workshop on, Venice, Italy, 1993
4 K. Hannu, S. Heikki, and L. Fabrizio, 'Detecting Latent Sector Faults in Modern SCSI Disks,' presented at Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1994., MASCOTS '94., Proceedings of the Second International Workshop on, Durham, NC, USA, 1994
5 hard disk device drive, 'http://www.storagereview.com/guide2000/ref/hdd'
6 Hard disk register & ide, 'http://hem.passagen.se/communication/ide.html'
7 Tripwire Inc. Tripwire Software. 'http://www.tripwire.com'
8 EXT3 File system harddisk register value. '/usr/src/linux/include/linux/hdreg.h'
9 hard disk constitution, 'http://www.pcguide.com/ref/hdd/op/index.htm'
10 Jake Adriaens, Dan Gibson, 'A Software Layer for IDE Disk Fault Injection', System Lacking Originality Workshop 2005
11 Linux Test Project, 'http://ltp.sourceforge.net'
12 Intel reporting data. Serial e05133r0 'Serial ATA ICRC Reporting'
13 Mkfs-build a linux file system, 'http://linux.about.com/od/commands/l/blcmdl8_mkfs.htm'
14 Sector remapping, 'http://www.storagereview.com/guide2000/ref/hdd/perf/qual/featuresRemap.html'
15 J. H. Barton, E. W. Czeck, Z. Z. Segall, and D. P. Siewiorek, 'Fault Injection Experiments Using FIAT,' IEEE Trans. Comput. 39, 4 (Apr. 1990), vol. 39, pp. 575-582, 1990   DOI   ScienceOn
16 T. J. Kowalski, 'Fsck : the UNIX file system check program,' in UNIX Vol. II: research system (10th ed.): W. B. Saunders Company, 1990, pp. 581-592
17 H. K. Gene and H. S. Eugene, 'The design and implementation of tripwire: a file system integrity checker,' presented at Proceedings of the 2nd ACM Conference on Computer and communications security, Fairfax, Virginia, United States, 1994
18 The Guide to ATA/ATAPI documentation. 'http://www.stanford.edu/~csapuntz/ide.html'
19 J. Yang, P. Twohey, D. Engler, and M. Musuvathi, 'Using Model Checking to Find Serious File System Errors,' presented at Sixth Symposium on Operating Systems Design and Implementation, 2004
20 P. Vijayan, N. B. Lakshmi, A. Nitin, S. G. Haryadi, C. A.-D.Andrea, and H. A.-D. Remzi, 'IRON file systems,' presented at Proceedings of the twentieth ACM symposium on Operating systems principles (Brighton, United Kingdom, October 23 - 26, 2005), Brighton, United Kingdom, 2005
21 S. Gopalan, P. W. Charles, and Z. Erez, 'Ensuring data integrity in storage: techniques and applications,' presented at Proceedings of the 2005 ACM workshop on Storage security and survivability, Fairfax, VA, USA, 2005
22 Freelist Data Structure. 'http://www.graphviz.org/pub/graphviz/CURRENT/doxygen/html/structfreelist.html'
23 S.M.A.R.T., 'http://www.die.net/doc/linux/man/man8/smartd.8.html'
24 A. Jean, A. Martine, A. Louis, C. Yves, F. Jean-Charles, L. Jean-Claude, M. Eliane, and P. David, 'Fault Injection for Dependability Validation: A Methodology and Some Applications,' IEEE Trans. Softw. Eng. 0098-5589, vol. 16, pp. 166-182, 1990   DOI   ScienceOn