P2P系统的排队论模型.doc

目 录 摘 要 1 Abstract 1 1 引言 2 2 P2P系统的排队论模型 2 3 P2P服务系统的稳定性 3 4 P2P存储系统模型 4 5 仿真结果 5 5.1 验证稳定性条件 5 5.2 研究服务动态性对系统的影响 7 结束语 8 参考文献 9 P2P系统的排队论模型研究 摘 要 近几年P2P服务（如流媒体，文件共享和存储）系统的发展，带来了新的排队系统类型。在这新系统中，任务和服务都随机到达和离开。服务的动态性和任务的动态性具体相关或非相关的性质。为了研究这一新系统类型，本文为P2P服务系统建立了排队论模型，并对这些不同的排队论模型进行分类。对这些系统的基本类型，本文得出结论：如果系统中平均负载没有超过平均系统服务能力，则系统是稳定的，即所有到达的任务都能在有限时间内得到服务并完成。本文的实验验证了这些结论，并得出：一般情况下，系统中服务的动态性越强，任务在系统中所花的时间越少。 关键词 排队论，建模，P2P系统，稳定性 Research of the Queuing Models for Peer-to-peer Systems Abstract Recent development of peer-to-peer (P2P) services (e.g. streaming, file sharing, and storage) systems introduces a new type of queue systems not studied before. In these new systems, both job and server arrive and depart randomly. The server dynamics may or may not correlate to the job dynamics. Motivated by these observations, we develop queuing models for P2P service systems and taxonomy for different variations of these queuing models. For several basic classes of these systems, we show that they are stable, i.e. all arriving job will be served and cleared in finite time, if the average workload does not exceed the average system service capacity. Numerical experiments verify our results, and indicate that higher server dynamics lead to less time a job spends in the system on average. Keywords Queuing theory, Modeling, Peer-to-peer system, Stability 引言 排队论（又称随机服务系统）是研究系统由于随机因素干扰而出现排队（或拥塞）现象的规律性的一门学科，它适用于一切服务系统，特别地，排队论在研究计算机网络和操作系统的应用导致大量使用排队论为队列网络和许多不同服务策略建模[1, 2]。可以说，凡是出现拥塞现象的系统，都属于随机服务系统[3]。 经典的排队论系统中的任务随机到达，服务站的服务能力是静态的，通过模型分析系统的等待时间和稳定性等属性。最近，P2P（端到端）系统的建模是一种新的排队系统。在这一新的排队论模型中，任务仍然是随机到达，但服务站也是随机提供服务的，服务能力和任务的到达是相关的。和经典的排队理论类似，新的模型也能帮助解决P2P系统设计中的一些基本问题。如，为保证P2P系统的稳定需要哪些条件？在给定的负载和服务参数下系统的性能如何？ 最早的一个由Qiu和Srikant[4]提出的P2P模型是为BitTorrent建立的，虽然他们没有提出排队论，但他们隐式地为随机到达的服务站建模。随后，Fan，Chiu和Lui[5]研究了动态P2P系统中不同服务率间的平衡。论文[6, 7]中作者也用具有一定服务率的随机到达节点来为P2P流系统建模。还有很多其它动态P2P系统模型的例子，但都还没有对P2P系统的排队论模型进行统一的分析。 本文首先对具有服务动态性的排队模型进行了分类，通过对这类P2P系统模型进行分类，我们得出系统稳定性条件，并与经典排队论模型进行比较；其次，为了验证P2P排队模型在实际系