Formal specification of interconnection networks

Authors:
John O'Donnell;Gudula Rünger
Affiliations:
Computing Science Department, University of Glasgow, Glasgow, Britain;Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany
Venue:
FP'95 Proceedings of the 1995 international conference on Functional Programming
Year:
1995

Citing 8
Cited 0

Interconnection networks for large-scale parallel processing: theory and case studies

Interconnection networks for large-scale parallel processing: theory and case studies
Fat-trees: universal networks for hardware-efficient supercomputing

IEEE Transactions on Computers
Cube structures for multiprocessors

Communications of the ACM
Introduction to parallel algorithms and architectures: array, trees, hypercubes

Introduction to parallel algorithms and architectures: array, trees, hypercubes
Highly parallel computing (2nd ed.)

Highly parallel computing (2nd ed.)
Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors

ACM Transactions on Programming Languages and Systems (TOPLAS)
On a Class of Multistage Interconnection Networks

IEEE Transactions on Computers
How to emulate shared memory

SFCS '87 Proceedings of the 28th Annual Symposium on Foundations of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

Interconnection networks are an important and well-studied topic in parallel computing and architecture, but a homogeneous and general method for defining and classifying the topologies and behaviors of interconnection networks is lacking. Topologies are usually specified informally by picture or more formally by permutations of wire enumerations. This paper presents an improved method for specifying multistage networks via permutations, along with two styles of formal functional specification of the entire network, using both a standardmultistage organization and a generalized fat tree organization. This method is applied to two specific indirect multistage switch networks: the baseline and the butterfly. The functional specification emphasizes the similarities between the networks, and also captures the functionality provided by general-purpose network nodes.