Abstract
Uncertainty profiles are used to study the effects of contention within cloud and service-based environments. An uncertainty profile provides a qualitative description of an environment whose quality of service (QoS) may fluctuate unpredictably. Uncertain environments are modelled by strategic games with two agents; a daemon is used to represent overload and high resource contention; an angel is used to represent an idealised resource allocation situation with no underlying contention. Assessments of uncertainty profiles are useful in two ways: firstly, they provide a broad understanding of how environmental stress can effect an application’s performance (and reliability); secondly, they allow the effects of introducing redundancy into a computation to be assessed.
J. Gabarro is partially supported by funds from the Spanish Ministry for Economy and Competitiveness (MINECO) and the European Union (FEDER funds) under grant TIN2013-46181-C2-1-R (COMMAS) and also by SGR 2014:1137 (ALBCOM) from AGAUR, Generalitat de Catalunya.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
All equiliria of a two person zero-sum game are identical – such assessments could also be computed by using linear programming.
- 2.
Basic Linear Algebra Subprograms (BLAS) are a library of low-level subroutines that perform common linear algebra operations.
- 3.
\(\alpha (E)\) denotes the set of services used in orchestration E – for example \(\alpha (s_1(5)| s_2(8))=\{s_1,s_2\}\), the two services used in the orchestration.
- 4.
The cost of matrix multiplication etc. depend on the problem size. However, in order to simplify the analysis a fixed problem size is used.
References
Benveniste, A., Jard, C., Kattepur, A., Rosario, S., Thywissen, J.A.: Qos-aware management of monotonic service orchestrations. Formal Methods Syst. Des. 44(1), 1–43 (2014)
Cook, W.R., Patwardhan, S., Misra, J.: Workflow patterns in Orc. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 82–96. Springer, Heidelberg (2006)
Gabarro, J., Serna, M., Stewart, A.: Web services and incerta spiriti: a game theoretic approach to uncertainty. In: Liu, W. (ed.) ECSQARU 2011. LNCS, vol. 6717, pp. 651–662. Springer, Heidelberg (2011)
Gabarro, J., Serna, M., Stewart, A.: Analysing web-orchestrations under stress using uncertainty profiles. Comput. J. 57(11), 1591–1615 (2014)
Jiang, A.X., Jain, M., Tambe, M.: Computational game theory for security and sustainability. JIP 22(2), 176–185 (2014)
Keenan, A.: Orchestrating hight performance services: theory and practice. Ph.D. Thesis (2014)
Misra, J., Cook, W.R.: Computation orchestration: a asis for wide-area computing. Softw. Syst. Model. 6(1), 83–110 (2007)
Harmer, T., Keenan, A., Stewart, A., Wright, p, Sun, Y.L., Perrott, R.: A constraints-based resource discovery model for multi-provider cloud environments. J. Cloud Comput. Adv. Syst. Appl. 1, 1–14 (2012)
Waldspurger, C.A., Rosenblum, M.: I/O virtualization. Commun. ACM 55(1), 66–73 (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Stewart, A., Gabarro, J., Keenan, A. (2015). Uncertainty in the Cloud: An Angel-Daemon Approach to Modelling Performance. In: Destercke, S., Denoeux, T. (eds) Symbolic and Quantitative Approaches to Reasoning with Uncertainty. ECSQARU 2015. Lecture Notes in Computer Science(), vol 9161. Springer, Cham. https://doi.org/10.1007/978-3-319-20807-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-20807-7_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20806-0
Online ISBN: 978-3-319-20807-7
eBook Packages: Computer ScienceComputer Science (R0)