논문KCI 등재
Reliability analysis of checkpointing model with multiple verification mechanism
대한수학회 (The Korean Mathematical Society)|2019.11|대한수학회보 (Bulletin of the KMS)|제56권 제6호|pp. 1435-1445|DOI 10.4134/BKMS.b181068
2
조회
0
다운로드
1
인용
0
참고문헌
키워드
주제분류수학
초록
We consider a checkpointing model for silent errors, where a checkpoint is taken every fixed number of verifications. Assuming generally distributed i.i.d.$\!$ inter-occurrence times of errors, we derive the reliability of the model as a function of the number of verifications between two checkpoints and the duration of work interval between two verifications.
Abstract
We consider a checkpointing model for silent errors, where a checkpoint is taken every fixed number of verifications. Assuming generally distributed i.i.d.$\!$ inter-occurrence times of errors, we derive the reliability of the model as a function of the number of verifications between two checkpoints and the duration of work interval between two verifications.
참고문헌 (25)
- G. Aupy, "On the combi-nation of silent error detection and checkpointing", The 19th IEEE Pacic Rim International Symposium on Dependable Computing (PRDC) (2013)
- L. Bautista-Gomez, "Coping with recall and precision of soft error detectors", J. Parallel and Distributed Computing, 98, pp.8~24 (2016)
- A. Benoit, "Coping with silent and fail-stop errors at scale by combining replication and checkpointing", J. Parallel and Distributed Computing, 122, pp.209~225 (2018)
- A. Benoit, "Combining checkpointing and replication for reliable execution of linear work ows with fail-stop and silent errors", International Journal of Networking and Computing, 9(1), pp.2~27 (2019)
- A. Benoit, "Assessing general-purpose algorithms to cope with fail-stop and silent errors", ACM Transactions on Parallel Computing, 3(2), pp.1~36 (2016), Association for Computing Machinery
- A. Benoit, "Optimal resilience patterns to cope with fail-stop and silent errors", 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS) (2016)
- Anne Benoit, "Multi-level checkpointing and silent error detection for linear workflows", Journal of Computational Science, 28, pp.398~415 (2018), Elsevier BV[DOI]
- A. Benoit, "Ecient checkpoint", verication patterns, 2016, pp.3(1), 52~65
- M. S. Bougeret, "Checkpointing strate-gies for parallel jobs", International Conference for High Performance Computing, Networking, Storage and Analysis, pp.1~11 (2011)
- M. S. Bouguerra, "A exible check-point", restart model in distributed systems, 2010, pp.6067, 206~215
- Mohamed-Slim Bouguerra, "Complexity Analysis of Checkpoint Scheduling with Variable Costs", IEEE Transactions on Computers, 62(6), pp.1269~1275 (2013), Institute of Electrical and Electronics Engineers (IEEE)[DOI]
- K. M. Chandy, "Determining global states of distributed systems", ACM Transactions on Computer Systems, 3(1), pp.63~75 (1985)
- J. T. Daly, "A higher order estimate of the optimum checkpoint interval for restart dumps", Future Generation Computer Systems (FGCS), 22(3), pp.303~312 (2004)
- E. Elnozahy, "Checkpointing for peta-scale systems: a look into the future of practical rollback-recovery", IEEE Transactions on Dependable and Secure Computing, 1(2), pp.97~108 (2004)
- Y. Ling, "A variational calculus approach to optimal checkpoint place-ment", IEEE Trans. on Computers, 50(7), pp.699~708 (2001)
- G. Lu, "When is multi-version checkpointing needed", The 3rd Workshop for Fault-tolerance at Extreme Scale (FTXS) (2013), ACM Press
- Top Ten Exascale Challenges, DOE ASCAC Subcommittee Report, "R. Lucas", U.S. Department of Energy, Oce of Science, 1~86 (2014)
- A. Moody, "Design, modeling, and evaluation of a scalable multi-level checkpointing system", The 2010 ACM, 2010, 1~11
- T. O'Gorman, "The eect of cosmic rays on the soft error rate of a DRAM at ground level", IEEE Transactions on Electron Devices, 41(4), pp.553~557 (1994)
- T. Ozaki, "Distribution-free checkpoint placement algorithms based on min-max principle", IEEE Transactions on Dependable and Secure Computing, 3(2), pp.130~140 (2006)
- Sam Toueg, "On the Optimum Checkpoint Selection Problem", SIAM Journal on Computing, 13(3), pp.630~649 (1984), Society for Industrial & Applied Mathematics (SIAM)[DOI]
- J. W. Young, "A rst order approximation to the optimal checkpoit interval", Comm. of the ACM, 17(9), pp.530~531 (1974)
- J. F. Ziegler, "IBM experi-ments in soft fails in computer electronics", IBM J. Res. Dev, 40(1), pp.3~18 (1996)
- J. F. Ziegler, "Accelerated testing for cosmic soft-error rate", IBM J. Res. Dev, 40(1), pp.51~72 (1996)
- J. F. Ziegler, "Cosmic ray soft error rates of 16-Mb DRAM memory chips", IEEE Journal of Solid-State Circuits, 33(2), pp.246~252 (1998)
관련 논문AI추천
Busy period distribution of a batch arrival retrial queue김정심대한수학회 · 대한수학회논문집2017 · 제32권 제2호PROBABILISTIC ANALYSIS OF A SYSTEM CONSISTING OF TWO SUBSYSTEMS IN THE SERIES CONFIGURATION UNDER COPULA REPAIR APPROACHAmeer Hassan Abdullahi, Dhruv Raghav, Hamisu Ismail Ayagi, Monika Gahlot, P.K. Poonia, V.V. Singh한국수학교육학회 · 이론수학과 교직수학2020 · 제27권 제3호A new look at the M/G/1 retrial queue: A martingale approachAMAR AISSANI, HOURIA AUKID장전수학회 · Advanced Studies in Contemporary Mathematics2018 · 제28권 제3호Stability of $MAP/PH/c/K$ queue with customer retrials and server vacationsYang Woo Shin대한수학회 · 대한수학회보2016 · 제53권 제4호Waiting time distribution in the M/M/m retrial queue김바라, 김정심, 김제림대한수학회 · 대한수학회보2013 · 제50권 제5호Queueing systems with N-limited nonstop forwarding이유태영남수학회 · East Asian Mathematical Journal2015 · 제31권 제5호
이 간행물의 다른 논문 (17건)
Extension of phase-isometries between the unit spheres of atomic $L_p$-spaces for $p>0$Xujian Huang, Xihong Jinpp. 1377-1384Negacyclic codes of length $8p^s$ over $\mathbb{F}_{p^m}+u\mathbb{F}_{p^m}$Jirayu Phuto, Chakkrid Klin-eampp. 1385-1422Riemann-Liouville fractional fundamental theorem of calculus and Riemann-Liouville fractional Polya type integral inequality and its extension to Choquet integral settingGeorge A. Anastassioupp. 1423-1433Mild solutions for the relativistic Vlasov-Klein-Gordon systemXianwen Zhang, Meixia Xiaopp. 1447-1465Robust optimal proportional reinsurance and investment strategy for an insurer with Ornstein-Uhlenbeck processYongsheng Xing, Guojing Wang, Jianjing Mapp. 1467-1483
