在研究并发计算的过程中,可以将研究的系统分为三种模型:k-有界并发模型,有界并发模型和无界并发模型。研究表明随着并发性的增强,无等待可解的问题规模越来越小。收集,快照以及重命名等问题已经被证明在无界并发模型下是可解的,通用构造问题在无界并发模型下是否可解是一个急需回答的问题。通用构造是一种能将任意对象的顺序实现转化为可线性化的并发实现的一般性原理,无等待通用构造算法要求这种转化的过程具有无等待性。在有界并发模型下,已经有许多优秀的通用构造算法,这些算法证明了有界并发模型下通用构造算法的存在性,然而关于“无界并发模型下,通用构造算法是否存在”这一问题,已有的研究都没有给出答案。针对这一情况,本文提出了无界无等待通用构造算法,从而证明了通用构造的问题在无界并发模型下是可解的。论文在研究了所有已有的通用构造算法基础上,做出了以下工作:1)设计出了第一个无界并发模型下的通用构造算法。算法是基于帮助机制的,为了保证无界并发模型下进程间的帮助能够终止,算法中引入了新的排队方法,并且利用了无界并发模型中有限时间内系统中活跃的进程数有限的特性。2)从理论上证明了算法的正确性,本文主要证明了算法的无等待性和可线性化性。本文的工作是理论性的研究,意义在于证明了无界并发模型下通用构造的存在性,在附录部分给出了算法的一个模拟程序。另外,本文提出的算法在设计帮助机制时引入的排队技术是一种新颖的思想。