首页 > 最新文献

2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems最新文献

英文 中文
Spectrum Sensing with Receive Diversity for Cognitive Radio Operating over Wideband Channel 基于接收分集的宽带认知无线电频谱感知
Taehun An, I. Song, Seungwon Lee, Hwang-Ki Min
A detection scheme of spectrum sensing is discussed for cognitive radio with multiple receive antennas operating over a wideband channel composed of a multitude of sub bands. By taking the observations in all sub bands into consideration in the likelihood ratio test for sensing a sub band, the proposed scheme can provide better performance than other conventional schemes.
讨论了一种多接收天线在由多个子带组成的宽带信道上工作的认知无线电频谱感知检测方案。该方案在感知子波段的似然比检验中考虑了所有子波段的观测值,具有较好的性能。
{"title":"Spectrum Sensing with Receive Diversity for Cognitive Radio Operating over Wideband Channel","authors":"Taehun An, I. Song, Seungwon Lee, Hwang-Ki Min","doi":"10.1109/MASCOTS.2013.48","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.48","url":null,"abstract":"A detection scheme of spectrum sensing is discussed for cognitive radio with multiple receive antennas operating over a wideband channel composed of a multitude of sub bands. By taking the observations in all sub bands into consideration in the likelihood ratio test for sensing a sub band, the proposed scheme can provide better performance than other conventional schemes.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121199347","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modeling Anomalies Prevalent in Sensor Network Deployments: A Representative Ground Truth 传感器网络部署中普遍存在的异常建模:一个具有代表性的地面真值
Giovani Rimon Abuaitah, Bin Wang
The performance of anomaly detection algorithms is usually measured using the total residual error. This error metric is calculated by comparing the labels assigned by the detection algorithm against a reference ground truth. Obtaining a highly expressive ground truth is by itself a challenging task, if not infeasible. Often, a dataset is manually labeled by domain experts. However, manual labeling is error prone. In real-world sensor network deployments, it becomes even more difficult to label a sensor dataset due to the large amount of samples, the complexity of visualizing the data, and the uncertainty in the existence of anomalies. This paper proposes an automated technique which uses highly representative anomaly models for labeling. We demonstrate the effectiveness of this technique through evaluating a classification algorithm using our designed anomaly models as ground truth. We show that the classification accuracy is similar to that when using manually labeled real-world data points.
异常检测算法的性能通常用总残差来衡量。该误差度量是通过比较由检测算法分配的标签与参考接地真值来计算的。获得具有高度表现力的基础真理本身就是一项具有挑战性的任务,如果不是不可行的。通常,数据集是由领域专家手动标记的。然而,手工标签容易出错。在现实世界的传感器网络部署中,由于大量的样本,可视化数据的复杂性以及异常存在的不确定性,标记传感器数据集变得更加困难。本文提出了一种使用高度代表性异常模型进行标记的自动化技术。我们通过使用我们设计的异常模型作为基础真值来评估分类算法来证明该技术的有效性。我们表明,分类精度与使用手动标记的真实世界数据点时相似。
{"title":"Modeling Anomalies Prevalent in Sensor Network Deployments: A Representative Ground Truth","authors":"Giovani Rimon Abuaitah, Bin Wang","doi":"10.1109/MASCOTS.2013.57","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.57","url":null,"abstract":"The performance of anomaly detection algorithms is usually measured using the total residual error. This error metric is calculated by comparing the labels assigned by the detection algorithm against a reference ground truth. Obtaining a highly expressive ground truth is by itself a challenging task, if not infeasible. Often, a dataset is manually labeled by domain experts. However, manual labeling is error prone. In real-world sensor network deployments, it becomes even more difficult to label a sensor dataset due to the large amount of samples, the complexity of visualizing the data, and the uncertainty in the existence of anomalies. This paper proposes an automated technique which uses highly representative anomaly models for labeling. We demonstrate the effectiveness of this technique through evaluating a classification algorithm using our designed anomaly models as ground truth. We show that the classification accuracy is similar to that when using manually labeled real-world data points.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126767145","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Carbon-Aware Load Balancing for Geo-distributed Cloud Services 地理分布式云服务的碳感知负载平衡
Zhi Zhou, Fangming Liu, Yong Xu, Ruolan Zou, Hong Xu, John C.S. Lui, Hai Jin
Recently, data center carbon emission has become an emerging concern for the cloud service providers. Previous works are limited on cutting down the power consumption of the data centers to defuse such a concern. In this paper, we show how the spatial and temporal variabilities of the electricity carbon footprint can be fully exploited to further green the cloud running on top of geographically distributed data centers. We jointly consider the electricity cost, service level agreement (SLA) requirement, and emission reduction budget. To navigate such a three-way tradeoff, we take advantage of Lyapunov optimization techniques to design and analyze a carbon-aware control framework, which makes online decisions on geographical load balancing, capacity right-sizing, and server speed scaling. Results from rigorous mathematical analyses and real-world trace-driven empirical evaluation demonstrate its effectiveness in both minimizing electricity cost and reducing carbon emission.
最近,数据中心的碳排放已经成为云服务提供商关注的一个新兴问题。以前的工作仅限于减少数据中心的功耗,以消除这种担忧。在本文中,我们展示了如何充分利用电力碳足迹的空间和时间变化来进一步实现在地理分布数据中心之上运行的云的绿色。我们共同考虑电力成本、服务水平协议(SLA)要求和减排预算。为了进行这样的三方权衡,我们利用Lyapunov优化技术来设计和分析碳感知控制框架,该框架在地理负载平衡、容量适当大小和服务器速度扩展方面做出在线决策。严格的数学分析和现实世界的痕迹驱动的实证评估结果表明,它在最大限度地降低电力成本和减少碳排放方面都是有效的。
{"title":"Carbon-Aware Load Balancing for Geo-distributed Cloud Services","authors":"Zhi Zhou, Fangming Liu, Yong Xu, Ruolan Zou, Hong Xu, John C.S. Lui, Hai Jin","doi":"10.1109/MASCOTS.2013.31","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.31","url":null,"abstract":"Recently, data center carbon emission has become an emerging concern for the cloud service providers. Previous works are limited on cutting down the power consumption of the data centers to defuse such a concern. In this paper, we show how the spatial and temporal variabilities of the electricity carbon footprint can be fully exploited to further green the cloud running on top of geographically distributed data centers. We jointly consider the electricity cost, service level agreement (SLA) requirement, and emission reduction budget. To navigate such a three-way tradeoff, we take advantage of Lyapunov optimization techniques to design and analyze a carbon-aware control framework, which makes online decisions on geographical load balancing, capacity right-sizing, and server speed scaling. Results from rigorous mathematical analyses and real-world trace-driven empirical evaluation demonstrate its effectiveness in both minimizing electricity cost and reducing carbon emission.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"52 25","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133655855","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 89
On Zipf Models for Probabilistic Piece Selection in P2P Stored Media Streaming P2P存储媒体流中概率片段选择的Zipf模型
C. Williamson, Niklas Carlsson
The Zipf distribution is widely used to model Web site popularity, video popularity, and file referencing behavior. In recent published work, we proposed and evaluated a Zipf-based policy for probabilistic piece selection in Peer-to-Peer (P2P) media streaming. In this current paper, we revisit this Zipf model in more detail, and identify two fundamentally different modeling approaches, namely regenerative versus degenerative Zipf models. We illustrate the differences between the two models, provide refined analytical models for each, and validate the models with simulations in the context of P2P media streaming. The results show that the regenerative model is more appropriate for P2P streaming, because of its stronger sequential progress.
Zipf分发被广泛用于对网站流行度、视频流行度和文件引用行为进行建模。在最近发表的工作中,我们提出并评估了基于zipf的点对点(P2P)媒体流中的概率片段选择策略。在本文中,我们更详细地回顾了Zipf模型,并确定了两种根本不同的建模方法,即再生Zipf模型和退化Zipf模型。我们举例说明了两种模型之间的差异,为每种模型提供了精细的分析模型,并在P2P媒体流环境中通过仿真验证了模型。结果表明,再生模型具有较强的序贯性,更适合于P2P流。
{"title":"On Zipf Models for Probabilistic Piece Selection in P2P Stored Media Streaming","authors":"C. Williamson, Niklas Carlsson","doi":"10.1109/MASCOTS.2013.24","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.24","url":null,"abstract":"The Zipf distribution is widely used to model Web site popularity, video popularity, and file referencing behavior. In recent published work, we proposed and evaluated a Zipf-based policy for probabilistic piece selection in Peer-to-Peer (P2P) media streaming. In this current paper, we revisit this Zipf model in more detail, and identify two fundamentally different modeling approaches, namely regenerative versus degenerative Zipf models. We illustrate the differences between the two models, provide refined analytical models for each, and validate the models with simulations in the context of P2P media streaming. The results show that the regenerative model is more appropriate for P2P streaming, because of its stronger sequential progress.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133593283","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
On Modeling Low-Power Wireless Protocols Based on Synchronous Packet Transmissions 基于同步分组传输的低功耗无线协议建模研究
Marco Zimmerling, F. Ferrari, L. Mottola, L. Thiele
Mathematical models play a pivotal role in understanding and designing advanced low-power wireless systems. However, the distributed and uncoordinated operation of traditional multi-hop low-power wireless protocols greatly complicates their accurate modeling. This is mainly because these protocols build and maintain substantial network state to cope with the dynamics of low-power wireless links. Recent protocols depart from this design by leveraging synchronous transmissions (ST), whereby multiple nodes simultaneously transmit towards the same receiver, as opposed to pair wise link-based transmissions (LT). ST improve the one-hop packet reliability to an extent that efficient multi-hop protocols with little network state are feasible. This paper studies whether ST also enable simple yet accurate modeling of these protocols. Our contribution to this end is two-fold. First, we show, through experiments on a 139-node test bed, that characterizing packet receptions and losses as a sequence of independent and identically distributed (i.i.d.) Bernoulli trials-a common assumption in protocol modeling but often illegitimate for LT-is largely valid for ST. We then show how this finding simplifies the modeling of a recent ST-based protocol, by deriving (i) sufficient conditions for probabilistic guarantees on the end-to-end packet reliability, and (ii) a Markovian model to estimate the long-term energy consumption. Validation using test bed experiments confirms that our simple models are also highly accurate, for example, the model error in energy against real measurements is 0.25%, a figure never reported before in the related literature.
数学模型在理解和设计先进的低功耗无线系统中起着关键作用。然而,传统的多跳低功耗无线协议的分布式和不协调的运行方式给其精确建模带来了很大的困难。这主要是因为这些协议建立和维护大量的网络状态,以应对低功耗无线链路的动态变化。最近的协议通过利用同步传输(ST)偏离了这种设计,即多个节点同时向同一接收器传输,而不是对基于链路的传输(LT)。ST在一定程度上提高了单跳报文的可靠性,使得网络状态少的高效多跳协议成为可能。本文研究ST是否也能对这些协议进行简单而准确的建模。我们为此目的的贡献是双重的。首先,我们通过在139个节点的试验台上的实验表明,将数据包接收和丢失表征为独立和同分布(i.i.d)的序列。伯努利试验——协议建模中的一个常见假设,但对于lt来说通常是不合法的——在很大程度上对st有效。然后,我们通过推导(i)端到端数据包可靠性概率保证的充分条件,以及(ii)估计长期能耗的马尔可夫模型,展示了这一发现如何简化了最近基于st的协议的建模。使用试验台实验的验证证实,我们的简单模型也非常准确,例如,模型能量与实际测量值的误差为0.25%,这是相关文献中从未报道过的数字。
{"title":"On Modeling Low-Power Wireless Protocols Based on Synchronous Packet Transmissions","authors":"Marco Zimmerling, F. Ferrari, L. Mottola, L. Thiele","doi":"10.1109/MASCOTS.2013.76","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.76","url":null,"abstract":"Mathematical models play a pivotal role in understanding and designing advanced low-power wireless systems. However, the distributed and uncoordinated operation of traditional multi-hop low-power wireless protocols greatly complicates their accurate modeling. This is mainly because these protocols build and maintain substantial network state to cope with the dynamics of low-power wireless links. Recent protocols depart from this design by leveraging synchronous transmissions (ST), whereby multiple nodes simultaneously transmit towards the same receiver, as opposed to pair wise link-based transmissions (LT). ST improve the one-hop packet reliability to an extent that efficient multi-hop protocols with little network state are feasible. This paper studies whether ST also enable simple yet accurate modeling of these protocols. Our contribution to this end is two-fold. First, we show, through experiments on a 139-node test bed, that characterizing packet receptions and losses as a sequence of independent and identically distributed (i.i.d.) Bernoulli trials-a common assumption in protocol modeling but often illegitimate for LT-is largely valid for ST. We then show how this finding simplifies the modeling of a recent ST-based protocol, by deriving (i) sufficient conditions for probabilistic guarantees on the end-to-end packet reliability, and (ii) a Markovian model to estimate the long-term energy consumption. Validation using test bed experiments confirms that our simple models are also highly accurate, for example, the model error in energy against real measurements is 0.25%, a figure never reported before in the related literature.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114448865","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 36
Analysis of a Simple Approach to Modeling Performance for Streaming Data Applications 流数据应用建模性能的一种简单方法分析
J. Beard, R. Chamberlain
Current state of the art systems contain various types of multicore processors, General Purpose Graphics Processing Units (GPGPUs) and occasionally Digital Signal Processors (DSPs) or Field-Programmable Gate Arrays (FPGAs). With heterogeneity comes multiple abstraction layers that hide underlying complexity. While necessary to ease programmability of these systems, this hidden complexity makes quantitative performance modeling a difficult task. This paper outlines a computationally simple approach to modeling the overall throughput and buffering needs of a streaming application deployed on heterogeneous hardware.
当前最先进的系统包含各种类型的多核处理器,通用图形处理单元(gpgpu)和偶尔的数字信号处理器(dsp)或现场可编程门阵列(fpga)。异质性带来了隐藏底层复杂性的多个抽象层。虽然有必要简化这些系统的可编程性,但这种隐藏的复杂性使得定量性能建模成为一项困难的任务。本文概述了一种计算简单的方法来对部署在异构硬件上的流应用程序的总体吞吐量和缓冲需求进行建模。
{"title":"Analysis of a Simple Approach to Modeling Performance for Streaming Data Applications","authors":"J. Beard, R. Chamberlain","doi":"10.1109/MASCOTS.2013.49","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.49","url":null,"abstract":"Current state of the art systems contain various types of multicore processors, General Purpose Graphics Processing Units (GPGPUs) and occasionally Digital Signal Processors (DSPs) or Field-Programmable Gate Arrays (FPGAs). With heterogeneity comes multiple abstraction layers that hide underlying complexity. While necessary to ease programmability of these systems, this hidden complexity makes quantitative performance modeling a difficult task. This paper outlines a computationally simple approach to modeling the overall throughput and buffering needs of a streaming application deployed on heterogeneous hardware.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114984031","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
Overcoming Limitations of Off-the-Shelf Priority Schedulers in Dynamic Environments 克服现有优先级调度器在动态环境中的局限性
Feng Yan, S. Hughes, Alma Riska, E. Smirni
It is common nowadays to architect and design scaled-out systems with off-the-shelf computing components operated and managed by off-the-shelf open-source tools. While web services represent the critical set of services offered at scale, big data analytics is emerging as a preferred service to be colocated with cloud web services at a lower priority raising the need for off-the-shelf priority scheduling. In this paper we report on the perils of Linux priority scheduling tools when used to differentiate between such complex services. We demonstrate that simple priority scheduling utilities such as nice and ionice can result in dramatically erratic behavior. We provide a remedy by proposing an autonomic priority scheduling algorithm that adjusts its execution parameters based on on-line measurements of the current resource usage of critical applications. Detailed experimentation with a user-space prototype of the algorithm on a Linux system using popular benchmarks such as SPEC and TPC-W illustrate the robustness and versatility of the proposed technique, as it provides consistency to the expected performance of a high-priority application when running simultaneously with multiple low priority jobs.
如今,使用现成的计算组件构建和设计可扩展的系统是很常见的,这些组件由现成的开源工具操作和管理。虽然web服务代表了大规模提供的关键服务集,但大数据分析正在成为与云web服务搭配的首选服务,优先级较低,这增加了对现成优先级调度的需求。在本文中,我们报告了Linux优先级调度工具在用于区分这些复杂服务时的危险。我们演示了简单的优先级调度实用程序(如nice和ionice)可能导致非常不稳定的行为。我们提供了一种补救方法,提出了一种自主优先级调度算法,该算法根据关键应用程序当前资源使用的在线测量来调整其执行参数。在Linux系统上使用SPEC和TPC-W等流行基准测试对算法的用户空间原型进行了详细的实验,说明了所建议技术的健壮性和多功能性,因为它在同时运行多个低优先级作业时,为高优先级应用程序的预期性能提供了一致性。
{"title":"Overcoming Limitations of Off-the-Shelf Priority Schedulers in Dynamic Environments","authors":"Feng Yan, S. Hughes, Alma Riska, E. Smirni","doi":"10.1109/MASCOTS.2013.72","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.72","url":null,"abstract":"It is common nowadays to architect and design scaled-out systems with off-the-shelf computing components operated and managed by off-the-shelf open-source tools. While web services represent the critical set of services offered at scale, big data analytics is emerging as a preferred service to be colocated with cloud web services at a lower priority raising the need for off-the-shelf priority scheduling. In this paper we report on the perils of Linux priority scheduling tools when used to differentiate between such complex services. We demonstrate that simple priority scheduling utilities such as nice and ionice can result in dramatically erratic behavior. We provide a remedy by proposing an autonomic priority scheduling algorithm that adjusts its execution parameters based on on-line measurements of the current resource usage of critical applications. Detailed experimentation with a user-space prototype of the algorithm on a Linux system using popular benchmarks such as SPEC and TPC-W illustrate the robustness and versatility of the proposed technique, as it provides consistency to the expected performance of a high-priority application when running simultaneously with multiple low priority jobs.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130651136","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Autoreversibility: Exploiting Symmetries in Markov Chains 自可逆:利用马尔可夫链中的对称性
A. Marin, S. Rossi
The computation of the steady-state distribution of Continuous Time Markov Chains (CTMCs) may be a computationally hard problem when the number of states is very large. In order to overcome this problem, in the literature, several solutions have been proposed such as the reduction of the state space cardinality by lumping, the factorization based on product-form analysis and the application of the notion of reversibility. In this paper we address this problem by introducing the notion of auto reversibility which is defined as a symmetric co inductive relation which induces an equivalence relation among the chain's states. We show that all the states belonging to the same equivalence class share the same stationary probabilities and hence the computation of the steady-state distribution can be computationally more efficient. The definition of auto reversibility takes inspiration by the Kolmogorov's criteria for reversible processes and hence requires to test a property on all the minimal cycles of the chain. We show that the notion of auto reversibility is different from that of reversible processes and does not correspond to other state aggregation techniques such as lumping. Finally, we discuss the applicability of our results in the case of models defined in terms of a Markovian process Algebra such as the Performance Evaluation Process Algebra.
连续时间马尔可夫链(ctmc)稳态分布的计算在状态数非常大的情况下是一个计算困难的问题。为了克服这一问题,在文献中提出了几种解决方案,如通过集总来减少状态空间基数,基于乘积形式分析的因子分解以及可逆性概念的应用。本文通过引入自可逆性的概念来解决这个问题,该概念被定义为一个对称的协归纳关系,它可以在链的状态之间推导出等价关系。我们证明了属于同一等价类的所有状态都具有相同的平稳概率,因此稳态分布的计算可以更有效地计算。自可逆性的定义是受柯尔莫哥洛夫可逆过程准则的启发,因此需要在链的所有最小环上测试一个性质。我们证明了自可逆性的概念不同于可逆过程的概念,并且不对应于其他状态聚合技术,如集总。最后,我们讨论了我们的结果在马尔可夫过程代数(如性能评估过程代数)定义的模型中的适用性。
{"title":"Autoreversibility: Exploiting Symmetries in Markov Chains","authors":"A. Marin, S. Rossi","doi":"10.1109/MASCOTS.2013.23","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.23","url":null,"abstract":"The computation of the steady-state distribution of Continuous Time Markov Chains (CTMCs) may be a computationally hard problem when the number of states is very large. In order to overcome this problem, in the literature, several solutions have been proposed such as the reduction of the state space cardinality by lumping, the factorization based on product-form analysis and the application of the notion of reversibility. In this paper we address this problem by introducing the notion of auto reversibility which is defined as a symmetric co inductive relation which induces an equivalence relation among the chain's states. We show that all the states belonging to the same equivalence class share the same stationary probabilities and hence the computation of the steady-state distribution can be computationally more efficient. The definition of auto reversibility takes inspiration by the Kolmogorov's criteria for reversible processes and hence requires to test a property on all the minimal cycles of the chain. We show that the notion of auto reversibility is different from that of reversible processes and does not correspond to other state aggregation techniques such as lumping. Finally, we discuss the applicability of our results in the case of models defined in terms of a Markovian process Algebra such as the Performance Evaluation Process Algebra.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121672690","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Evaluating Approaches for Performance Prediction in Virtualized Environments 虚拟环境中性能预测的评估方法
Fabian Brosig, F. Gorsler, Nikolaus Huber, Samuel Kounev
Performance management and performance prediction of services deployed in virtualized environments is a challenging task. On the one hand, the virtualization layer makes the estimation of performance model parameters difficult and inaccurate. On the other hand, it is difficult to model the hyper visor scheduler in a representative and practically feasible manner. In this paper, we describe how to obtain relevant parameters, such as the virtualization overhead, depending on the amount and type of available monitoring data. We adapt classical queueing-theory-based modeling techniques to make them usable for different configurations of virtualized environments. We provide answers how to include the virtualization overhead into queueing network models, and how to take the contention between different VMs into account. Finally, we evaluate our approach in representative scenarios based on the SPECjEnterprise2010 standard benchmark and XenServer 5.5, showing significant improvements in the prediction accuracy and discussing further open issues for performance prediction in virtualized environments.
对部署在虚拟化环境中的业务进行性能管理和性能预测是一项具有挑战性的任务。一方面,虚拟化层使性能模型参数的估计变得困难和不准确。另一方面,很难以一种具有代表性和实际可行的方式对超级遮阳板调度程序进行建模。在本文中,我们描述了如何根据可用监控数据的数量和类型获得相关参数,例如虚拟化开销。我们采用了经典的基于排队理论的建模技术,使其可用于虚拟环境的不同配置。我们提供了如何将虚拟化开销包含到排队网络模型中的答案,以及如何考虑不同vm之间的争用。最后,我们在基于SPECjEnterprise2010标准基准测试和XenServer 5.5的典型场景中评估了我们的方法,显示了预测准确性方面的显著改进,并讨论了虚拟化环境中性能预测的进一步开放问题。
{"title":"Evaluating Approaches for Performance Prediction in Virtualized Environments","authors":"Fabian Brosig, F. Gorsler, Nikolaus Huber, Samuel Kounev","doi":"10.1109/MASCOTS.2013.61","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.61","url":null,"abstract":"Performance management and performance prediction of services deployed in virtualized environments is a challenging task. On the one hand, the virtualization layer makes the estimation of performance model parameters difficult and inaccurate. On the other hand, it is difficult to model the hyper visor scheduler in a representative and practically feasible manner. In this paper, we describe how to obtain relevant parameters, such as the virtualization overhead, depending on the amount and type of available monitoring data. We adapt classical queueing-theory-based modeling techniques to make them usable for different configurations of virtualized environments. We provide answers how to include the virtualization overhead into queueing network models, and how to take the contention between different VMs into account. Finally, we evaluate our approach in representative scenarios based on the SPECjEnterprise2010 standard benchmark and XenServer 5.5, showing significant improvements in the prediction accuracy and discussing further open issues for performance prediction in virtualized environments.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122615681","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Helping Hand or Hidden Hurdle: Proxy-Assisted HTTP-Based Adaptive Streaming Performance 帮助之手或隐藏的障碍:代理辅助的基于http的自适应流性能
Vengatanathan Krishnamoorthi, Niklas Carlsson, D. Eager, A. Mahanti, N. Shahmehri
HTTP-based Adaptive Streaming (HAS) has become a widely-used video delivery technology. Use of HTTP enables relatively easy firewall/NAT traversal and content caching. While caching is an important aspect of HAS, there is not much public research on the performance impact proxies and their policies have on HAS. In this paper we build an experimental framework using open source Squid proxies and the most recent Open Source Media Framework (OSMF). A range of content-aware policies can be implemented in the proxies and tested, while the player software can be instrumented to measure performance as seen at the client. Using this framework, the paper makes three main contributions. First, we present a scenario-based performance evaluation of the latest version of the OSMF player. Second, we quantify the benefits using different proxy-assisted solutions, including basic best effort policies and more advanced content quality aware prefetching policies. Finally, we present and evaluate a cooperative framework in which clients and proxies share information to improve performance. In general, the bottleneck location and network conditions play central roles in which policy choices are most advantageous, as they significantly impact the relative performance differences between policy classes. We conclude that careful design and policy selection is important when trying to enhance HAS performance using proxy assistance.
基于http的自适应流(HAS)已经成为一种应用广泛的视频传输技术。使用HTTP可以相对容易地实现防火墙/NAT遍历和内容缓存。虽然缓存是HAS的一个重要方面,但是关于代理及其策略对HAS的性能影响的公开研究并不多。在本文中,我们使用开源Squid代理和最新的开源媒体框架(OSMF)构建了一个实验性框架。可以在代理中实现一系列内容感知策略并进行测试,同时可以对播放器软件进行检测,以测量客户端所看到的性能。利用这一框架,本文做出了三个主要贡献。首先,我们对最新版本的OSMF播放器进行了基于场景的性能评估。其次,我们量化了使用不同代理辅助解决方案的好处,包括基本的最佳努力策略和更高级的内容质量感知预取策略。最后,我们提出并评估了一个合作框架,其中客户端和代理共享信息以提高性能。通常,瓶颈位置和网络条件在策略选择中发挥着最有利的作用,因为它们显著影响策略类之间的相对性能差异。我们得出的结论是,在尝试使用代理辅助来提高HAS性能时,仔细的设计和策略选择是重要的。
{"title":"Helping Hand or Hidden Hurdle: Proxy-Assisted HTTP-Based Adaptive Streaming Performance","authors":"Vengatanathan Krishnamoorthi, Niklas Carlsson, D. Eager, A. Mahanti, N. Shahmehri","doi":"10.1109/MASCOTS.2013.26","DOIUrl":"https://doi.org/10.1109/MASCOTS.2013.26","url":null,"abstract":"HTTP-based Adaptive Streaming (HAS) has become a widely-used video delivery technology. Use of HTTP enables relatively easy firewall/NAT traversal and content caching. While caching is an important aspect of HAS, there is not much public research on the performance impact proxies and their policies have on HAS. In this paper we build an experimental framework using open source Squid proxies and the most recent Open Source Media Framework (OSMF). A range of content-aware policies can be implemented in the proxies and tested, while the player software can be instrumented to measure performance as seen at the client. Using this framework, the paper makes three main contributions. First, we present a scenario-based performance evaluation of the latest version of the OSMF player. Second, we quantify the benefits using different proxy-assisted solutions, including basic best effort policies and more advanced content quality aware prefetching policies. Finally, we present and evaluate a cooperative framework in which clients and proxies share information to improve performance. In general, the bottleneck location and network conditions play central roles in which policy choices are most advantageous, as they significantly impact the relative performance differences between policy classes. We conclude that careful design and policy selection is important when trying to enhance HAS performance using proxy assistance.","PeriodicalId":385538,"journal":{"name":"2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128663114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 37
期刊
2013 IEEE 21st International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1