Torturing databases for fun and profit

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2014

Volumn , Issue , 2014, Pages 449-464

  Zheng, Mai ^a   Tucek, Joseph ^b   Huang, Dachuan ^a   Qin, Feng ^a   Lillibridge, Mark ^b   Yang, Elizabeth S ^b   Zhao, Bill W ^b   Singh, Shashank ^a  

^a OHIO STATE UNIVERSITY   (United States)

^b HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); SYSTEMS ANALYSIS;

ACID PROPERTIES; ERROR PRONES; KEY-VALUE STORES; LINES OF CODE; OPEN SOURCE DATABASE; OPEN SOURCES; POWER FAULTS; RANKING ALGORITHM;

DATABASE SYSTEMS;

EID: 85061179900     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (46)

1. DeWitt Clause. http://en.wikipedia.org/wiki/David DeWitt.
2. Discussion on a potential bug on SQLite forum. http://sqlite.1065341.n5.nabble.com/Potential-bug-in-crash-recovery-codeunlink-and-friends-are-not-synchronous-td68885.html.
3. E2fsprogs: Ext2/3/4 filesystems utilities. http://e2fsprogs.sourceforge.net.
4. iSCSI wiki. https://en.wikipedia.org/wiki/ISCSI.
5. LightningDB documents. http://symas.com/mdb/#docs.
6. Linux SCSI target framework (tgt). http://stgt.sourceforge.net/.
7. NFI: NTFS file sector information utility. http://support.microsoft.com/kb/253066/en- us/.
8. PIN - a dynamic binary instrumentation tool. https://software.intel.com/en-us/articles/pin-a-dynamic-binary-instrumentation-tool/.
9. PIN for windows. https://software.intel.com/en- us/articles/ pintool- downloads/.
10. SQLite documents. http://www.sqlite.org/docs.html.
11. SQLite testing website. http://www.sqlite.org/testing.html.
12. XFS file system utilities. https://access.redhat.com/documentation/en-US/Red Hat Enterprise Linux/6/html/ Storage Administration Guide/xfsothers.html.
13. BATI, H., GIAKOUMAKIS, L., HERBERT, S., AND SURNA, A. A genetic approach for random testing of database systems. In Proceedings of the 33rd international conference on Very large data bases (2007), VLDB'07, VLDB Endowment, pp. 1243-1251.
14. CHAYS, D., DENG, Y., FRANKL, P. G., DAN, S., VOKOLOS, F. I., AND WEYUKER, E. J. An agenda for testing relational database applications. In Proceedings of Software Testing, Verification and Reliability (March 2004), pp. 17-44.
15. CHEN, P. M., LEE, E. K., GIBSON, G. A., KATZ, R. H., AND PATTERSON, D. A. RAID: high-performance, reliable secondary storage. ACM Comput. Surv. 26, 2 (June 1994), 145-185.
16. CHEN, P. M., NG, W. T., CHANDRA, S., AYCOCK, C., RAJAMANI, G., AND LOWELL, D. The Rio file cache: Surviving operating system crashes. In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems (New York, NY, USA, 1996), ASPLOS VII, ACM, pp. 74-83.
17. CHIDAMBARAM, V., SHARMA, T., ARPACI-DUSSEAU, A. C., AND ARPACI-DUSSEAU, R. H. Consistency Without Ordering. In Proceedings of the 10th Conference on File and Storage Technologies (FAST'12) (San Jose, California, February 2012).
18. CNN. Manufacturer blames super bowl outage on incorrect setting. http://www.cnn.com/2013/02/08/us/superdome-poweroutage/, 2013.
19. GABRYS, R., YAAKOBI, E., GRUPP, L. M., SWANSON, S., AND DOLECEK, L. Tackling intracell variability in TLC flash through tensor product codes. In ISIT'12 (2012), pp. 1000-1004.
20. GRUPP, L. M., CAULFIELD, A. M., COBURN, J., SWANSON, S., YAAKOBI, E., SIEGEL, P. H., AND WOLF, J. K. Characterizing flash memory: anomalies, observations, and applications. In Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture (New York, NY, USA, 2009), MICRO 42, ACM, pp. 24-33.
21. HEISER, G., LE SUEUR, E., DANIS, A., BUDZYNOWSKI, A., SALOMIE, T.-L., AND ALONSO, G. RapiLog: Reducing System Complexity Through Verification. In Proceedings of the 8th ACM European Conference on Computer Systems (New York, NY, USA, 2013), EuroSys'13, ACM, pp. 323-336.
22. HELLERSTEIN, J. M., STONEBRAKER, M., AND HAMILTON, J. Architecture of a database system. Foundations and Trends in Databases 1, 2 (2007), 141-259.
23. IBM. Database logging using raw devices is deprecated. http://publib.boulder.ibm.com/infocenter/db2luw/v9/topic/com.ibm. db2.udb.rn.doc/doc/c0023086.htm, 2006.
24. LEACH, A. Level 3's UPS burnout sends websites down in flames. http://www.theregister.co.uk/2012/07/10/data centre power cut/, 2012.
25. MCMILLAN, R. Amazon blames generators for blackout that crushed Netflix. http://www.wired.com/wiredenterprise/2012/07/ amazon explains/, 2012.
26. MICROSOFT. NTFS vs. FAT vs. raw partitions. http://technet.microsoft.com/en-us/library/cc966414.aspx, 2007.
27. MILLER, R. Human error cited in hosting.com outage. http://www.datacenterknowledge.com/archives/2012/07/28/human-error-cited-hosting-com-outage/, 2012.
28. MILLER, R. Power outage hits London data center. http://www.datacenterknowledge.com/archives/2012/07/10/power-outagehits-london-data-center/, 2012.
29. MILLER, R. Data center outage cited in visa downtime across canada. http://www.datacenterknowledge.com/archives/2013/01/28/data-center-outage-cited-in-visa-downtime-across-canada/, 2013.
30. MILLER, R. Power outage knocks DreamHost customers offline. http://www.datacenterknowledge.com/archives/2013/03/20/power-outage-knocks-dreamhost-customers-offline/, 2013.
31. NBC. Power outage affects thousands, including columbus hospital. http://columbus.gotnewswire.com/news/power-outage-affects-thousands-including-columbus-hospital, 2014.
32. NIGHTINGALE, E. B., DOUCEUR, J. R., AND ORGOVAN, V. Cycles, cells and platters: An empirical analysis of hardware failures on a million consumer PCs. In Proceedings of the Sixth Conference on Computer Systems (New York, NY, USA, 2011), EuroSys'11, ACM, pp. 343-356.
33. ORACLE. Desupport raw storage device. http://docs.oracle.com/cd/E16655 01/server.121/e17642/deprecated.htm, 2013.
34. PARK, S., KELLY, T., AND SHEN, K. Failure-atomic msync(): A simple and efficient mechanism for preserving the integrity of durable data. In Proceedings of the 8th ACM European Conference on Computer Systems (New York, NY, USA, 2013), EuroSys '13, ACM, pp. 225-238.
35. PILLAI, T. S., CHIDAMBARAM, V., ALAGAPPAN, R., ALKISWANY, S., ARPACI-DUSSEAU, A. C., AND ARPACI-DUSSEAU, R. H. All file systems are not created equal: On the complexity of crafting crash-consistent applications. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI'14) (October 2014).
36. PRABHAKARAN, V., BAIRAVASUNDARAM, L. N., AGRAWAL, N., GUNAWI, H. S., ARPACI-DUSSEAU, A. C., AND ARPACI-DUSSEAU, R. H. IRON File Systems. In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05) (Brighton, United Kingdom, October 2005), pp. 206-220.
37. SCHROEDER, B., AND GIBSON, G. A. Disk failures in the real world: What does an MTTF of 1,000,000 hours mean to you? In Proceedings of the 5th USENIX Conference on File and Storage Technologies (FAST'07) (2007).
38. SLUTZ, D. R. Massive stochastic testing of SQL. In Proceedings of the 24rd International Conference on Very Large Data Bases (San Francisco, CA, USA, 1998), VLDB'98, Morgan Kaufmann Publishers Inc., pp. 618-622.
39. SUBRAMANIAN, S., ZHANG, Y., VAIDYANATHAN, R., GUNAWI, H. S., ARPACI-DUSSEAU, A. C., ARPACI-DUSSEAU, R. H., AND NAUGHTON, J. F. Impact of disk corruption on open-source DBMS. In Data Engineering (ICDE), 2010 IEEE 26th International Conference on (2010), IEEE, pp. 509-520.
40. TSENG, H.-W., GRUPP, L. M., AND SWANSON, S. Understanding the impact of power loss on flash memory. In Proceedings of the 48th Design Automation Conference (DAC'11) (2011).
41. VERGE, J. Internap data center outage takes down Livestream and StackExchange. http://www.datacenterknowledge.com/archives/2014/05/16/internap-data-center-outage-takeslivestream-stackexchange/, 2014.
42. WOLFFRADT, R. S. V. Fire in your data center: No power, no access, now what? http://www.govtech.com/state/Fire-in-yourData-Center-No-Power-No-Access-Now-What.html, 2014.
43. YANG, J., CHEN, T., WU, M., XU, Z., LIU, X., LIN, H., YANG, M., LONG, F., ZHANG, L., AND ZHOU, L. MODIST: Transparent model checking of unmodified distributed systems. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (Berkeley, CA, USA, 2009), NSDI'09, pp. 213-228.
44. YANG, J., SAR, C., AND ENGLER, D. EXPLODE: a lightweight, general system for finding serious storage system errors. In Proceedings of the Seventh Symposium on Operating Systems Design and Implementation (OSDI'06) (November 2006), pp. 131-146.
45. ZELLER, A. Isolating cause-effect chains from computer programs. In Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering (New York, NY, USA, 2002), SIGSOFT'02/FSE-10, ACM, pp. 1-10.
46. ZHENG, M., TUCEK, J., QIN, F., AND LILLIBRIDGE, M. Understanding the robustness of SSDs under power fault. In Proceedings of the 11th USENIX Conference on File and Storage Technologies (FAST'13) (2013).