Skip to main content
Article thumbnail
Location of Repository

Fluid analysis of energy consumption using rewards in massively parallel Markov models

By Anton Stefanek, Richard A. Hayden and Jeremy T. Bradley


Capturing energy consumption directly from a stochastic behavioural model is a computationally expensive process. Using a so-called fluid analysis technique we are able to access accumulated reward measures in much larger scale stochastic systems than has been previously possible. These accumulated rewards are ideal for deriving energy and power consumption from stochastic process models. In previous work, it has been shown how to derive a set of ordinary differential equations (ODEs) whose solutions approximate the moments of component counts in a continuous-time Markov chain (CTMC) described in a stochastic process algebra. In this paper, we show how to extend the method to provide rapid access to moments of accumulated rewards in CTMCs. In addition to measuring the amount of energy used by a system, we are also interested in the time taken to reach a particular level of energy consumption. In reward terms, this is a so-called completion time. In this paper, we are able to use higher moments of rewards to give us access to completion time distributions. We demonstrate the technique on a model of energy consumption in a client–server system with server failure and hibernation. Moreover, we are able to use these new and rapid techniques to capture the trade-off between energy consumption and service level agreement (SLA) compliance. We use a standard optimisation approach to find the precise configuration of the system which minimises the energy consumption while satisfying an operational response-time quantile

Topics: Performance
Year: 2011
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.