Title :
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
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;
Conference_Titel :
Algorithms & Architectures for Parallel Processing, 1996. ICAPP 96. 1996 IEEE Second International Conference on
Print_ISBN :
0-7803-3529-5
DOI :
10.1109/ICAPP.1996.562891
