Formal Specification of Interconnection Networks

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 standard multistage 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.

Conference

Publication date: July 1995

Publication date (Print): July 1995

Pages: 1-11

Affiliations

Computing Science Department, University of Glasgow

Glasgow, Britain

Fachbereich Informatik, Universität des Saarlandes

Saarbrücken, Germany

Article

DOI: 10.14236/ewic/FP1995.15

Copyright statement: © John O’Donnell et al. Published by BCS Learning and Development Ltd. Proceedings of the 1995 Glasgow Workshop on Functional Programming, Ullapool, Scotland

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of the 1995 Glasgow Workshop on Functional Programming

Conference acronym: FP

Conference number:

Conference location: Ullapool, Scotland

Conference date: 10-12 July 1995

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Functional Programming

Product

Product Information: 1477-9358BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FP1995.15

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing