Performance engineering with product-form models: Efficient solutions and applications

ICPE'11 - Proceedings of the 2nd Joint WOSP/SIPEW International Conference on Performance Engineering

Volumn , Issue , 2011, Pages 437-448

  Balsamo, Simonetta ^a   Marin, Andrea ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

Product form solutions; Queueing theory

Indexed keywords

DYNAMIC BEHAVIOURS; EFFICIENT ALGORITHM; HETEROGENEOUS MODELS; MODELING FORMALISMS; PERFORMANCE ENGINEERING; PRODUCT-FORM; PRODUCT-FORM MODELS; PRODUCT-FORM SOLUTIONS; SOFTWARE DEVELOPMENT PROCESS; SOFTWARE SYSTEMS; STOCHASTIC MODELLING; STOCHASTIC PETRI NETS; STOCHASTIC PROCESS ALGEBRAS; SUBMODELS;

ALGORITHMS; MODELS; OPERATIONS RESEARCH; PETRI NETS; QUEUEING NETWORKS; QUEUEING THEORY; SOFTWARE DESIGN; STOCHASTIC SYSTEMS;

STOCHASTIC MODELS;

EID: 79954434264     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1958746.1958812     Document Type: Conference Paper

References (42)

1. AFSHARI, P. V., BRUELL, S. C., AND KAIN, R. Y. Modeling a new technique for accessing shared buses. In Proc. of the Computer Network Performance Symp. (New York, NY, USA, 1982), ACM Press, pp. 4-13.
2. ARGENT-KATWALA, A. Automated product-forms with meercat. In SMCtools 06: workshop on Tools for solving structured Markov chains (Pisa, Italy, 2006), vol. 201, p. 10.
3. BALBO, G., BRUELL, S. C., AND GHANTA, S. Combining queueing network and generalized stochastic Petri nets for the solution of complex models of system behavior. IEEE Trans. on Computers 37 (1998), 1251-1268.
4. BALBO, G., BRUELL, S. C., AND SERENO, M. On the relations between BCMP Queueing Networks and Product Form Solution Stochastic Petri Nets. Proc. of 10th Int. Workshop on Petri Nets and Performance Models, 2003. (2003), 103-112.
5. BALSAMO, S., DE NITTO PERSONE', V., AND ONVURAL, R. Analysis of Queueing Networks with Blocking. Kluwer Academic Publishers, 2001.
6. BALSAMO, S., DEI ROSSI, G., AND MARIN, A. A numerical algorithm for the solution of product-form models with infinite state spaces. In Proc. of EPEW 2010: Comp. Perf. Eng. (Bertinoro, Italy, 2010), LNCS 6342/2010, pp. 191-206.
7. BALSAMO, S., DEI ROSSI, G., AND MARIN, A. A tool for the numerical solution of cooperating Markov chains in product-form. In Proc. Of Int. Conf. HET-NETs (Zakopane, PL, January, 2010), pp. 311-324.
8. BALSAMO, S., MARCO, A. D., INVERARDI, P., AND SIMEONI, M. Model-based performance prediction in software development: a survey. IEEE Transactions on Software Engineering 30, 5 (May 2004), 295-310.
9. BALSAMO, S., AND MARIN, A. On representing multiclass M/M/k queues by generalized stochastic Petri nets. In Proc. of ECMS/ASMTA-2007 Conf. (Prague, Czech Republic, 4-6 June 2007), pp. 121-128.
10. BALSAMO, S., AND MARIN, A. Separable equilibrium distributions for systems with unreliable wireless links. In Wireless Days (WD), 2010 IFIP (Venice, Italy, Oct. 2010), pp. 1-5.
11. BALSAMO, S., AND MARIN, A. Representing LCFSPR BCMP service centers with Coxian service time distribution. In Proc. of Valuetools '07 Conf. (Nantes, France, October 23-25, 2007).
12. BASKETT, F., CHANDY, K. M., MUNTZ, R. R., AND PALACIOS, F. G. Open, closed, and mixed networks of queues with different classes of customers. J. A CM 22, 2 (1975), 248-260.
13. BAUSE, F. Queueing Petri nets: A formalism for the combined qualitative and quantitative analysis of systems. In Proc. of 5th Int. Workshop on Petri Nets and Performance Models (Toulouse (France), 1993), pp. 14-23.
14. CHANDY, K. M. The analysis and solutions for general queueing networks. In Proc. of 6th Annual Princeton Conf. on Inform. Sci. and Systems (Princeton, N.J., March, 1972), pp. 219-223.
15. CHANDY, K. M., J. H. HOWARD, J., AND TOWSLEY, D. F. Product form and local balance in queueing networks. J. ACM 24, 2 (1977), 250-263.
16. CHANDY, K. M., AND SAUER, C. H. Computational algorithms for product form queueing networks. Commun. ACM 23, 10 (1980), 573-583. (Pubitemid 11465081)
17. CHAO, X. A queueing network model with catastrophes and product form solution. Op. Res. Letters 18, 2 (1995), 75-79.
18. CHAO, X., MIYAZAWA, M., AND PINEDO, M. Queueing networks: customers, signals and product form solutions. Wiley, 1999.
19. COLEMAN, J. L., HENDERSON, W., AND TAYLOR, P. G. Product form equilibrium distributions and a convolution algorithm for Stochastic Petri nets. Perform. Eval., Elsevier 26 (1996), 159-180. (Pubitemid 126401313)
20. CROSBY, S., AND A.E., K. Product for solutions for multiserver centres with concurrent classes of customers. Perf. Eval. 11 (1990), 265-281.
21. GELENBE, E. Product form networks with negative and positive customers. Journal of Applied Prob. 28, 3 (1991), 656-663.
22. GELENBE, E. G-networks with triggered customer movement. J. of Appl. Prob. (1993), 742-748.
23. GELENBE, E., AND FoURNEAU, J. M. G-networks with resets. Perform. Eval., Elsevier 49, 1-4 (2002), 179-191.
24. HARRISON, P. G. Reversed processes, product forms, non-product forms and a new proof of the BCMP theorem. In Int. Conf. on the Numerical Solution of Markov Chains (NSMG 2003), Urbana IL, USA, September 2-5 2003 (September 2003), pp. 289-304.
25. HARRISON, P. G. Turning back time in Markovian process algebra. Theoretical Computer Science 290, 3 (January 2003), 1947-1986.
26. HARRISON, P. G. Compositional reversed Markov processes, with applications to G-networks. Perform. Eval, Elsevier 57, 3 (2004), 379-408.
27. HARRISON, P. G., AND LEE, T. T. Separable equilibrium state probabilities via time reversal in Markovian process algebra. Theoretical Computer Science 346, 1 (2005), 161-182. (Pubitemid 41606839)
28. HARRISON, P. G., AND MARIN, A. A compositional construction of product-form Petri-nets using Ercat. Tech. rep., Department of Computing, Imperial College, 2009.
29. HENDERSON, W., LUCIC, D., AND TAYLOR, P. G. A net level performance analysis of Stochastic Petri Nets. J. Austral. Math. Soc. Ser. B 31 (1989), 176-187.
30. HILLSTON, J. A Compositional Approach to Performance Modelling. PhD thesis, Department of Computer Science, University of Edinburgh, 1994.
31. J.M. FOURNAU, L. KLOUL, F. Q. G-networks with jumps back to zero. In Proc. of MASCOTS '95 (Duram, NC, USA), pp. 28-32.
32. KANT, K. Introduction to Computer System Performance Evaluation. McGraw-Hill, 1992.
33. KELLY, F. Reversibility and stochastic networks. Wiley, New York, 1979.
34. LAVENBERG, S. S. Computer Performance Modeling Handbook. Academic Press, New York, 1983.
35. LE BOUDEC, J. Y. A BCMP extension to multiserver stations with concurrent classes of customers. In SIGMETRICS '86/PERFORMANCE '86: Proc. of the 1986 ACM SIGMETRICS Int. Conf. on Computer performance modelling, measurement and evaluation (New York, NY, 1986), ACM Press, pp. 78-91.
36. MARIN, A., AND BULÒ, S. R. A general algorithm to compute the steady-state solution of product-form cooperating Markov chains. In Proc. of MASCOTS 2009 (London, UK, September 2009), pp. 515-524.
37. MARIN, A., AND VIGLIOTTI, M. G. A general result for deriving product-form solutions of markovian models. In Proc. of First Joint WOSP/SIPEW Int. Conf. on Perf. Eng. (San Josè, CA, USA, 2010), ACM, pp. 165-176.
38. MOLLOY, M. K. Performance analysis using stochastic petri nets. IEEE Trans. Comput. 31, 9 (1982), 913-917.
39. MUNTZ, R. R. Poisson departure processes and queueing networks. Tech. Rep. IBM Research Report RC4145, Yorktown Heights, New York, 1972.
40. PLATEAU, B. On the stochastic structure of parallelism and synchronization models for distributed algorithms. SIGMETRICS Perform. Eval. Rev. 13, 2 (1985), 147-154.
41. SERENO, M., AND BALBO, G. Mean Value Analysis of stochastic Petri nets. Perform. Eval. Elsevier 29 (1997), 35-62. (Pubitemid 127420709)
42. SMITH, C. U., AND WILLIAMS, L. G. Five steps to establish software performance engineering. In CMG Conf. (Reno, Nevada, USA, 2006), pp. 507-516.