Benchmarking and testing OSD for correctness and compliance

Authors:
Dalit Naor;Petra Reshef;Ohad Rodeh;Allon Shafrir;Adam Wolman;Eitan Yaffe
Affiliations:
IBM Haifa Research Laboratory, Haifa;IBM Haifa Research Laboratory, Haifa;IBM Haifa Research Laboratory, Haifa;IBM Haifa Research Laboratory, Haifa;IBM Haifa Research Laboratory, Haifa;IBM Haifa Research Laboratory, Haifa
Venue:
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Year:
2005

Citing 7
Cited 0

Constraint-Based Automatic Test Data Generation

IEEE Transactions on Software Engineering
A new approach to I/O performance evaluation: self-scaling I/O benchmarks, predicted I/O performance

ACM Transactions on Computer Systems (TOCS) - Special issue on computer architecture
Test program generation for functional verification of PowerPC processors in IBM

DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Comparison-based file server verification

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
Using model checking to find serious file system errors

OSDI'04 Proceedings of the 6th conference on Symposium on Opearting Systems Design & Implementation - Volume 6
File system logging versus clustering: a performance comparison

TCON'95 Proceedings of the USENIX 1995 Technical Conference Proceedings
Object storage: the future building block for storage systems

LGDI '05 Proceedings of the 2005 IEEE International Symposium on Mass Storage Systems and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Developers often describe testing as being tedious and boring. This work challenges this notion; we describe tools and methodologies crafted to test object-based storage devices (OSDs) for correctness and compliance with the T10 OSD standard. A special consideration is given to test the security model of an OSD implementation. Additionally, some work was carried out on building OSD benchmarks. This work can be a basis for a general-purpose benchmark suite for OSDs in the future, as more OSD implementations emerge. Originally designed to test performance, it was surprisingly useful for discovering unexpected peculiar behaviors and special type of bugs that are otherwise not considered bugs. The tool described here has been used to verify object-disks built by Seagate and IBM research.