A Denotational Semantics of Textually Aligned SPMD Programs

Autor: Frédéric Dabrowski
Přispěvatelé: Laboratoire d'Informatique Fondamentale d'Orléans (LIFO), Ecole Nationale Supérieure d'Ingénieurs de Bourges-Université d'Orléans (UO)
Jazyk: angličtina
Rok vydání: 2018
Předmět:
Semantics (computer science)
Logic
Property (programming)
Computer science
02 engineering and technology
0102 computer and information sciences
computer.software_genre
01 natural sciences
Operational semantics
Theoretical Computer Science
Program analysis
Denotational semantics
Synchronization (computer science)
0202 electrical engineering
electronic engineering
information engineering
SPMD
Formal description
ComputingMilieux_MISCELLANEOUS
[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Programming language
Program optimization
Computational Theory and Mathematics
010201 computation theory & mathematics
Programming paradigm
020201 artificial intelligence & image processing
Simple language
[INFO.INFO-DC]Computer Science [cs]/Distributed
Parallel
and Cluster Computing [cs.DC]
computer
Software
Zdroj: International Conference on High Performance Computing & Simulation
International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. ⟨10.1109/HPCS.2018.00119⟩
Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2019, ⟨10.1016/j.jlamp.2019.02.010⟩
HPCS
ISSN: 2352-2208
DOI: 10.1109/HPCS.2018.00119⟩
Popis: We discuss the benefit of enforcing textual alignment in programming languages proposing unstructured SPMD-like collective operations. Our study is based on a simple language which provides support for global synchronization barriers. A formal definition of textual alignment, based on an operational semantics, is considered. As one can expect the defined property entails the absence of deadlocks. We argue that this property provides an intuitive programming model that makes it easier to perform program analysis and program optimization. To support our claim we provide a compositional denotational semantics which is equivalent to the operational semantics for textually aligned programs.
Databáze: OpenAIRE
Externí odkaz: