Skip to main content

2016 | OriginalPaper | Buchkapitel

A Library of Modeling Components for Adaptive Queuing Networks

verfasst von : Davide Arcelli, Vittorio Cortellessa, Alberto Leva

Erschienen in: Computer Performance Engineering

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Self-adaptive techniques have been introduced in the last few years to tackle the growing complexity of software/hardware systems, where a significant complexity factor leans on their dynamic nature that is subject to sudden (and sometime unpredictable) changes. Adaptation actions are aimed at satisfying system goals that are often related to non-functional properties such as performance, reliability, etc. In principle, an adaptable software/hardware system can be considered a controllable plant and, in fact, quite promising results have been recently obtained by applying control theory to adaptation problems in this domain.
Goal of this paper is to provide a design support for introducing adaptation mechanisms in Queuing Network models of software/hardware systems. For this goal, we present a consolidated library of modeling components (in Modelica) representing Queuing Network elements with adaptable parameters. Adaptive Queuing Networks (AQN) can be built by properly assembling such elements. Once feedback control loop(s) are plugged into AQNs, it is possible to analyze and control (before the implementation) the system performance under changes due to external disturbances.
We show the construction of an AQN example model by using our library, and we demonstrate the effectiveness of our approach through experimental results provided by the simulation of a controlled AQN.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Note that each parameter described in this section refers to a specific class of jobs, where not differently specified.
 
2
Note that in a Station the Rout_req input of the StationQueue element has been joined to the homonym output of the StationServer to implement the policy of job extraction from the queue, so they disappear from the figure.
 
3
For sake of simplicity, only p has been defined as a knob in the current implementation of our library. The library is open to make all other probabilities as knobs.
 
4
A resource can be downloaded at http://​www.​di.​univaq.​it/​davide.​arcelli/​resources/​EPEW2016.​zip including the current version of our library and the usage example in this paper.
 
Literatur
1.
Zurück zum Zitat Aalto, S., Ayesta, U., Borst, S.C., Misra, V., Núñez-Queija, R.: Beyond processor sharing. SIGMETRICS Perform. Eval. Rev. 34(4), 36–43 (2007)CrossRef Aalto, S., Ayesta, U., Borst, S.C., Misra, V., Núñez-Queija, R.: Beyond processor sharing. SIGMETRICS Perform. Eval. Rev. 34(4), 36–43 (2007)CrossRef
2.
Zurück zum Zitat Ansel, J., Chan, C., Wong, Y.L., Olszewski, M., Zhao, Q., Edelman, A., Amarasinghe, S.: PetaBricks: a language and compiler for algorithmic choice. In: ACM PLDI (2009) Ansel, J., Chan, C., Wong, Y.L., Olszewski, M., Zhao, Q., Edelman, A., Amarasinghe, S.: PetaBricks: a language and compiler for algorithmic choice. In: ACM PLDI (2009)
3.
Zurück zum Zitat Arcelli, D., Cortellessa, V.: Challenges in applying control theory to software performance engineering for adaptive systems. In: ICPE, pp. 35–40 (2016) Arcelli, D., Cortellessa, V.: Challenges in applying control theory to software performance engineering for adaptive systems. In: ICPE, pp. 35–40 (2016)
4.
Zurück zum Zitat Arcelli, D., Cortellessa, V., Filieri, A., Leva, A.: Control theory for model-based performance-driven software adaptation. In: QoSA 2015, pp. 11–20 (2015) Arcelli, D., Cortellessa, V., Filieri, A., Leva, A.: Control theory for model-based performance-driven software adaptation. In: QoSA 2015, pp. 11–20 (2015)
5.
Zurück zum Zitat Baek, W., Chilimbi, T.: Green: a framework for supporting energy-conscious programming using controlled approximation. In: ACM PLDI (2010) Baek, W., Chilimbi, T.: Green: a framework for supporting energy-conscious programming using controlled approximation. In: ACM PLDI (2010)
6.
Zurück zum Zitat Calinescu, R., Ghezzi, C., Kwiatkowska, M., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9), 69–77 (2012)CrossRef Calinescu, R., Ghezzi, C., Kwiatkowska, M., Mirandola, R.: Self-adaptive software needs quantitative verification at runtime. Commun. ACM 55(9), 69–77 (2012)CrossRef
7.
Zurück zum Zitat Cardellini, V., Casalicchio, E., Grassi, V., Iannucci, S., Presti, F.L., Mirandola, R.: MOSES: a framework for QoS driven runtime adaptation of service-oriented systems. IEEE Trans. Softw. Eng. 38(5), 1138–1159 (2012)CrossRef Cardellini, V., Casalicchio, E., Grassi, V., Iannucci, S., Presti, F.L., Mirandola, R.: MOSES: a framework for QoS driven runtime adaptation of service-oriented systems. IEEE Trans. Softw. Eng. 38(5), 1138–1159 (2012)CrossRef
8.
Zurück zum Zitat Cascaval, C., Duesterwald, E., Sweeney, P.F., Wisniewski, R.W.: Performance and environment monitoring for continuous program optimization. IBM J. Res. Dev. 50(2/3), 239–248 (2006)CrossRef Cascaval, C., Duesterwald, E., Sweeney, P.F., Wisniewski, R.W.: Performance and environment monitoring for continuous program optimization. IBM J. Res. Dev. 50(2/3), 239–248 (2006)CrossRef
9.
Zurück zum Zitat Dorf, R., Bishop, R.: Modern Control Systems. Prenntice Hall, Upper Saddle River (2008)MATH Dorf, R., Bishop, R.: Modern Control Systems. Prenntice Hall, Upper Saddle River (2008)MATH
10.
Zurück zum Zitat Dotsenko, Y., Baghsorkhi, S.S., Lloyd, B., Govindaraju, N.K.: Auto-tuning of fast fourier transform on graphics processors. In: PPoPP, pp. 257–266 (2011) Dotsenko, Y., Baghsorkhi, S.S., Lloyd, B., Govindaraju, N.K.: Auto-tuning of fast fourier transform on graphics processors. In: PPoPP, pp. 257–266 (2011)
11.
Zurück zum Zitat Dutreilh, X., Moreau, A., Malenfant, J., Rivierre, N., Truck, I.: From data center resource allocation to control theory and back. In: CLOUD, pp. 410–417 (2010) Dutreilh, X., Moreau, A., Malenfant, J., Rivierre, N., Truck, I.: From data center resource allocation to control theory and back. In: CLOUD, pp. 410–417 (2010)
12.
Zurück zum Zitat Eeckhout, L., Vandierendonck, H., Bosschere, K.D.: Quantifying the impact of input data sets on program behavior and its applications. J. Instr.-Level Parallelism 5(1), 1–33 (2003) Eeckhout, L., Vandierendonck, H., Bosschere, K.D.: Quantifying the impact of input data sets on program behavior and its applications. J. Instr.-Level Parallelism 5(1), 1–33 (2003)
13.
Zurück zum Zitat Filieri, A., Ghezzi, C., Leva, A., Maggio, M.: Self-adaptive software meets control theory: a preliminary approach supporting reliability requirements. In: ASE, pp. 283–292 (2011) Filieri, A., Ghezzi, C., Leva, A., Maggio, M.: Self-adaptive software meets control theory: a preliminary approach supporting reliability requirements. In: ASE, pp. 283–292 (2011)
14.
Zurück zum Zitat Fritzson, P., Engelson, V.: Modelica: A unified object-oriented language for system modeling and simulation. In: Jul, E. (ed.) ECOO. LNCS, vol. 1445, pp. 67–90. Springer, Heidelberg (1998)CrossRef Fritzson, P., Engelson, V.: Modelica: A unified object-oriented language for system modeling and simulation. In: Jul, E. (ed.) ECOO. LNCS, vol. 1445, pp. 67–90. Springer, Heidelberg (1998)CrossRef
15.
Zurück zum Zitat Hellerstein, J.L.: Self-managing systems: a control theory foundation. In: ECBS, pp. 708–708 (2005) Hellerstein, J.L.: Self-managing systems: a control theory foundation. In: ECBS, pp. 708–708 (2005)
16.
Zurück zum Zitat Hellerstein, J.L., Morrison, V., Eilebrecht, E.: Applying control theory in the real world: experience with building a controller for the.net thread pool. SIGMETRICS Perform. Eval. Rev. 37(3), 38–42 (2010)CrossRef Hellerstein, J.L., Morrison, V., Eilebrecht, E.: Applying control theory in the real world: experience with building a controller for the.net thread pool. SIGMETRICS Perform. Eval. Rev. 37(3), 38–42 (2010)CrossRef
17.
Zurück zum Zitat Hoffmann, H., Holt, J., Kurian, G., Lau, E., Maggio, M., Miller, J., Neuman, S., Sinangil, M., Sinangil, Y., Agarwal, A., Chandrakasan, A., Devadas, S.: Self-aware computing in the angstrom processor. In: DAC (2012) Hoffmann, H., Holt, J., Kurian, G., Lau, E., Maggio, M., Miller, J., Neuman, S., Sinangil, M., Sinangil, Y., Agarwal, A., Chandrakasan, A., Devadas, S.: Self-aware computing in the angstrom processor. In: DAC (2012)
18.
Zurück zum Zitat Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: FOSE, pp. 259–268 (2007) Kramer, J., Magee, J.: Self-managed systems: an architectural challenge. In: FOSE, pp. 259–268 (2007)
19.
Zurück zum Zitat Lazowska, E., Kahorjan, J., Graham, G.S., Sevcik, K.C., Performance, Q.S.: Computer System Analysis Using Queueing Network Models. Prentice-Hall Inc., Upper Saddle River (1984) Lazowska, E., Kahorjan, J., Graham, G.S., Sevcik, K.C., Performance, Q.S.: Computer System Analysis Using Queueing Network Models. Prentice-Hall Inc., Upper Saddle River (1984)
20.
Zurück zum Zitat Leva, A., Maggio, M., Papadopoulos, A.V., Terraneo, F.: Control-based Operating System Design. Institution of Engineering and Technology, London (2013)CrossRefMATH Leva, A., Maggio, M., Papadopoulos, A.V., Terraneo, F.: Control-based Operating System Design. Institution of Engineering and Technology, London (2013)CrossRefMATH
21.
Zurück zum Zitat Levine, W.: The Control Handbook. CRC Press, Boca Raton (2005) Levine, W.: The Control Handbook. CRC Press, Boca Raton (2005)
22.
Zurück zum Zitat Lu, C., Lu, Y., Abdelzaher, T., Stankovic, J., Son, S.: Feedback control architecture, design methodology for service delay guarantees in web servers. IEEE Trans. Parallel Distrib. Syst. 17(9), 1014–1027 (2006)CrossRef Lu, C., Lu, Y., Abdelzaher, T., Stankovic, J., Son, S.: Feedback control architecture, design methodology for service delay guarantees in web servers. IEEE Trans. Parallel Distrib. Syst. 17(9), 1014–1027 (2006)CrossRef
23.
Zurück zum Zitat Patikirikorala, T., Colman, A., Han, J., Wang, L.: A systematic survey on the design of self-adaptive software systems using control engineering approaches. In: SEAMS, pp. 33–42 (2012) Patikirikorala, T., Colman, A., Han, J., Wang, L.: A systematic survey on the design of self-adaptive software systems using control engineering approaches. In: SEAMS, pp. 33–42 (2012)
24.
Zurück zum Zitat Perez-Palacin, D., Mirandola, R., Merseguer, J.: On the relationships between QoS and software adaptability at the architectural level. SoSyM J. 87, 1–17 (2014) Perez-Palacin, D., Mirandola, R., Merseguer, J.: On the relationships between QoS and software adaptability at the architectural level. SoSyM J. 87, 1–17 (2014)
25.
Zurück zum Zitat Petzold, L.R., et al.: A description of DASSL: a differential/algebraic system solver. In: Proceedings of IMACS World Congress, pp. 430–432 (1982) Petzold, L.R., et al.: A description of DASSL: a differential/algebraic system solver. In: Proceedings of IMACS World Congress, pp. 430–432 (1982)
26.
Zurück zum Zitat Rahman, S.F., Guo, J., Yi, Q.: Automated empirical tuning of scientific codes for performance and power consumption. In: HiPEAC, pp. 107–116 (2011) Rahman, S.F., Guo, J., Yi, Q.: Automated empirical tuning of scientific codes for performance and power consumption. In: HiPEAC, pp. 107–116 (2011)
27.
Zurück zum Zitat Zheng, T., Litoiu, M., Woodside, C.M.: Integrated estimation and tracking of performance model parameters with autoregressive trends. In: Kounev, S., Cortellessa, V., Mirandola, R., Lilja, D.J. (eds.) ICPE, pp. 157–166. ACM, New York (2011)CrossRef Zheng, T., Litoiu, M., Woodside, C.M.: Integrated estimation and tracking of performance model parameters with autoregressive trends. In: Kounev, S., Cortellessa, V., Mirandola, R., Lilja, D.J. (eds.) ICPE, pp. 157–166. ACM, New York (2011)CrossRef
Metadaten
Titel
A Library of Modeling Components for Adaptive Queuing Networks
verfasst von
Davide Arcelli
Vittorio Cortellessa
Alberto Leva
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-46433-6_14

Neuer Inhalt