Title | ||
---|---|---|
Performance Specification and Evaluation with Unified Stochastic Probes and Fluid Analysis |
Abstract | ||
---|---|---|
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(10^{129}) states in size. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1109/TSE.2012.1 | IEEE Trans. Software Eng. |
Keywords | Field | DocType |
fluid analysis,many-probe specification,various response-time measurement,useful performance metrics,response-time measure,location-based specification,common response-time measure,complex software system,performance specification,unified stochastic probes,performance specification mechanism,accessible performance evaluation,complex performance measurement,algebra,software metrics,computational modeling,stochastic processes,process algebra,formal specification,semantics | Wireless network,Computer science,Stochastic process,Real-time computing,Software system,Theoretical computer science,Formal specification,Performance specification,Software metric,Process calculus,Semantics | Journal |
Volume | Issue | ISSN |
39 | 1 | 0098-5589 |
Citations | PageRank | References |
14 | 0.64 | 17 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Richard A. Hayden | 1 | 167 | 12.07 |
Jeremy T. Bradley | 2 | 376 | 37.25 |
Allan Clark | 3 | 259 | 13.74 |