组计算的无锁与无等待定义的域扩展

定义的域扩展是指拓宽定义的范围，使其适用于比最初指定的更多情况。无锁和无等待计算的概念是为由单个线程（与其他线程竞争）完成的任务域设计的。本文的目标是将无锁和无等待的定义扩展到组计算（记为gl-freedom和gw-freedom），这要求手头的任务必须由多个线程协作完成。在扩展定义时，必须遵守某些约束：新域必须在逻辑上与原始含义保持一致，扩展不应引入矛盾或歧义，并且必须保留使定义有效和有用的基本属性。我们通过证明当组由单个线程组成时，我们的扩展定义与原始定义一致来展示这一点。我们注意到，扩展允许我们在新域（分布式计算、NUMA计算系统、不同线程拥有私有数据的系统等）中表征程序，而不是将它们归入同一类别（无死锁/活锁），而不考虑该程序的实际属性。我们还用各种例子说明了这一定义。