{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T11:40:51Z","timestamp":1778672451129,"version":"3.51.4"},"reference-count":27,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2018,3,16]],"date-time":"2018-03-16T00:00:00Z","timestamp":1521158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1464429"],"award-info":[{"award-number":["CNS-1464429"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Research grant from the Research Grants Council of the Hong Kong Special Administrative Region, China","award":["CityU 11214115"],"award-info":[{"award-number":["CityU 11214115"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["61674094"],"award-info":[{"award-number":["61674094"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2018,5,31]]},"abstract":"<jats:p>Energy harvesting is becoming a favorable alternative to power future generation embedded systems, as it is more environmentally and user friendly. However, energy harvesting powered embedded systems suffer from frequent execution interruption due to unstable energy supply. To tackle this problem, nonvolatile memory has been deployed to save the whole volatile state for computation. When power resumes, the processor can restore the state back to volatile memories and continue execution. However, without careful consideration, the process of checkpointing and resuming could cause inconsistency between volatile and nonvolatile memories, which leads to irreversible errors. In this article, we propose a consistency-aware adaptive checkpointing scheme that ensures correctness for all checkpoints. The proposed technique efficiently identifies all possible inconsistency positions in programs and inserts auxiliary code to ensure correctness by offline analysis. In addition, adaptive checkpointing assisted register file profiling and online tracking techniques further reduce the overhead of each checkpoint. Evaluation results show that the proposed checkpointing strategy can successfully eliminate inconsistency errors and greatly reduce the checkpointing overhead.<\/jats:p>","DOI":"10.1145\/3182170","type":"journal-article","created":{"date-parts":[[2018,3,16]],"date-time":"2018-03-16T12:49:41Z","timestamp":1521204581000},"page":"1-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Avoiding Data Inconsistency in Energy Harvesting Powered Embedded Systems"],"prefix":"10.1145","volume":"23","author":[{"given":"Mimi","family":"Xie","sequence":"first","affiliation":[{"name":"University of Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Pan","sequence":"additional","affiliation":[{"name":"University of Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mengying","family":"Zhao","sequence":"additional","affiliation":[{"name":"Shandong University, Qingdao, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yongpan","family":"Liu","sequence":"additional","affiliation":[{"name":"Tsinghua University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chun Jason","family":"Xue","sequence":"additional","affiliation":[{"name":"City University of Hong Kong, Kowloon, Hong Kong"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingtong","family":"Hu","sequence":"additional","affiliation":[{"name":"University of Pittsburgh, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,3,16]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547919"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2014.2371494"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1128020.1128563"},{"key":"e_1_2_1_5_1","unstructured":"Texas Instruments. MSP430FRxx Microcontrollers. Retrieved February 16 2018 from http:\/\/www.ti.com\/lsds\/ti\/microcontrollers_16-bit_32-bit\/msp\/ultra-low_power\/msp430frxx_fram\/overview.page.  Texas Instruments. MSP430FRxx Microcontrollers. Retrieved February 16 2018 from http:\/\/www.ti.com\/lsds\/ti\/microcontrollers_16-bit_32-bit\/msp\/ultra-low_power\/msp430frxx_fram\/overview.page."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.63"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1274858.1274870"},{"key":"e_1_2_1_8_1","volume-title":"Complexity of Computer Computations","author":"Karp Richard M.","unstructured":"Richard M. Karp . 1972. Reducibility among combinatorial problems . In Complexity of Computer Computations . Springer , 85--103. Richard M. Karp. 1972. Reducibility among combinatorial problems. In Complexity of Computer Computations. Springer, 85--103."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC.2008.4523280"},{"key":"e_1_2_1_10_1","volume-title":"Bang","author":"Khan Qadeer A.","year":"2009","unstructured":"Qadeer A. Khan and Sarvesh J . Bang . 2009 . Energy Harvesting for Self Powered Wearable Health Monitoring System. Technical Report. Oregon State University . Qadeer A. Khan and Sarvesh J. Bang. 2009. Energy Harvesting for Self Powered Wearable Health Monitoring System. Technical Report. Oregon State University."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2013.2252526"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747910"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737978"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 2013 IEEE International Symposium on Low Power Electronics and Design (ISLPED\u201913)","author":"Mirhoseini A.","unstructured":"A. Mirhoseini , E. M. Songhori , and F. Koushanfar . 2013. Automated checkpointing for enabling intensive applications on energy harvesting devices . In Proceedings of the 2013 IEEE International Symposium on Low Power Electronics and Design (ISLPED\u201913) . 27--32. A. Mirhoseini, E. M. Songhori, and F. Koushanfar. 2013. Automated checkpointing for enabling intensive applications on energy harvesting devices. In Proceedings of the 2013 IEEE International Symposium on Low Power Electronics and Design (ISLPED\u201913). 27--32."},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 3rd International Conference on Ubiquitous Computing (UbiComp\u201901)","author":"Paradiso J. A.","unstructured":"J. A. Paradiso and M. Feldmeier . 2001. A compact, wireless, self-powered pushbutton controller . In Proceedings of the 3rd International Conference on Ubiquitous Computing (UbiComp\u201901) . 299--304. J. A. Paradiso and M. Feldmeier. 2001. A compact, wireless, self-powered pushbutton controller. In Proceedings of the 3rd International Conference on Ubiquitous Computing (UbiComp\u201901). 299--304."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855610.1855615"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2618128.2618136"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950386"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.928763"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2009.2034414"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SURV.2011.060710.00094"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPSN.2008.67"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2014.6742919"},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of the 20th Asia and South Pacific Design Automation Conference (ASP-DAC\u201915)","author":"Xie Mimi","year":"2015","unstructured":"Mimi Xie , Chen Pan , Jingtong Hu , Chengmo Yang , and Yiran Chen . 2015 . Checkpoint-aware instruction scheduling for nonvolatile processor with multiple functional units . In Proceedings of the 20th Asia and South Pacific Design Automation Conference (ASP-DAC\u201915) . 316--321. Mimi Xie, Chen Pan, Jingtong Hu, Chengmo Yang, and Yiran Chen. 2015. Checkpoint-aware instruction scheduling for nonvolatile processor with multiple functional units. In Proceedings of the 20th Asia and South Pacific Design Automation Conference (ASP-DAC\u201915). 316--321."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744842"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2755753.2755881"},{"key":"e_1_2_1_27_1","volume-title":"Digest of Technical Papers: IEEE International Solid-State Circuits Conference (ISSCC\u201911)","author":"Zwerg M.","unstructured":"M. Zwerg , A. Baumann , R. Kuhn , M. Arnold , R. Nerlich , M. Herzog , R. Ledwa , C. Sichert , V. Rzehak , P. Thanigai , and B. O. Eversmann . 2011. An 82uA\/MHz microcontroller with embedded FeRAM for energy-harvesting applications . In Digest of Technical Papers: IEEE International Solid-State Circuits Conference (ISSCC\u201911) . 334--336. M. Zwerg, A. Baumann, R. Kuhn, M. Arnold, R. Nerlich, M. Herzog, R. Ledwa, C. Sichert, V. Rzehak, P. Thanigai, and B. O. Eversmann. 2011. An 82uA\/MHz microcontroller with embedded FeRAM for energy-harvesting applications. In Digest of Technical Papers: IEEE International Solid-State Circuits Conference (ISSCC\u201911). 334--336."}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3182170","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3182170","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3182170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:41:19Z","timestamp":1750282879000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3182170"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,16]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,5,31]]}},"alternative-id":["10.1145\/3182170"],"URL":"https:\/\/doi.org\/10.1145\/3182170","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"value":"1084-4309","type":"print"},{"value":"1557-7309","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,16]]},"assertion":[{"value":"2017-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-01-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}