Tight Bounds on Online Checkpointing Algorithms

作者: Achiya Bar-On , Itai Dinur , Orr Dunkelman , Rani Hod , Nathan Keller

DOI: 10.1145/3379543

关键词:

摘要: The problem of online checkpointing is a classical with numerous applications that has been studied in various forms for almost 50 years. In the simplest version this problem, user to maintain k memorized checkpoints during long computation, where only allowed operation move one from its old time current time, and his goal keep as evenly spread out possible at all times. Bringmann, Doerr, Neumann, Sliacan special case an online/offline optimization which deviation uniformity measured by natural discrepancy metric worst ratio between real ideal segment lengths. They showed smaller than 1.59-o(1) ln 4-o(1)≈ 1.39 sparse subset k’s, are powers 2. addition, they obtained upper bounds on achievable some small values k. article, we solve main problems left open above-mentioned paper proving 4 tight lower bound asymptotic large providing (in form provably optimal algorithms, fact better those Bringmann et al.) ≤ 10. last part describe new problem.

参考文章(7)
Erol Gelenbe, On the Optimum Checkpoint Interval Journal of the ACM. ,vol. 26, pp. 259- 270 ,(1979) , 10.1145/322123.322131
Richard P. Brent, An improved Monte Carlo factorization algorithm Bit Numerical Mathematics. ,vol. 20, pp. 176- 184 ,(1980) , 10.1007/BF01933190
Marshall Bern, Daniel H. Greene, Arvind Raghunathan, Madhu Sudan, On-line algorithms for locating checkpoints Algorithmica. ,vol. 11, pp. 33- 52 ,(1994) , 10.1007/BF01294262
Sam Toueg, Özalp Babaoglu, On the optimum checkpoint selection problem SIAM Journal on Computing. ,vol. 13, pp. 630- 649 ,(1984) , 10.1137/0213039
Lauri Ahlroth, Olli Pottonen, André Schumacher, Approximately Uniform Online Checkpointing with Bounded Memory Algorithmica. ,vol. 67, pp. 234- 246 ,(2013) , 10.1007/S00453-013-9772-5
K. M. Chandy, C. V. Ramamoorthy, Rollback and Recovery Strategies for Computer Programs IEEE Transactions on Computers. ,vol. C-21, pp. 546- 556 ,(1972) , 10.1109/TC.1972.5009007
Karl Bringmann, Benjamin Doerr, Adrian Neumann, Jakub Sliacan, Online Checkpointing with Improved Worst-Case Guarantees Automata, Languages, and Programming. pp. 255- 266 ,(2013) , 10.1007/978-3-642-39206-1_22