Formal specification of SIMD execution

Author

Farrell, C.A. ; Kieronska, D.H.

Author_Institution

Dept. of Comput. Sci., Curtin Univ. of Technol., Perth, WA, Australia

fYear

1996

fDate

11-13 Jun 1996

Firstpage

319

Lastpage

325

Abstract

In this paper we discuss the formal specification of parallel SIMD execution. We outline a vector model to describe SIMD execution which forms the basis of a semantic definition for a simple SIMD language definition. The model is based upon the notion of atomic parallel SIMD instructions operating on vectors of size Π where Π is the number of PEs on the machine. The vector model for parallel SIMD execution is independent of any specific computing architecture and can define parallel SIMD execution on a real SIMD machine (with a limited number of PEs) or a SIMD simulation. The model enables the formal specification of SIMD languages by providing an underlying mathematical framework for the SIMD paradigm

Keywords

formal specification; parallel languages; parallel processing; SIMD execution; SIMD simulation; atomic parallel SIMD instructions; formal specification; mathematical framework; semantic definition; vector model; Computational modeling; Computer architecture; Computer science; Concurrent computing; Formal specifications; Mathematical model; Parallel languages; Writing;

fLanguage

English

Publisher

ieee

Conference_Titel

Algorithms & Architectures for Parallel Processing, 1996. ICAPP 96. 1996 IEEE Second International Conference on

Print_ISBN

0-7803-3529-5

Type

conf

DOI

10.1109/ICAPP.1996.562891

Filename

562891