Skip to main content
SpringerLink
Log in

Queueing Analysis of Pools in Soft Real-Time Systems

  • Conference paper
  • First Online:
Computer Performance Evaluation.Modelling Techniques and Tools (TOOLS 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1786))

Abstract

Software packages for designing large real-time systems do not typically provide any performance tools that will enable the designer to analyse the performance of the system that is being designed. In this paper, we present a queueing model of the pool, a software component that is commonly used in every large soft real-time system. This basic component transfers data among tasks without synchronisation in a non-selective manner. This performance model can be used in a software package to complement the automatic design and generation of soft real-time systems. The queueing model is analysed approximately using a decomposition technique. The analytical approximation is based on a new variant of the semaphore queue paradigm. Numerical tests show that the approximation has a good accuracy by comparison with the results obtained from a simulation model of the pool.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bate, G.: Mascot 3 an Informal Introductory Tutorial. Software Engineering Journal, May 1986, 95–102

    Google Scholar 

  2. Bause, F., Kritzinger, P.S.: Stochastic Petri Nets. An Introduction to the Theory. Advances in Computer Science, Verlag Vieweg, Wiesbaden, Germany (1996)

    Google Scholar 

  3. Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains. Modeling and Performance Evaluation with Computer Science Applications. John Wiley & Sons, New York (1998)

    Google Scholar 

  4. Cooling, J.E.: Real-Time Software Systems. An Introduction to Structured and Object-oriented Design. International Thomson Computer Press (1997)

    Google Scholar 

  5. Conway, A.E., Georganas, N.D.: Queueing Networks-Exact Computational Algorithms. A Unified Theory Based on Decomposition and Aggregation. Computer Systems, H. Schwetman (ed.), MIT Press, Cambridge, Massachusetts (1989)

    Google Scholar 

  6. Fdida, S., Perros, H.G., Wilk, A.: Semaphore Queues: Modeling Multilayered Window Flow Control Mechanisms. IEEE Transactions on Communications, Vol. 38, No. 3, March 1990, 309–317

    Article  Google Scholar 

  7. Gomaa, H.: Software Design Methods for Concurrent and Real-time Systems. The SEI Series in Software Engineering, N. Habermann (ed.), Addison-Wesley, Reading, Massachusetts (1993)

    Google Scholar 

  8. Harrison, P.G., Patel, N.M.: Performance Modelling of Communication Networks and Computer Architectures. International Computer Science Series, A.D. McGettrick (ed.), Addison-Wesley, Wokingham, England (1993)

    Google Scholar 

  9. Haverkort, B.R.: Performance of Computer Communication Systems. A Model-Based Approach. John Wiley & Sons, Chichester, England (1998)

    Google Scholar 

  10. Jeffay, K.: The Real-time Producer / Consumer Paradigm: A Paradigm for the Construction of Efficient, Predictable Real-time Systems. Proceedings of the ACM/SIGAFF Symposium on Applied Computing, Indianapolis, IN, USA, February 1993, ACM, 796–804

    Google Scholar 

  11. Jackson, K., Llamosí, A., Puigjaner, R.: A Comparison between Two Methods for Large Real-Time Systems Design. Complement Project Document UIB67-1.0, November 1993

    Google Scholar 

  12. Juiz, C., Puigjaner, R.: Performance Modeling of Data Transfer Channels in Soft Real-Time Systems. Proceedings of the Conference on Communication Networks and Distributed Systems Modeling and Simulation, L. Ni and Taieb F. Znati. (eds.), San Diego, CA, USA, January 1998, Society for Computing Simulation, 101–106

    Google Scholar 

  13. Juiz, C., Puigjaner, R., Jackson, K.: Performance Evaluation of Channels for Large Real-Time Software Systems. Proceedings of the International Conference and Workshop on Engineering of Computer Based Systems, Jerusalem, Israel, March 1998, IEEE Computer Society Press, 69–76

    Google Scholar 

  14. Juiz, C., Puigjaner, R.: Improved Performance Model of a Real Time Software Element: The Producer-Consumer. Proceedings of the Second International Workshop on Real-Time Computing Systems and Applications, Tokyo, Japan, October 1995, IEEE Computer Society Press, 174–178

    Google Scholar 

  15. Juiz, C., Puigjaner, R.: Performance Analysis of Multiclass Data Transfer Elements in Soft Real-Time Systems. Proceedings of the International Conference and Workshop on Engineering of Computer Based Systems, Nashville, TN, U.S.A., March 1999, IEEE Computer Society Press, 152–158

    Google Scholar 

  16. Lavenberg, S.: Stability and Maximum Departure Rate of Certain Open Queueing Networks having Capacity Constraints. RAIRO Informatique / Computer Science, vol. 12, 1978, 353–378

    MathSciNet  Google Scholar 

  17. Perros, H.G.: Queueing Networks with Blocking. Oxford University Press, New York (1994)

    Google Scholar 

  18. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, New Jersey (1981)

    Google Scholar 

  19. Pyle, Y., Hruschka, P., Lissandre, M., Jackson, K.: Real-time Systems, Investigating Industrial Practice. Tully C. and Pyle I. (eds.). Wiley Series in Software Based Systems, John Wiley & Sons, Chichester, England (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departament de Ciències Matemàtiques i Informàtica, Universitat de les Illes Balears, Carretera de Valldemossa, km 7.6, 07071, Palma, Spain

    Carlos Juiz & Ramon Puigjaner

Authors
  1. Carlos Juiz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ramon Puigjaner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, RWTH Aachen, 52056, Aachen, Germany

    Boudewijn R. Haverkort  & Henrik C. Bohnenkamp  & 

  2. Performance Engineering Services Division, MS 110, L&S Computer Technology, Inc., P.O. Box 9802, Austin, TX, 78766, USA

    Connie U. Smith

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Juiz, C., Puigjaner, R. (2000). Queueing Analysis of Pools in Soft Real-Time Systems. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds) Computer Performance Evaluation.Modelling Techniques and Tools. TOOLS 2000. Lecture Notes in Computer Science, vol 1786. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46429-8_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-46429-8_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67260-9

  • Online ISBN: 978-3-540-46429-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation