Failure-atomic msync(): A simple and efficient mechanism for preserving the integrity of durable data

Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013

Volumn , Issue , 2013, Pages 225-238

  Park, Stan ^a   Kelly, Terence ^b   Shen, Kai ^a  

^a UNIVERSITY OF ROCHESTER   (United States)

^b HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCEPTUAL SIMPLICITY; FLEXIBLE PROGRAMMING; GENERAL PROGRAMMING; LINUX IMPLEMENTATION; POWER INTERRUPTIONS; PROGRAMMING FLEXIBILITY; SOLID-STATE STORAGE; STANDARD TEMPLATE LIBRARY;

ATOMS; COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING; FLASH-BASED SSDS; OUTAGES; SEMANTICS;

DIGITAL STORAGE;

EID: 84877714777     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2465351.2465374     Document Type: Conference Paper

References (47)

1. M. Astrahan, M. Blasgen, K. Chamberlain, K. Eswaran, J. Gravy, P. Griffiths, W. King, I. Traiger, B. Wade, and V. Watson. System R: Relational approach to database management. ACM Trans. on Database Systems, 1(2):97-137, June 1976.
2. M. Atkinson, P. Bailey, K. Chisholm, W. Cockshott, and R. Morrison. PS-Algol: A language for persistent programming. In Proc. of the 10th Australian National Computer Conference, pages 70-79, Melbourne, Australia, 1983.
3. M. Atkinson, K. Chisholm, P. Cockshott, and R. Marshall. Algorithms for a persistent heap. Software: Practice and Experience, 13(3):259-271, Mar. 1983.
4. A. Bensoussan, C. Clingen, and R. Daley. The MULTICS virtual memory: Concepts and design. Communications of the ACM, 15(5):308-318, May 1972.
5. Oracle Berkeley DB Programmer's Reference Guide, 11g Release 2, Dec. 2011. http://docs.oracle.com/cd/E17076-02/html/programmer-reference/BDB-Prog- %Reference.pdf.
6. A. P. Black. Understanding transactions in the operating system context. In Fourth ACM SIGOPS European Workshop, pages 73-76, Bologna, Italy, Sept. 1990.
7. F. Chang, J. Dean, S. Ghemawat, W. C. Hsieh, D. A. Wallach, M. Burrows, T. Chandra, A. Fikes, and R. E. Gruber. Bigtable: A distributed storage system for structured data. ACM Trans. on Computer Systems, 26(2), June 2008.
8. Choi et al. A 20nm 1.8V 8Gb PRAM with 40MB/s program bandwidth. In Proc. of the Int'l Solid-State Circuits Conf., San Francisco, CA, Feb. 2012.
9. J. Coburn, A. M. Caulfield, A. Akel, L. M. Grupp, R. K. Gupta, R. Jhala, and S. Swanson. NV-Heaps: Making persistent objects fast and safe with next-generation, non-volatile memories. In Proc. of the 16th Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Newport Beach, CA, Mar. 2011.
10. J. Condit, E. B. Nightingale, C. Frost, E. Ipek, B. Lee, D. Burger, and D. Coetzee. Better I/O through byte-addressable, persistent memory. In Proc. of the 22nd ACM Symp. on Operating Systems Principles (SOSP), pages 133-146, Big Sky, MT, Oct. 2009.
11. De Sandre et al. A 4 Mb LV MOS-selected embedded phase change memory in 90 nm standard CMOS technology. IEEE Journal of Solid-State Circuits, 46(1):52-63, Jan. 2011.
12. J. Dean and S. Ghemawat. leveldb - A fast and lightweight key/value database library by Google. http://code.google.com/p/leveldb/.
13. G. DeCandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman, A. Pilchin, S. Sivasubramanian, P. Vosshall, and W. Vogels. Dynamo: Amazon's highly available key-value store. In Proc. of the 21st ACM Symp. on Operating Systems Principles (SOSP), pages 205-220, Stevenson, WA, Oct. 2007.
14. E. N. M. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson. A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys, 34(3):375-408, Sept. 2002.
15. FAL Labs. Kyoto Cabinet: a straightforward implementation of DBM. http://fallabs.com/kyotocabinet/.
16. FAL Labs. Kyoto Tycoon: a handy cache/storage server. http://fallabs.com/kyototycoon/.
17. G. R. Ganger, M. K. McKusick, C. A. N. Soules, and Y. N. Patt. Soft updates: A solution to the metadata update problem in file systems. ACM Trans. on Computer Systems, 18(2):127-153, May 2000.
18. J. F. Garza andW. Kim. Transaction management in an object-oriented database system. In Proc. of the ACM SIGMOD Conf. on Management of Data, pages 37-45, Chicago, IL, Sept. 1988.
19. G. V. Ginderachter. V8Ken. https://github.com/supergillis/v8-ken/.
20. J. Guerra, L. Mármol, D. Campello, C. Crespo, R. Rangaswami, and J.Wei. Software persistent memory. In Proc. of the USENIX Annual Technical Conf., Boston, MA, June 2012.
21. R. Guerraoui and L. Rodrigues. Introduction to Reliable Distributed Programming. Springer, 2010.
22. D. Harnie, J. D. Koster, and T. V. Cutsem. SchemeKen. https://github.com/tvcutsem/schemeken.
23. D. Hitz, J. Lau, and M. Malcolm. File system design for an NFS file server appliance. In Proc. of the USENIX Winter Technical Conf., San Francisco, CA, Jan. 1994.
24. T. Kelly. Ken open-source distribution. http://ai.eecs.umich.edu/ ~tpkelly/Ken/.
25. T. Kelly, A. H. Karp, M. Stiegler, T. Close, and H. K. Cho. Output-valid rollback-recovery. Technical report, HP Labs, 2010. http://www.hpl.hp.com/ techreports/2010/HPL-2010-155.pdf.
26. C. Killian and S. Yoo. MaceKen open-source distribution. http://www.macesystems.org/maceken/.
27. D. E. Lowell and P. M. Chen. Free transactions with Rio Vista. In Proc. of the 16th ACM Symp. on Operating Systems Principles (SOSP), pages 92-101, Saint Malo, France, Oct. 1997.
28. Microsoft. Alternatives to using Transactional NTFS. http://msdn. microsoft.com/en-us/library/hh802690.aspx.
29. How to have a checkpoint file using mmap which is only synced to disk manually? http://stackoverflow.com/questions/3146496/.
30. D. Narayanan and O. Hodson. Whole-system persistence with non-volatile memories. In Proc. of the 17th Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), London, UK, Mar. 2012.
31. E. B. Nightingale, K. Veeraraghavan, P. M. Chen, and J. Flinn. Rethink the sync. ACM Trans. on Computer Systems, 26(3), Sept. 2008.
32. J. O'Toole, S. Nettles, and D. Gifford. Concurrent compacting garbage collection of a persistent heap. In Proc. of the 14th ACM Symp. on Operating Systems Principles (SOSP), pages 161-174, Asheville, NC, Dec. 1993.
33. S. Park and K. Shen. FIOS: A fair, efficient Flash I/O scheduler. In Proc. of the 10th USENIX Conf. on File and Storage Technologies (FAST), San Jose, CA, Feb. 2012.
34. D. E. Porter, O. S. Hofmann, C. J. Rossbach, A. Benn, and E. Witchel. Operating system transactions. In Proc. of the 22nd ACM Symp. on Operating Systems Principles (SOSP), pages 161-176, Big Sky, MT, Oct. 2009.
35. V. Prabhakaran, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Analysis and evolution of journaling file systems. In Proc. of the USENIX Annual Technical Conf., pages 105-120, Anaheim, CA, Apr. 2005.
36. V. Prabhakaran, T. L. Rodeheffer, and L. Zhou. Transactional Flash. In Proc. of the 8th USENIX Symp. on Operating Systems Design and Implementation (OSDI), pages 147-160, San Diego, CA, Dec. 2008.
37. M. Satyanarayanan, H. H. Mashburn, P. Kumar, D. C. Steere, and J. J. Kistler. Lightweight recoverable virtual memory. In Proc. of the 14th ACM Symp. on Operating Systems Principles (SOSP), pages 146-160, Asheville, NC, Dec. 1993.
38. R. Sears and E. Brewer. Stasis: Flexible transactional storage. In Proc. of the 7th USENIX Symp. on Operating Systems Design and Implementation (OSDI), Seattle, WA, Nov. 2006.
39. M. I. Seltzer, G. R. Granger, M. K. McKusick, K. A. Smith, C. A. N. Soules, and C. A. Stein. Journaling versus soft updates: Asynchronous meta-data protection in file systems. In Proc. of the USENIX Annual Technical Conf., San Deigo, CA, June 2000.
40. SQLite, Oct. 2012. http://www.sqlite.org/.
41. SQLite atomic commit, Oct. 2012. http://www.sqlite.org/atomiccommit.html.
42. M. Stonebraker. Operating system support for database management. Communications of the ACM, 24(7):412-418, July 1981. (Pubitemid 12511645)
43. S. Venkataraman, N. Tolia, P. Ranganathan, and R. H. Campbell. Consistent and durable data structures for non-volatile byte-addressable memory. In Proc. of the 9th USENIX Conf. on File and Storage Technologies (FAST), San Jose, CA, Feb. 2011.
44. H. Volos, A. J. Tack, and M. M. Swift. Mnemosyne: Lightweight persistent memory. In Proc. of the 16th Int'l Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 91-103, Newport Beach, CA, Mar. 2011.
45. S. Yoo, C. Killian, T. Kelly, H. K. Cho, and S. Plite. Composable reliability for asynchronous systems. In Proceedings of USENIX Annual Technical Conference, 2012. https://www.usenix.org/system/files/conference/atc12/atc12- final206-7-2%0-12.pdf.
46. D. H. Yoon, R. S. Schreiber, J. Chang, N. Muralimanohar, P. Ranganathan, and P. Faraboschi. VerMem: Versioned Memory using Multilevel-Cell NVRAM. In Non-Volatile Memories Workshop, Mar. 2012. https://lph.ece.utexas.edu/users/ dhyoon/pubs/vermem-poster-nvmw12.pdf.
47. M. Zheng, J. Tucek, F. Qin, and M. Lillibridge. Understanding the robustness of SSDs under power fault. In Proc. of the 11th USENIX Conf. on File and Storage Technologies (FAST), San Jose, CA, Feb. 2013.