|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern
June 2007 (vol. 56 no. 6)
pp. 853-858
| ASCII Text | x | ||
| Luca Allulli, Roberto Baldoni, Luigi Laura, Sara Tucci Piergiovanni, "On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern," IEEE Transactions on Computers, vol. 56, no. 6, pp. 853-858, June, 2007. | |||
| BibTex | x | ||
| @article{ 10.1109/TC.2007.1044, author = {Luca Allulli and Roberto Baldoni and Luigi Laura and Sara Tucci Piergiovanni}, title = {On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern}, journal ={IEEE Transactions on Computers}, volume = {56}, number = {6}, issn = {0016-9340}, year = {2007}, pages = {853-858}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2007.1044}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Computers TI - On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern IS - 6 SN - 0016-9340 SP853 EP858 EPD - 853-858 A1 - Luca Allulli, A1 - Roberto Baldoni, A1 - Luigi Laura, A1 - Sara Tucci Piergiovanni, PY - 2007 KW - Distributed computing KW - checkpointing KW - Z-cycles KW - progressive retry KW - online versus offline analysis KW - competitive analysis KW - NP-complete problem. VL - 56 JA - IEEE Transactions on Computers ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2007.1044
Communication-induced checkpointing protocols are mechanisms used to produce checkpoints and communication patterns which enjoy desirable properties, such as No-Z-Cycle (NZC). NZC guarantees that each checkpoint can be part of a global consistent checkpoint. It would be nice to define communication-induced checkpointing protocols that enforce NZC, adding a minimum number of checkpoints to remove all the Z-cycles from the distributed computation. In this paper, we prove that this is impossible by formulating the Minimum Z-Cycle Removal (MinZCR) problem and showing that there are no online competitive protocols for it. Moreover, we prove that the problem of enforcing NZC with an optimal number of checkpoints is difficult even if the whole input instance is known because its decision version is NP-complete. Finally, we also prove that MinZCR is difficult to approximate: it is APX-hard and this implies that no Polynomial Time Approximation Scheme exists for the problem.
Index Terms:
Distributed computing, checkpointing, Z-cycles, progressive retry, online versus offline analysis, competitive analysis, NP-complete problem.
Citation:
Luca Allulli, Roberto Baldoni, Luigi Laura, Sara Tucci Piergiovanni, "On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern," IEEE Transactions on Computers, vol. 56, no. 6, pp. 853-858, June 2007, doi:10.1109/TC.2007.1044
Usage of this product signifies your acceptance of the Terms of Use.

