公平性分类及其分析

On Classification and Analysis of Fairness

本文对不同通信及协调机制的程序设计语言的公平性问题进行了讨论。本文的讨论基于一般的转换系统模型，此模型为我们统一地处理不同机制的语言提供了一个基础。文中给出了三类公平性概念：弱公平性、进程公平性和强公平性。我们进一步对每一类公平性进行了分析，特别，我们对它们的实现及它们对程序验证的影响进行了讨论。文中最后，我们得到结论：不同通信及协调机制需要不同的公平性假设。为了便于实现以及得到更一般的结论，我们应该尽可能使用较弱的公平性假设。

This paper considers fairness assumptions imposed on various pramming languages with different mechanisms for communication and coordination.Our discussion is based on the general transition system model which provides an abstract setting that enables a uniform treatment of all different mechanisms. We introduce three types of fairness requirements: weak fairness, process fairness and strong fairness.We further analyse each kind of fairness assumptions, in particular, we discuss their implementation and their effects on program verification. At the end of the paper, we get the conclusion that various communication and coordination mechanisms need different fairness assumptions. To facilitate implementation and get more general results, we should make fairness assumptions as weak as possible.