Interprocess Communication and Synchronization in Parallel and Distributed Systems

进程间的通信和同步在并行和分布式系统中具有根本的重要性。 它们一起对并发程序的效率、设计和理解产生影响。 本研究的目的是探讨共享变量和消息传递系统的进程间通信和同步机制。 在共享变量系统的情况下，高速缓存的一致性和非原子共享内存的适当性的问题被认为是。 证明技术和编程方法被开发用于处理非原子存储器。 在消息传递系统的情况下，局部计算的问题进行了调查。 复杂性的措施，衡量当地和有效的算法，经常发生的同步问题的发展。 故障和动态网络的算法和严格的各种性能指标的下限的影响进行了探讨。 最后，研究探讨混合编程范式，支持共享内存和消息传递。 作为这项研究的一部分，设计了一个底层的消息传递架构上的共享内存的有效模拟。

Communication and synchronization among processes is of fundamental importance in parallel and distributed systems. Together, they have an impact on the efficiency, the design, and the understanding of concurrent programs. This research aims at examining shared variable and message passing systems with respect to mechanisms for interprocess communication and synchronization. In the case of shared variable systems, the question of cache coherence and the appropriateness of non-atomic shared memory is considered. Proof techniques and programming methodologies are developed for dealing with non-atomic memories. In the case of message passing systems, the question of locality of computations is investigated. Complexity measures that measure locality and efficient algorithms for commonly occurring synchronization problems are developed. The impact of failures and dynamic networks on algorithms and tight lower bounds on various performance measures are explored. Finally, the research examines mixed programming paradigms that support both shared memory and message passing. As a part of this research, efficient simulations of shared memory on an underlying message passing architecture are designed.