Journal of KIISE:Computer Systems and Theory (한국정보과학회논문지:시스템및이론)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Framework of File System Robustness Test

FORT : 파일 시스템 강인성 테스트 프레임 워크

  • 김영진 (한양대학교 전자통신컴퓨터공학과) ;
  • 원유집 (한양대학교 전자통신컴퓨터공학과) ;
  • 김락기 (한양대학교 전자통신컴퓨터공학과) ;
  • 이모원 (한양대학교 전자통신컴퓨터공학과) ;
  • 박재석 (한양대학교 전자통신컴퓨터공학과) ;
  • 이주훤 (한양대학교 전자통신컴퓨터공학과)
  • Published : 2007.08.15
Download PDF
⟨ Previous Next ⟩

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.

현대 저장장치는 점차 소형화, 대용량화 되어감에 따라 디스크의 집적도는 크게 증가되어지고 있어 물리적인 오류가 발생하면 많은 디지털 정보가 소실 될 수 있다. 따라서 이에 대한 대처의 필요성이 점차 증가되어 본 논문에서는 파일시스템이 물리적인 오류에 대한 강인성과 무결성을 보장하고 있는지를 검증하는 테스트 프레임 워크를 제안하였다. 이와 같은 테스트 프레임워크를 위해 디스크 상에 실제 베드섹터를 만들 수 있는 도구 및 저장장치에서 정의하고 있는 물리적인 오류를 모두 발생시킬 수 있는 도구를 각각 개발하였고, 파일시스템에서 저장장치에 읽기/쓰기 동작이 수행되는 상황을 즉시 모니터링 할 수 있는 도구를 추가 개발하여 FORT라는 이름의 파일시스템 강인성을 검증하는 테스트 프레임 워크를 최종적으로 구성하였다. FORT를 이용해서 신뢰성 및 견고성을 위주로 개발된 EXT3파일시스템을 대상으로 강인성의 수준을 나타낼 수 있는 분석표를 작성하였으며, 이를 분석하였다. 또한 파일시스템과 디바이스 드라이버 영역의 계층화된 구조를 융합할 수 있는 도구를 개발하여 획기적인 지능형 시스템으로 발전할 수 있는 방향을 제시하였다.

Keywords

References

  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. 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
  3. Linux Test Project, 'http://ltp.sourceforge.net'
  4. 'The Data Clinic, Hard Disk Failure, http://www.dataclinic.co.uk/hard-disk-failures.htm,' 2004
  5. 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
  6. Mkfs-build a linux file system, 'http://linux.about.com/od/commands/l/blcmdl8_mkfs.htm'
  7. Tripwire Inc. Tripwire Software. 'http://www.tripwire.com'
  8. 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
  9. 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
  10. hard disk constitution, 'http://www.pcguide.com/ref/hdd/op/index.htm'
  11. 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
  12. 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
  13. hard disk device drive, 'http://www.storagereview.com/guide2000/ref/hdd'
  14. Hard disk register & ide, 'http://hem.passagen.se/communication/ide.html'
  15. Freelist Data Structure. 'http://www.graphviz.org/pub/graphviz/CURRENT/doxygen/html/structfreelist.html'
  16. Sector remapping, 'http://www.storagereview.com/guide2000/ref/hdd/perf/qual/featuresRemap.html'
  17. S.M.A.R.T., 'http://www.die.net/doc/linux/man/man8/smartd.8.html'
  18. 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 https://doi.org/10.1109/12.54853
  19. The Guide to ATA/ATAPI documentation. 'http://www.stanford.edu/~csapuntz/ide.html'
  20. Jake Adriaens, Dan Gibson, 'A Software Layer for IDE Disk Fault Injection', System Lacking Originality Workshop 2005
  21. EXT3 File system harddisk register value. '/usr/src/linux/include/linux/hdreg.h'
  22. 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 https://doi.org/10.1109/32.44380
  23. Intel reporting data. Serial e05133r0 'Serial ATA ICRC Reporting'
  24. 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