Title: On the semantics of languages for massively parallel SIMD architectures
Abstract: We define a small language which embodies the main concepts of parallel languages for massively parallel SIMD architectures such as the Connection Machine, and give its Structured Operational Semantics. It yields two related program equivalences, corresponding respectively to two views of SIMD architectures. They are studied in detail. We then extend the language with parallel counterparts of non-local control transfer structures such as break and continue in C, and show that many classical control structures in real SIMD languages can be expressed thanks to them.
Publication Year: 1991
Publication Date: 1991-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
Cited By Count: 13
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot