Stochastic method for power-aware checkpoint intervals in wireless environments: Theory and application

Previous Article
M/M/c multiple synchronous vacation model with gated discipline
JIMO Home
This Issue
Next Article
A model for buyer and supplier coordination and information sharing in order-up-to systems

October 2012, 8(4): 969-986. doi: 10.3934/jimo.2012.8.969

Stochastic method for power-aware checkpoint intervals in wireless environments: Theory and application

Sung-Hwa Lim ^1, , Se Won Lee ^2, , Byoung-Hoon Lee ^3, , Seongil Lee ^1, and Ho Woo Lee ^1,

1.	Sungkyunkwan University, Department of Systems Management Engineering, Suwon, 440-746, South Korea, South Korea, South Korea
2.	Dongguk Univeristy-SEOUL, Department of Business Administration, Seoul, 110-715, South Korea
3.	Inha University, Institute for Information and Electronics Research, Incheon, 402-751, South Korea

Received September 2011 Revised July 2012 Published September 2012

Abstract
Related Papers

The checkpoint and rollback scheme is a useful fault-tolerance method for mobile devices in wireless environments. Since battery power is one of the most critical resources for mobile devices, it is important to identify optimal checkpoint intervals that minimize power consumption. In this paper, we propose a method that minimizes power consumption in wireless remote checkpoint environments by considering environmental parameters such as device failure rate, wireless link error rate, and checkpoint overhead. To evaluate the proposed solution, we conducted analytical estimations, simulations, and experimental measurements in a real test-bed.

Keywords: Energy conservation, optimizaiton, mobile computing, fault-tolerance., Markov chain.

Mathematics Subject Classification: Primary: 68M15, 60K20; Secondary: 60J2.

Citation: Sung-Hwa Lim, Se Won Lee, Byoung-Hoon Lee, Seongil Lee, Ho Woo Lee. Stochastic method for power-aware checkpoint intervals in wireless environments: Theory and application. Journal of Industrial & Management Optimization, 2012, 8 (4) : 969-986. doi: 10.3934/jimo.2012.8.969

References:

[1]	S. Biswas and S. Neogy, A low overhead checkpointing scheme for mobile computing systems,, in, (2007), 700. Google Scholar
[2]	S. Baek and B. D. Choi, Performance analysis of power save mode in IEEE 802.11 infrastructure wireless local area network,, J. Industrial and Management Optimization, 5 (2009), 481. doi: 10.3934/jimo.2009.5.481. Google Scholar
[3]	R. C. Baumann, "Soft Errors in Commercial Semiconductor Technology: Overview and Scaling Trends,", in, (2002). Google Scholar
[4]	K. M. Chandy, J. C. Browne, C. W. Dissly and W. R. Uhrig, Analytic models for rollback and recovery strategies in data base systems,, IEEE Trans. Software Eng., 1 (1975), 100. Google Scholar
[5]	I.-R. Chen, B. Gu, S. E. George and S.-T. Cheng, On failure recoverability of client-server applications in mobile wireless environments,, IEEE Trans. on Reliability, 54 (2005), 115. doi: 10.1109/TR.2004.837518. Google Scholar
[6]	C. Constantinescu, Trends and challenges in VLSI circuit reliability,, IEEE Micro, 23 (2003), 14. doi: 10.1109/MM.2003.1225959. Google Scholar
[7]	J. T. Daly, A higher order estimate of the optimum checkpoint interval for restart dumps,, Future Generation Computer Systems, 22 (2006), 303. doi: 10.1016/j.future.2004.11.016. Google Scholar
[8]	S. Gadiraju and V. Kumar, Recovery in the mobile wireless environment using mobile agents,, IEEE Transactions on Mobile Computing, 3 (2004), 180. doi: 10.1109/TMC.2004.13. Google Scholar
[9]	K.-H. Han, J.-H. Kim, Y.-B. Ko and W.-S. Yoon, An energy efficient broadcasting for mobile devices using a cache scheme,, in Lecture Notes in Computer Science (Proc. ICCS 2004), (2004), 598. Google Scholar
[10]	W. R. Heinzelman, A. Chandrakasan and H. Balakrishnan, "Energy-Efficient Communication Protocol for Wireless Microsensor Networks,", in proceedings of Hawaii International Conference on System Sciences, (2000). Google Scholar
[11]	P. Kumar, P. Gupta and A. K. Solanki, Dealing with rrequent aborts in minimum-process coordinated checkpointing algorithm for mobile distributed systems,, Int. J. Computer Applications, 3 (2010), 7. Google Scholar
[12]	G.-H. Li and H. Wang, A novel min-process checkpointing scheme for mobile computing systems,, J. Systems Architecture, 51 (2005), 45. doi: 10.1016/j.sysarc.2004.07.001. Google Scholar
[13]	S.-H. Lim, S. W. Lee, B.-H. Lee, S. Lee and H. W. Lee, Energy-aware checkpoint intervals in error-prone mobile networks,, in proceedings of QTNA, 2011 (2011), 128. Google Scholar
[14]	S.-H. Lim, S. W. Lee, B.-H. Lee and S. Lee, Power-aware optimal checkpoint intervals for mobile consumer devices,, IEEE Trans. Consumer Electronics, 4 (2011), 1637. doi: 10.1109/TCE.2011.6131136. Google Scholar
[15]	B. McFarland and M. Wong, The family dynamics of 802.11,, ACM Queue, 1 (2003), 28. doi: 10.1145/846057.864025. Google Scholar
[16]	D. K. Pradhan, P. Krishna and N. H. Vaidya, Recoverable mobile environment: design and trade-off analysis,, in proceedings of the 26th Int Symp. on Fault Tolerant Computing Systems, (1996), 16. Google Scholar
[17]	S. M. Ross, "Stochastic Processes,", 2^nd edition, (1996). Google Scholar
[18]	N. H. Vaidya, On checkpoint latency,, in, (1995), 60. Google Scholar
[19]	N. T. Vijaykumar, I. Pomeranz and K. Cheng, Transient-fault recovery using simultaneous multithreading,, in, (2002), 87. Google Scholar
[20]	J. W. Young, A first order approximation to the optimum checkpoint interval,, Communications on the ACM, 17 (1974), 530. doi: 10.1145/361147.361115. Google Scholar
[21]	Z. Zhang, D.-C. Zuo, Y.-W. Ci and X.-Z. Yang, The checkpoint interval optimization of kernel-level rollback recovery based on the embedded mobile computing system,, in proceedings of IEEE International Conference on Computer and Information Technology Workshops, (2008), 521. Google Scholar
[22]	, "Mobile DRAM Power-Saving Features and Power Calculations,", Technical note TN-46-12, (2009), 46. Google Scholar
[23]	, CW1200 : 802.11n dual-band WLAN system-on-chip,, Data Sheet, (). Google Scholar
[24]	, "Power Consumption and Energy Efficiency Comparisons of WLAN Products,", White Paper, (2003). Google Scholar
[25]	, "HC25 Hardware Interface Description,", Date Sheet v.1.0, (2007). Google Scholar

show all references

References:

[1]	S. Biswas and S. Neogy, A low overhead checkpointing scheme for mobile computing systems,, in, (2007), 700. Google Scholar
[2]	S. Baek and B. D. Choi, Performance analysis of power save mode in IEEE 802.11 infrastructure wireless local area network,, J. Industrial and Management Optimization, 5 (2009), 481. doi: 10.3934/jimo.2009.5.481. Google Scholar
[3]	R. C. Baumann, "Soft Errors in Commercial Semiconductor Technology: Overview and Scaling Trends,", in, (2002). Google Scholar
[4]	K. M. Chandy, J. C. Browne, C. W. Dissly and W. R. Uhrig, Analytic models for rollback and recovery strategies in data base systems,, IEEE Trans. Software Eng., 1 (1975), 100. Google Scholar
[5]	I.-R. Chen, B. Gu, S. E. George and S.-T. Cheng, On failure recoverability of client-server applications in mobile wireless environments,, IEEE Trans. on Reliability, 54 (2005), 115. doi: 10.1109/TR.2004.837518. Google Scholar
[6]	C. Constantinescu, Trends and challenges in VLSI circuit reliability,, IEEE Micro, 23 (2003), 14. doi: 10.1109/MM.2003.1225959. Google Scholar
[7]	J. T. Daly, A higher order estimate of the optimum checkpoint interval for restart dumps,, Future Generation Computer Systems, 22 (2006), 303. doi: 10.1016/j.future.2004.11.016. Google Scholar
[8]	S. Gadiraju and V. Kumar, Recovery in the mobile wireless environment using mobile agents,, IEEE Transactions on Mobile Computing, 3 (2004), 180. doi: 10.1109/TMC.2004.13. Google Scholar
[9]	K.-H. Han, J.-H. Kim, Y.-B. Ko and W.-S. Yoon, An energy efficient broadcasting for mobile devices using a cache scheme,, in Lecture Notes in Computer Science (Proc. ICCS 2004), (2004), 598. Google Scholar
[10]	W. R. Heinzelman, A. Chandrakasan and H. Balakrishnan, "Energy-Efficient Communication Protocol for Wireless Microsensor Networks,", in proceedings of Hawaii International Conference on System Sciences, (2000). Google Scholar
[11]	P. Kumar, P. Gupta and A. K. Solanki, Dealing with rrequent aborts in minimum-process coordinated checkpointing algorithm for mobile distributed systems,, Int. J. Computer Applications, 3 (2010), 7. Google Scholar
[12]	G.-H. Li and H. Wang, A novel min-process checkpointing scheme for mobile computing systems,, J. Systems Architecture, 51 (2005), 45. doi: 10.1016/j.sysarc.2004.07.001. Google Scholar
[13]	S.-H. Lim, S. W. Lee, B.-H. Lee, S. Lee and H. W. Lee, Energy-aware checkpoint intervals in error-prone mobile networks,, in proceedings of QTNA, 2011 (2011), 128. Google Scholar
[14]	S.-H. Lim, S. W. Lee, B.-H. Lee and S. Lee, Power-aware optimal checkpoint intervals for mobile consumer devices,, IEEE Trans. Consumer Electronics, 4 (2011), 1637. doi: 10.1109/TCE.2011.6131136. Google Scholar
[15]	B. McFarland and M. Wong, The family dynamics of 802.11,, ACM Queue, 1 (2003), 28. doi: 10.1145/846057.864025. Google Scholar
[16]	D. K. Pradhan, P. Krishna and N. H. Vaidya, Recoverable mobile environment: design and trade-off analysis,, in proceedings of the 26th Int Symp. on Fault Tolerant Computing Systems, (1996), 16. Google Scholar
[17]	S. M. Ross, "Stochastic Processes,", 2^nd edition, (1996). Google Scholar
[18]	N. H. Vaidya, On checkpoint latency,, in, (1995), 60. Google Scholar
[19]	N. T. Vijaykumar, I. Pomeranz and K. Cheng, Transient-fault recovery using simultaneous multithreading,, in, (2002), 87. Google Scholar
[20]	J. W. Young, A first order approximation to the optimum checkpoint interval,, Communications on the ACM, 17 (1974), 530. doi: 10.1145/361147.361115. Google Scholar
[21]	Z. Zhang, D.-C. Zuo, Y.-W. Ci and X.-Z. Yang, The checkpoint interval optimization of kernel-level rollback recovery based on the embedded mobile computing system,, in proceedings of IEEE International Conference on Computer and Information Technology Workshops, (2008), 521. Google Scholar
[22]	, "Mobile DRAM Power-Saving Features and Power Calculations,", Technical note TN-46-12, (2009), 46. Google Scholar
[23]	, CW1200 : 802.11n dual-band WLAN system-on-chip,, Data Sheet, (). Google Scholar
[24]	, "Power Consumption and Energy Efficiency Comparisons of WLAN Products,", White Paper, (2003). Google Scholar
[25]	, "HC25 Hardware Interface Description,", Date Sheet v.1.0, (2007). Google Scholar

[1]	Weidong Bao, Haoran Ji, Xiaomin Zhu, Ji Wang, Wenhua Xiao, Jianhong Wu. ACO-based solution for computation offloading in mobile cloud computing. Big Data & Information Analytics, 2016, 1 (1) : 1-13. doi: 10.3934/bdia.2016.1.1
[2]	Samuel N. Cohen, Lukasz Szpruch. On Markovian solutions to Markov Chain BSDEs. Numerical Algebra, Control & Optimization, 2012, 2 (2) : 257-269. doi: 10.3934/naco.2012.2.257
[3]	Per Christian Moan, Jitse Niesen. On an asymptotic method for computing the modified energy for symplectic methods. Discrete & Continuous Dynamical Systems - A, 2014, 34 (3) : 1105-1120. doi: 10.3934/dcds.2014.34.1105
[4]	Timothy Blass, Rafael de la Llave. Perturbation and numerical methods for computing the minimal average energy. Networks & Heterogeneous Media, 2011, 6 (2) : 241-255. doi: 10.3934/nhm.2011.6.241
[5]	Robert I. McLachlan, G. R. W. Quispel. Discrete gradient methods have an energy conservation law. Discrete & Continuous Dynamical Systems - A, 2014, 34 (3) : 1099-1104. doi: 10.3934/dcds.2014.34.1099
[6]	Jingzhi Tie, Qing Zhang. An optimal mean-reversion trading rule under a Markov chain model. Mathematical Control & Related Fields, 2016, 6 (3) : 467-488. doi: 10.3934/mcrf.2016012
[7]	Ralf Banisch, Carsten Hartmann. A sparse Markov chain approximation of LQ-type stochastic control problems. Mathematical Control & Related Fields, 2016, 6 (3) : 363-389. doi: 10.3934/mcrf.2016007
[8]	Kun Fan, Yang Shen, Tak Kuen Siu, Rongming Wang. On a Markov chain approximation method for option pricing with regime switching. Journal of Industrial & Management Optimization, 2016, 12 (2) : 529-541. doi: 10.3934/jimo.2016.12.529
[9]	Xiuting Li. The energy conservation for weak solutions to the relativistic Nordström-Vlasov system. Evolution Equations & Control Theory, 2016, 5 (1) : 135-145. doi: 10.3934/eect.2016.5.135
[10]	Tomasz Komorowski, Stefano Olla, Marielle Simon. Macroscopic evolution of mechanical and thermal energy in a harmonic chain with random flip of velocities. Kinetic & Related Models, 2018, 11 (3) : 615-645. doi: 10.3934/krm.2018026
[11]	Lin Xu, Rongming Wang. Upper bounds for ruin probabilities in an autoregressive risk model with a Markov chain interest rate. Journal of Industrial & Management Optimization, 2006, 2 (2) : 165-175. doi: 10.3934/jimo.2006.2.165
[12]	Kazuhiko Kuraya, Hiroyuki Masuyama, Shoji Kasahara. Load distribution performance of super-node based peer-to-peer communication networks: A nonstationary Markov chain approach. Numerical Algebra, Control & Optimization, 2011, 1 (4) : 593-610. doi: 10.3934/naco.2011.1.593
[13]	Olli-Pekka Tossavainen, Daniel B. Work. Markov Chain Monte Carlo based inverse modeling of traffic flows using GPS data. Networks & Heterogeneous Media, 2013, 8 (3) : 803-824. doi: 10.3934/nhm.2013.8.803
[14]	Badal Joshi. A detailed balanced reaction network is sufficient but not necessary for its Markov chain to be detailed balanced. Discrete & Continuous Dynamical Systems - B, 2015, 20 (4) : 1077-1105. doi: 10.3934/dcdsb.2015.20.1077
[15]	Ralf Banisch, Carsten Hartmann. Addendum to "A sparse Markov chain approximation of LQ-type stochastic control problems". Mathematical Control & Related Fields, 2017, 7 (4) : 623-623. doi: 10.3934/mcrf.2017023
[16]	Maria Cameron. Computing the asymptotic spectrum for networks representing energy landscapes using the minimum spanning tree. Networks & Heterogeneous Media, 2014, 9 (3) : 383-416. doi: 10.3934/nhm.2014.9.383
[17]	Gautier Picot. Shooting and numerical continuation methods for computing time-minimal and energy-minimal trajectories in the Earth-Moon system using low propulsion. Discrete & Continuous Dynamical Systems - B, 2012, 17 (1) : 245-269. doi: 10.3934/dcdsb.2012.17.245
[18]	Sourabh Bhattacharya, Abhishek Gupta, Tamer Başar. Jamming in mobile networks: A game-theoretic approach. Numerical Algebra, Control & Optimization, 2013, 3 (1) : 1-30. doi: 10.3934/naco.2013.3.1
[19]	Francis Michael Russell, J. C. Eilbeck. Persistent mobile lattice excitations in a crystalline insulator. Discrete & Continuous Dynamical Systems - S, 2011, 4 (5) : 1267-1285. doi: 10.3934/dcdss.2011.4.1267
[20]	Amitava Mukhopadhyay, Andrea De Gaetano, Ovide Arino. Modeling the intra-venous glucose tolerance test: A global study for a single-distributed-delay model. Discrete & Continuous Dynamical Systems - B, 2004, 4 (2) : 407-417. doi: 10.3934/dcdsb.2004.4.407

2018 Impact Factor: 1.025

American Institute of Mathematical Sciences