首页> 外文期刊>Concurrency and Computation >Fairness in systems based on multiparty interactions
【24h】

Fairness in systems based on multiparty interactions

机译:基于多方交互的系统中的公平性

获取原文
获取原文并翻译 | 示例

摘要

In the context of the Multiparty Interaction Model, fairness is used to insure that an interaction that is enabled sufficiently often in a concurrent program will eventually be selected for execution. Unfortunately, this notion does not take conspiracies into account, i.e. situations in which an interaction never becomes enabled because of an unfortunate interleaving of independent actions; furthermore, eventual execution is usually too weak for practical purposes since this concept can only be used in the context of infinite executions. In this article, we present a new fairness notion, k-conspiracy-free fairness, that improves on others because it takes finite executions into account, alleviates conspiracies that are not inherent to a program, and k may be set a priori to control its goodness to address the above-mentioned problems.
机译:在多方交互模型的上下文中,使用公平性来确保最终选择在并发程序中足够频繁启用的交互来执行。不幸的是,这一概念没有考虑到阴谋,即由于不幸的独立行动的交织而使互动从未成为可能的情况;此外,由于实际情况下,最终执行通常太弱,因为该概念只能在无限执行的情况下使用。在本文中,我们提出了一个新的公平概念,即无k-阴谋的公平,它在其他方面有所改进,因为它考虑了有限的执行力,减轻了程序固有的阴谋,并且可以将k设置为先验来控制其程序。善于解决上述问题。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号