在多线程计算环境中建立跨越多个进程的通信程序

摘要

提供一种确定性的、非死锁技术,用于在多线程计算环境中取得分布式合意。该技术包括在多个进程之间通信,以便为分布在多个进程上的一组参与线程的通信程序建立候选标识符;在多个进程之间通信,以便在多个线程的每个参与线程处检查是否能在其进程要求该候选标识符,如果能,就要求该候选标识符,作为新标识符,由此建立通信程序。举例来说,该技术可以通过消息传送接口(MPI)库内的子例程调用来实现。