Chime: Checkpointing long computations on interm ittently energized IoT devices

IEEE Transactions on Multi-Scale Computing Systems

Volumn 2, Issue 4, 2016, Pages 277-290

  Mirhoseini, Azalia ^a   Rouhani, Bita Darvish ^b   Songhori, Ebrahim ^a   Koushanfar, Farinaz ^b  

^a Rice University   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Checkpointing; Energy harvesting; Hardware; Intermittent power; IoT

Indexed keywords

COMPUTER HARDWARE; DATA STORAGE EQUIPMENT; DIGITAL STORAGE; ENERGY HARVESTING; INTERNET OF THINGS; METADATA; OPTIMIZATION;

BENCHMARK EVALUATION; CHECK POINTING; DATA TRANSFORMATION; DYNAMIC PROGRAMMING TECHNIQUES; INTERMITTENT ENERGY SOURCE; INTERMITTENT POWER; OPTIMIZATION PROBLEMS; REGISTER TRANSFER LEVEL;

DYNAMIC PROGRAMMING;

EID: 85014608537     PISSN: None     EISSN: 23327766     Source Type: Journal    
DOI: 10.1109/TMSCS.2016.2550442     Document Type: Article

References (37)

1. Vivado hls (2015) [Online]. Available: http://www.xilinx.com/support/download/index.html/content/xilinx/en/downloadNav/vivado-design-tools/2015-1.html
2. (2015). Jtag tutorial [Online]. Available: http://www.corelis.com/ education/JTAG-Tutorial.htm
3. B. Ransford, J. Sorber, and K. Fu, "Mementos: System support for long-running computation on RFID-scale devices," in Proc. Int. Conf. Archit. Support Program. Languages Operating Syst., 2011, pp. 159-170.
4. R. Barbosa and J. Karlsson, "On the integrity of lightweight checkpoints," in Proc. 11th IEEE High Assurance Syst. Eng. Symp., 2008, pp. 125-134.
5. Y. Zhang and K. Chakrabarty, "Energy-aware adaptive checkpointing in embedded real-time systems," in Proc. Conf. Des. Autom. Test Eur., 2003, pp. 918-923.
6. B. Lucia and B. Ransford, "A simpler, safer programming and execution model for intermittent systems," in Proc. 36th ACM SIGPLAN Conf. Program. Language Des. Implementation, 2015, pp. 575-585.
7. D. Blough, F. Kurdahi, and S. Ohm, "Optimal recovery point insertion for high-level synthesis of recoverable microarchitectures," in Proc. 25th Int. Symp. Fault-Tolerant Comput., 1992, pp. 50-59.
8. V. Izosimov, P. Pop, P. Eles, and Z. Peng, "Synthesis of faulttoler-ant embedded systems with checkpointing and replication," in Proc. 3rd IEEE Int. Workshop Electron. Des. Test Appl., 2006, pp. 440-447.
9. A. Mirhoseini, E. M. Songhori, and F. Koushanfar, "Idetic: A high-level synthesis approach for enabling long computations on transiently-powered asics," in Proc. IEEE Int. Conf. Pervasive Comput. Commun., 2013, pp. 216-224.
10. A. Mirhoseini, E. M. Songhori, and F. Koushanfar, "Automated checkpointing for enabling intensive applications on energy harvesting devices," in Proc. Int. Symp. Low Power Electron. Des., 2013, pp. 27-32.
11. A. Kansal and M. Srivastava, "An environmental energy harvesting framework for sensor networks," in Proc. Int. Symp. Low Power Electron. Des., 2003, pp. 481-486.
12. C. Vigorito, D. Ganesan, and A. Barto, "Adaptive control of duty cycling in energy-harvesting wireless sensor networks," in Proc. Int. Conf. Sensor Ad Hoc Commun. Netw., 2007, pp. 21-30.
13. A. Sample, D. Yeager, P. Powledge, A. Mamishev, and J. Smith, "Design of an RFID-based battery-free programmable sensing platform," IEEE Trans. Instrum. Meas., 2008, pp. 2608-2615.
14. M. Gorlatova, P. Kinget, I. Kymissis, D. Rubenstein, X. Wang, and G. Zussman, "Challenge: Ultra-low-power energy-harvesting active networked tags (EnHANTs)," in Proc. 15th Annu. Int. Conf. Mobile Comput. Netw., 2009, pp. 253-260.
15. H. Zhang, J. Gummeson, B. Ransford, and K. Fu, "Moo: A battery-less computational RFID and sensing platform," Dept. Comput. Sci., Univ. Massachusetts Amherst., Tech. Rep. UM-CS-2011-020, 2011.
16. A. Chandrakasan, D. Daly, J. Kwong, and Y. Ramadass, "Next generation micro-power systems," in Proc. IEEE Symp. VLSI Circuits, 2008, pp. 2-5.
17. G. Chen, H. Ghaed, R. Haque, M. Wieckowski, Y. Kim, G Kim, D. Fick, D. Kim, M. Seok, K. Wise, D. Blaauw, and D. Sylvester, "A cubic-millimeter energy-autonomous wireless intraocular pressure monitor," in Proc. IEEE Int. Solid-State Circuits Conf., 2011, pp. 310-312.
18. B. Calhoun, A. Wang, and A. Chandrakasan, "Modeling and sizing for minimum energy operation in subthreshold circuits," IEEE J. Solid-State Circuits, vol. 40, no. 9, pp. 1778-1786, Sep. 2005.
19. A. Dunkels, B. Gronvall, and T. Voigt, "Contiki-A lightweight and flexible operating system for tiny networked sensors," in Proc. 29th Annu. IEEE Int. Conf. Local Comput. Netw., 2004, pp. 455-462.
20. B. Ransford, S. Clark, M. Salajegheh, and K. Fu, "Getting things done on computational RFIDs with energy-aware checkpointing and voltage-aware scheduling," in Proc. Conf. Power Aware Comput. Syst., 2008, pp. 5-5.
21. M. Buettner, B. Greenstein, D. Wetherall, and J. Smith, "Revisiting smart dust with RFID sensor networks," in Proc. 7th ACM Workshop Hot Topics Netw., 2008.
22. A. Orailoglu and R. Karri, "Coactive scheduling and checkpoint determination during high level synthesis of self-recovering microarchitectures," IEEE Trans. Very Large Scale Integr. (VLSI) Syst., vol. 2, no. 3, pp. 304-311, Sep. 1994.
23. Y. Liu, Y. Wang, H. Jia, S. Su, J. Wen, W. Zhang, L. Zhang, and H. Yang, "Demo abstract: An energy harvesting nonvolatile sensor node and its application to distributed moving object detection," in Proc. ACM/IEEE 11th Int. Conf. Inf. Process. Sens. Netw., 2012, pp. 149-150.
24. Y. Wang, Y. Liu, S. Li, D. Zhang, B. Zhao, M.-F. Chiang, Y. Yan, B. Sai, and H. Yang, "A 3US wake-up time nonvolatile processor based on ferroelectric flip-flops," in Proc ESSCIRC, 2012, pp. 149-152.
25. C. Wang, N. Chang, Y. Kim, S. Park, Y. Liu, H. G Lee, R. Luo, and H. Yang, "Storage-less and converter-less maximum power point tracking of photovoltaic cells for a nonvolatile microprocessor," in Proc. 19th Asia and South Pacific Des. Autom. Conf, 2014, pp. 379-384.
26. H. G. Lee and N. Chang, "Powering the iot: Storage-less and converter-less energy harvesting," in Proc. Des. Autom. Conf. (ASP-DAC), 2015 20th Asia South Pacific, 2015, pp. 124-129.
27. J. Cong, B. Liu, S. Neuendorffer, J. Noguera, K. Vissers, and Z. Zhang, "High-level synthesis for FPGAs: From prototyping to deployment," IEEE Trans. Comput.-Aid. Des. Integr. Circuits Syst, vol. 30, no. 4, pp. 473-491, Apr. 2011.
28. Micron, nand flash memory datasheet (2015) [Online]. Available: http://www.micron.com/parts/nand-flash/mass-storage
29. Micron, p8p parallel phase change memory (PCM) datasheet (2015) [Online]. Available: http://www.micron.com/~/media/ Documents/Products/Data/20Sheet/PCM
30. A. Mirhoseini and F. Koushanfar, "Learning to manage combined energy supply systems," in Proc. Int. Symp. Low Power Electron. Des., Aug 2011, pp. 229-234.
31. Synopsys dftmax ultra (2016) [Online]. Available: https://www. synopsys.com/Tools/ Implementation/RTLSynthesis/Test/ Pages/d ftmax-ultra-ds.aspx
32. J. Stine, et al., "Freepdk: An open-source variation-aware design kit," in Proc. IEEE Int. Conf. Microelectron. Syst. Educ, 2007, pp. 173-174.
33. A. Caulfield, J. Coburn, T. Mollov, A. De, A. Akel, J. He, A. Jagatheesan, R. Gupta, A. Snavely, and S. Swanson, "Understanding the impact of emerging non-volatile memories on high-performance, IO-intensive computing," in Proc. ACM/ IEEE Int. Conf. High Performance Comput. Netw. Storage Anal., 2010, pp. 1-11.
34. S. Chen, P. Gibbons, and S. Nath, "Rethinking database algorithms for phase change memory," in Proc. 5th Biennial Conf. Innovative Data Syst. Res., 2011, pp. 1-11.
35. R. L. Rivest, A. Shamir, and L. Adleman, "A method for obtaining digital signatures and public-key cryptosystems," Commun. ACM, vol. 21, no. 2, pp. 120-126, 1978.
36. N. I. of Standards and Technology. (2012). Cryptographic technology [Online]. Available: http://csrc.nist.gov/groups/ST/index. html
37. R. Rivest, The MD5 Message-Digest Algorithm. Cambridge, MA, USA: MIT Laboratory for Computer Science, 1992.