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. We prove that this property entails the absence of deadlocks.. Finally, we provide a compositional denotational semantics which is equivalent to the operational semantics for textually aligned programs.

中文翻译：

---

文本对齐的SPMD程序的指称语义

我们讨论了在提议非结构化spmd样的集体操作的编程语言中强制执行文本对齐的好处。我们的研究基于一种简单的语言，该语言为全局同步障碍提供了支持。考虑基于操作语义的文本对齐方式的正式定义。我们证明了此属性需要没有死锁。最后，我们提供了一种组合式指称语义，它等效于文本对齐程序的操作语义。