Reddit系统中的部分服务器池
Partial Server Pooling in Redundancy Systems
摘要：
部分共享允许提供商在完全池化对他们不利时可能池化一小部分资源。最近在没有共享的系统中的工作表明，冗余可以大大提高性能。在本文中，我们结合部分共享和冗余开发部分共享模型的供应商操作多服务器系统的冗余。研究了两个具有冗余服务模型的M/M/N排队系统。到达作业的副本被放置在可以服务于该作业的服务器的队列中。部分共享模型cancel-on-complete和cancel-on-start冗余模型的开发。对于cancel-on-complete，它表明，帕累托有效区域是充分池配置。对于cancel-on-start策略，我们推测Pareto边界总是非空的，并且两个提供者中至少有一个共享其所有资源。对于该系统，使用议价理论确定供应商可以使用的共享配置。平均响应时间和等待概率是考虑的性能指标。
英文摘要：
Partial sharing allows providers to possibly pool a fraction of their resources when full pooling is not beneficial to them. Recent work in systems without sharing has shown that redundancy can improve performance considerably. In this paper, we combine partial sharing and redundancy by developing partial sharing models for providers operating multi-server systems with redundancy. Two M/M/N queues with redundant service models are considered. Copies of an arriving job are placed in the queues of servers that can serve the job. Partial sharing models for cancel-on-complete and cancel-on-start redundancy models are developed. For cancel-on-complete, it is shown that the Pareto efficient region is the full pooling configuration. For a cancel-on-start policy, we conjecture that the Pareto frontier is always non-empty and is such that at least one of the two providers is sharing all of its resources. For this system, using bargaining theory the sharing configuration that the providers may use is determined. Mean response time and probability of waiting are the performance metrics considered.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
