Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis
复制标题
DOI：
10.1109/tse.2012.1
复制
发表时间：
2013
影响因子：
7.4
通讯作者：
R. A. Hayden;J. Bradley;Allan Clark
中科院分区：
文献类型：
--
作者：
R. A. Hayden;J. Bradley;Allan Clark
复杂软件系统的快速和可访问的性能评估需要两个关键特性：能够轻松指定有用的性能指标，以及能够分析大规模分布式体系结构，而无需求助于大型计算集群。我们提出了统一的随机探针，一个性能规范机制的进程代数模型，结合了许多现有的想法：状态和动作为基础的激活，基于位置的规范，多探针规范，立即信令。这些功能，在它们之间，允许复杂的性能测量的精确和组合的建设。本文展示了如何使用随机探针语言的子集来指定大规模进程代数模型中的常见响应时间度量。本文的第二个贡献是展示如何使用所谓的流体技术来分析这些响应时间措施，以快速产生结果。在此过程中，我们扩展了流体方法，将即时活动和一种新型的响应时间测量方法结合起来。最后，我们计算各种响应时间测量的复杂分布式无线网络的O（10129）状态的大小。
Rapid and accessible performance evaluation of complex software systems requires two critical features: the ability to specify useful performance metrics easily and the capability to analyze massively distributed architectures, without recourse to large compute clusters. We present the unified stochastic probe, a performance specification mechanism for process algebra models that combines many existing ideas: state and action-based activation, location-based specification, many-probe specification, and immediate signaling. These features, between them, allow the precise and compositional construction of complex performance measurements. The paper shows how a subset of the stochastic probe language can be used to specify common response-time measures in massive process algebra models. The second contribution of the paper is to show how these response-time measures can be analyzed using so-called fluid techniques to produce rapid results. In doing this, we extend the fluid approach to incorporate immediate activities and a new type of response-time measure. Finally, we calculate various response-time measurements on a complex distributed wireless network of O(10129) states in size.