A weak-stabilizing system is one that guarantees only the possibility of convergence to a correct behavior; i.e., a recovery path may visit an execution cycle before reaching a good behavior. To our knowledge, there has been no work on analyzing the power and performance of weak-stabilizing algorithms. In this paper, we investigate a metric for characterizing the recovery time of weak-stabilizing algorithms. This metric is based on expected mean value of recovery steps for resuming a correct behavior. Our method to evaluate this metric is based on probabilistic state exploration. We show that different weak-stabilizing algorithms perform differently during recovery, because of their structure (e.g., the length and reachability of cycles). We also introduce an automated technique that can improve the performance of implementation of weak-stabilizing algorithms through state encoding. © Springer International Publishing 2013.
CITATION STYLE
Fallahi, N., & Bonakdarpour, B. (2013). How good is weak-stabilization? In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8255 LNCS, pp. 148–162). https://doi.org/10.1007/978-3-319-03089-0_11
Mendeley helps you to discover research relevant for your work.