Verbindungsstrukturen für Multiprozessoren. (Structures for connections in multiprocessor systems) (Q1107295)

During the last few years the requirements for the computational performance of computers have increased considerably. Several attempts have been made to increase the performance of computers. One possibility is the use of multiprocessors solving a problem in cooperation. Doing so, the processors have to exchange data with each other. For the capability of multiprocessor systems the structure of the connections between the processors is of essential importance. This article describes some structures for the connections in multiprocessor systems. First, hypercubes are examined, then cube- connected cycles (CCC), the two way digit exchange (two wade) and finally banyan networks. The investigation shows that each of these structures can be generated from the previous one. Furthermore, the specific advantages of the topologul des prédicats associés à un programme PROLOG donné sont élaborés par rapport à un interpréteur PROLOG qui fait épreuve d'un comportement en largeur d'abord et équitable. Le système proposé donne une sémantique logique du programme qui coincide le plus souvent avec la sémantique opérationelle d'un interpréteur standard - mais pas toujours ! Dans les bons cas on obtient l'expression en termes de points fixes non seulement des caractéristiques des interpréteurs en largeur d'abord et équitables, mais aussi de celles des interpréteurs standard. Selon l'A. l'idée de ce système peut s'appliquer avec succès même à des interpréteurs parallèles ou à des interpréteurs qui offrent le moyen de contrôle ``cut''.