研究、设计了一个基于HTTP Live Streaming视频流媒体技术的视频直播和点播的CDN系统,并在此基础上对其进行优化。目前,传统的CDN系统虽适用于目前国内大部分的网络环境,但在某些极端恶劣的环境条件下,比如无专线网络情况下的跨国数据传...研究、设计了一个基于HTTP Live Streaming视频流媒体技术的视频直播和点播的CDN系统,并在此基础上对其进行优化。目前,传统的CDN系统虽适用于目前国内大部分的网络环境,但在某些极端恶劣的环境条件下,比如无专线网络情况下的跨国数据传输,还是无法满足正常的业务需求。因此,该设计引入了Aspera-fasp传输技术,这是一项突破性的传输协议,能充分利用现有的WAN基础设施和通用硬件,让其为传统的CDN系统提供全球数据的快速传输。展开更多
To provide an optimal alternative to traditional Transmission Control Protocol(TCP)-based transport technologies,Aspera's Fast and Secure Protocol(FASP)is proposed as an innovative bulky data transport technology....To provide an optimal alternative to traditional Transmission Control Protocol(TCP)-based transport technologies,Aspera's Fast and Secure Protocol(FASP)is proposed as an innovative bulky data transport technology.To accurately analyse the reliability and rapidness of FASP,an automated formal technique - probabilistic model checking - is used for formally analysing FASP in this paper.First,FASP's transmission process is decomposed into three modules:the Sender,the Receiver and the transmission Channel.Each module is then modelled as a Continuous-Time Markov Chain(CTMC).Second,the reward structure for CTMC is introduced so that the reliability and rapidness can be specified with the Continuous-time Stochastic Logic(CSL).Finally,the probabilistic model checker,PRISM is used for analysing the impact of different parameters on the reliability and rapidness of FASP.The probability that the Sender finishes sending data and the Receiver successfully receives data is always 1,which indicates that FASP can transport data reliably.The result that FASP takes approximately 10 s to complete transferring the file of 1 G irrespective of the network configuration shows that FASP can transport data very quickly.Further,by the comparison of throughput between FASP and TCP under various latency and packet loss conditions,FASP's throughput is shown to be perfectly independent of network delays and robust to extreme packet loss.展开更多
文摘研究、设计了一个基于HTTP Live Streaming视频流媒体技术的视频直播和点播的CDN系统,并在此基础上对其进行优化。目前,传统的CDN系统虽适用于目前国内大部分的网络环境,但在某些极端恶劣的环境条件下,比如无专线网络情况下的跨国数据传输,还是无法满足正常的业务需求。因此,该设计引入了Aspera-fasp传输技术,这是一项突破性的传输协议,能充分利用现有的WAN基础设施和通用硬件,让其为传统的CDN系统提供全球数据的快速传输。
基金supported by the National Natural Science Foundation of China under Grants No. 60773049,No. 61003288,No.61111130184the Ph.D. Programs Foundation of Ministry of Education of China under Grant No. 20093227110005the Natural Science Foundation of Jiangsu Province under Grant No.BK2010192
文摘To provide an optimal alternative to traditional Transmission Control Protocol(TCP)-based transport technologies,Aspera's Fast and Secure Protocol(FASP)is proposed as an innovative bulky data transport technology.To accurately analyse the reliability and rapidness of FASP,an automated formal technique - probabilistic model checking - is used for formally analysing FASP in this paper.First,FASP's transmission process is decomposed into three modules:the Sender,the Receiver and the transmission Channel.Each module is then modelled as a Continuous-Time Markov Chain(CTMC).Second,the reward structure for CTMC is introduced so that the reliability and rapidness can be specified with the Continuous-time Stochastic Logic(CSL).Finally,the probabilistic model checker,PRISM is used for analysing the impact of different parameters on the reliability and rapidness of FASP.The probability that the Sender finishes sending data and the Receiver successfully receives data is always 1,which indicates that FASP can transport data reliably.The result that FASP takes approximately 10 s to complete transferring the file of 1 G irrespective of the network configuration shows that FASP can transport data very quickly.Further,by the comparison of throughput between FASP and TCP under various latency and packet loss conditions,FASP's throughput is shown to be perfectly independent of network delays and robust to extreme packet loss.
