A formal model for SIMD computation

A formal model for single-instruction multiple-data (SIMD) computation is presented that captures the essential operating features of current SIMD computers, yet allows for extensions and variations of existing architectures. The fundamental components of the model are a host computer, a set of processing elements, a set of control units, a set of input/output controllers, and a set of external devices. Each component sends or receives data or instructions to/from other components are described by six networks, each of which governs the communication between a single pair of components. The networks are represented as functions or collections of functions with formally specified mathematical properties that have natural interpretations in the context of SIMD computation. Using the functional approach, a set of four assumptions for SIMD computers is proposed, and consequences of these assumptions are explored.<
>