Hostname: page-component-76fb5796d-skm99 Total loading time: 0 Render date: 2024-04-27T01:55:56.969Z Has data issue: false hasContentIssue false

A Compositional Approach to Synchronize Two Dimensional Networks of Processors

Published online by Cambridge University Press:  15 April 2002

Salvatore La Torre
Affiliation:
Department of Computer and Information Science, University of Pennsylvania, 200 South 33rd Street, Philadelphia, PA 19104-638, U.S.A. Dipartimento di Informatica ed Applicazioni, Università degli Studi di Salerno "Renato M. Capocelli", 84081 Baronissi (SA), Italy.
Margherita Napoli
Affiliation:
Dipartimento di Informatica ed Applicazioni, Università degli Studi di Salerno "Renato M. Capocelli", 84081 Baronissi (SA), Italy.
Mimmo Parente
Affiliation:
Dipartimento di Informatica ed Applicazioni, Università degli Studi di Salerno "Renato M. Capocelli", 84081 Baronissi (SA), Italy.
Get access

Abstract

The problem of synchronizing a network of identical processors that work synchronously at discrete steps is studied. Processors are arranged as an array of m rows and n columns and can exchange each other only one bit of information. We give algorithms which synchronize square arrays of (n × n) processors and give some general constructions to synchronize arrays of (m × n) processors. Algorithms are given to synchronize in time n2, $n \lceil \log n\rceil$, $n\lceil\sqrt n \rceil$ and 2n a square array of (n × n) processors. Our approach is a modular description of synchronizing algorithms in terms of "fragments" of cellular automata that are called signals. Compositional rules to obtain new signals (and new synchronization times) starting from known ones are given for an (m × n) array. Using these compositional rules we construct synchronizations in any "feasible" linear time and in any time expressed by a polynomial with nonnegative coefficients.

Type
Research Article
Copyright
© EDP Sciences, 2000

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Balzer, R., An 8-states minimal time solution to the firing squad synchronization problem. Inform. and Control 10 (1967) 22-42. CrossRef
Culik, K., Variations of the firing squad problem and applications. Inform. Process. Lett. 30 (1989) 153-157. CrossRef
Imai, K. and Morita, K., Firing squad synchronization problem in reversible cellular automata. Theoret. Comput. Sci. 165 (1996) 475-482. CrossRef
K. Imai, K. Morita and K. Sako, Firing squad synchronization problem in number-conserving cellular automata, in Proc. of the IFIP Workshop on Cellular Automata. Santiago, Chile (1998).
Kobayashy, K., The Firing Squad Synchronization Problem for Two Dimensional Arrays. Inform. and Control 34 (1977) 153-157.
K. Kobayashy, On Time Optimal Solutions of the Two-Dimensional Firing Squad Synchronization Problem, MFCS Workshop On Cellular Automata (1998).
La Torre, S., Napoli, M. and Parente, D., Synchronization of One-Way Connected Processors. Complex Systems 10 (1996) 239-255.
La Torre, S., Napoli, M. and Parente, D., Synchronization of a Line of Identical Processors at a Given Time. Fund. Inform. 34 (1998) 103-128.
Mazoyer, J., A six states minimal time solution to the firing squad synchronization problem. Theoret. Comput. Sci. 50 (1987) 183-238. CrossRef
Mazoyer, J., On optimal solutions to the firing squad synchronization problem. Theoret. Comput. Sci. 168 (1996) 367-404. CrossRef
F. Minsky, Computation: Finite and Infinite Machines. Prentice-Hall (1967).
E.F. Moore, Sequential Machines, Selected Papers. Addison-Wesley, Reading, Mass (1964).
Nishitani, Y. and Honda, N., The firing squad synchronization problem for graphs. Theoret. Comput. Sci. 14 (1981) 39-61. CrossRef
Roka, Z., The Firing Squad Synchronization Problem on Caley Graphs, in Proc. of MFCS'95. Prague, Czech Republic (1995). Lecture Notes in Comput. Sci. 969 (1995) 402-411. CrossRef
Shinair, I., Two and Three-Dimensional Firing Squad Synchronization Problems. Inform. and Control 24 (1974) 163-180. CrossRef
Waksman, A., An optimum solution to the firing squad synchronization problem. Inform. and Control 9 (1966) 66-78. CrossRef