Advertisement

Natural Computing

, Volume 17, Issue 3, pp 455–465 | Cite as

Revisiting the cutting of the firing squad synchronization

  • Antonios Dimitriadis
  • Martin Kutrib
  • Georgios Ch. Sirakoulis
Article

Abstract

Various synchronization algorithms have been introduced in literature during the last decades to deal with the firing squad synchronization problem on cellular automata (CA). Among others defective CA algorithms, where the CA cell is able to transmit information without previous processing, have been also presented. In our case, originating from the classical Mazoyer’s paper, where a minimum-time solution is presented with 6 states, a one-dimensional CA where one cell may permanently fail is presented. In the proposed algorithm, the defective cell can neither process nor transmit information any longer, while it is considered that such dynamic defects may become apparent in any time step of computation. A thorough analysis of the synchronization, in terms of location and time at which cell fails, for the cells found in both sides of defective cell is delivered to decipher the corresponding maximal possible number of synchronized cells in each part of the cut, due to defect, CA array. The proposed algorithm is properly extended to consider more than one defective cells that may occur in the under study one-dimensional CA. Based on the aforementioned analysis, we provide the generalization of synchronization with multiple totally defective cells, while application examples of the generalized CA algorithm in case of two defective cells are also presented. Finally, another intriguing aspect refers to handling of states that could be tentatively characterized as unknown, in a confrontation similar to the previous defective state but also different, since now this(these) cell(s) are not stated as faulty but unknown. As a result, a new one-dimensional CA with less states, compared to the previous CA defective algorithms, able to synchronize the maximal possible number of cells in each part occurs.

Keywords

Defective cellular automata Firing squad synchronization problem Fault tolerance Synchronization algorithm Multiple totally defective cells Unknown states 

References

  1. Balzer RM (1967) An 8-state minimal time solution to the firing squad synchronization problem. Inf Control 10:22–42CrossRefzbMATHGoogle Scholar
  2. Čulik K II (1989) Variations of the firing squad problem and applications. Inf Process Lett 30:153–157MathSciNetzbMATHGoogle Scholar
  3. Čulik K II, Dube S (1991) An efficient solution of the firing mob problem. Theor Comput Sci 91:57–69MathSciNetCrossRefzbMATHGoogle Scholar
  4. Dimitriadis A, Kutrib M, Sirakoulis G Ch (2016) Cutting the firing squad synchronization. In: El Yacoubi S, Was J, Bandini S (eds) Cellular automata—12th international conference on cellular automata for research and industry, ACRI 2016. Lecture notes in computer science, vol 9863. Springer, pp 123–133Google Scholar
  5. Fay B, Kutrib M (2004) The fault-tolerant early bird problem. IEICE Trans Inf Syst E87–D:687–693Google Scholar
  6. Gács P (1986) Reliable computation with cellular automata. J Comput Syst Sci 32(1):15–78MathSciNetCrossRefzbMATHGoogle Scholar
  7. Goto E (1962) A minimal time solution of the firing squad problem. In: Course notes for applied mathematics, vol 298. Harvard University, Cambridge, MAGoogle Scholar
  8. Grasselli A (1975) Synchronization of cellular arrays: the firing squad problem in two dimensions. Inf Control 28:113–124MathSciNetCrossRefzbMATHGoogle Scholar
  9. Harao M, Noguchi S (1975) Fault tolerant cellular automata. J Comput Syst Sci 11:171–185MathSciNetCrossRefzbMATHGoogle Scholar
  10. Herman GT, Liu WH, Rowland S, Walker A (1974) Synchronization of growing cellular arrays. Inf Control 25:103–122MathSciNetCrossRefzbMATHGoogle Scholar
  11. Imai K, Morita K (1996) Firing squad synchronization problem in reversible cellular automata. Theor Comput Sci 165(2):475–482MathSciNetCrossRefzbMATHGoogle Scholar
  12. Jiang T (1992) The synchronization of nonuniform networks of finite automata. Inf Comput 97:234–261MathSciNetCrossRefzbMATHGoogle Scholar
  13. Kobayashi K (1978a) The firing squad synchronization problem for a class of polyautomata networks. J Comput Syst Sci 17:300–318MathSciNetCrossRefzbMATHGoogle Scholar
  14. Kobayashi K (1978b) On the minimal firing time of the firing squad synchronization problem for polyautomata networks. Theor Comput Sci 7:149–167MathSciNetCrossRefzbMATHGoogle Scholar
  15. Kutrib M, Löwe JT (2002) Massively parallel fault tolerant computations on syntactical patterns. Future Gener Comput Syst 18:905–919CrossRefzbMATHGoogle Scholar
  16. Kutrib M, Vollmar R (1991) Minimal time synchronization in restricted defective cellular automata. J Inf Process Cybern EIK 27:179–196zbMATHGoogle Scholar
  17. Kutrib M, Vollmar R (1995) The firing squad synchronization problem in defective cellular automata. IEICE Trans Inf Syst E78–D(7):895–900Google Scholar
  18. Mazoyer J (1987) A six-state minimal time solution to the firing squad synchronization problem. Theor Comput Sci 50:183–238MathSciNetCrossRefzbMATHGoogle Scholar
  19. Mazoyer J (1989) A minimal time solution to the firing squad synchronization problem with only one bit of information exchanged. Technical Report TR 89-03, Ecole Normale Supérieure de Lyon, LyonGoogle Scholar
  20. Moore EF (1964) The firing squad synchronization problem. In: Moore EF (ed) Sequential machines—selected papers. Addison-Wesley, Reading, pp 213–214Google Scholar
  21. Moore FR, Langdon GC (1968) A generalized firing squad problem. Inf Control 12:17–33CrossRefzbMATHGoogle Scholar
  22. Nishio H, Kobuchi Y (1975) Fault tolerant cellular spaces. J Comput Syst Sci 11:150–170MathSciNetCrossRefzbMATHGoogle Scholar
  23. Romani F (1978) The parallelism principle: speeding up the cellular automata synchronization. Inf Control 36:245–255MathSciNetCrossRefzbMATHGoogle Scholar
  24. Rosenstiehl P, Fiksel JR, Holliger A (1972) Intelligent graphs: networks of finite automata capable of solving graph problems. In: Read RC (ed) Graph theory and computing. Academic Press, New York, pp 219–265CrossRefGoogle Scholar
  25. Shinahr I (1974) Two- and three-dimensional firing-squad synchronization problems. Inf Control 24:163–180MathSciNetCrossRefzbMATHGoogle Scholar
  26. Szwerinski H (1982) Time optimal solution of the firing squad synchronization problem for n-dimensional rectangles with the general at an arbitrary position. Theor Comput Sci 19:305–320MathSciNetCrossRefzbMATHGoogle Scholar
  27. Umeo H (1994) A fault-tolerant scheme for optimum-time firing squad synchronization. In: Joubert GR, Trystram D, Peters FJ, Evans DJ (eds) Parallel computing: trends and applications. North-Holland, Amsterdam, pp 223–230Google Scholar
  28. Umeo H (1996) A note on firing squad synchronization algorithms. In: Kutrib M, Thomas W (eds) IFIP cellular automata workshop 1996. Universität Giessen, Giessen, p 95Google Scholar
  29. Umeo H (2004) A simple design of time-efficient firing squad synchronization algorithms with fault-tolerance. IEICE Trans Inf Syst E87–D(3):733–739Google Scholar
  30. Umeo H (2009) Firing squad synchronization problem in cellular automata. In: Meyers R (ed) Encyclopedia of complexity and systems science. Springer, Berlin, pp 3537–3574CrossRefGoogle Scholar
  31. Umeo H, Maeda M, Hisaoka M, Teraoka M (2006) A state-efficient mapping scheme for designing two-dimensional firing squad synchronization algorithms. Fundam. Inform. 74(4):603–623MathSciNetzbMATHGoogle Scholar
  32. von Neumann J (1956) Probabilistic logics and the synthesis of reliable organisms from unreliable components. In: Shannon CE, McCarthy J (eds) Automata studies. Princeton University Press, Princeton, pp 43–98Google Scholar
  33. Vollmar R (1991) FSSP for cellular automata with busses. Trans IEICE E 74(9):2965–2968Google Scholar
  34. Waksman A (1966) An optimum solution to the firing squad synchronization problem. Inf Control 9:66–78MathSciNetCrossRefzbMATHGoogle Scholar
  35. Yunès JB (1996) Fault tolerant solutions to the firing squad synchronization problem. Technical Report LITP 96/06, Institut Blaise Pascal, ParisGoogle Scholar
  36. Yunès JB (2009) Goto’s construction and Pascal’s triangle: new insights into cellular automata synchronization. In: Durand B (ed) Symposium on cellular automata—journées automates cellulaires (JAC 2008). MCCME Publishing House, Moscow, pp 195–203Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2017

Authors and Affiliations

  1. 1.Department of Electrical and Computer EngineeringDemocritus University of ThraceXanthiGreece
  2. 2.Institut für InformatikUniversität GiessenGiessenGermany

Personalised recommendations