skip to main content
article
Free Access

Aspects of software design analysis: Concurrency and blocking

Published:28 May 1980Publication History
Skip Abstract Section

Abstract

This paper extends previous work on development of a methodology for the prediction of the performance of computer software systems from design level specifications and continuing through implementation. The effects of synchronized behavior, such as results from data reservation in multi-thread executions of data base systems, and competition for host system resources are incorporated. The previous methodology uses hierarchical graphs to represent the execution of software on some host computer system (or on some abstract machine). Performance metrics such as response time were obtained from analysis of these graphs assuming execution of a single copy on a dedicated host. This paper discusses the mapping of these execution graphs upon queueing network models of the host computing environment to yield performance metric estimates for more complex and realistic processing environments.

References

  1. 1 J. W. Baker, D. Chester, and R. T. Yeh, "Software Development by Stepwise Refinement", Report SDBEG-2, Dept. of Computer Sciences, University of Texas at Austin, Jan. 1978.Google ScholarGoogle Scholar
  2. 2 F. Baskett, K. M. Chandy, R. R. Muntz and F. Palacios-Gomez, "Open, Closed and Mixed Networks of Queues with Different Classes of Customers", J. ACM 22, 2, April 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. 3 R. M. Brown, J. C. Browne, K. M. Chandy, T. W. Keller, D. F. Towsley and C. W. Dissly, "Hierarchical Techniques for the Development of Realistic Models of Complex Computer Systems", Proc. IEEE 63, 1975.Google ScholarGoogle Scholar
  4. 4 J. C. Browne, T. W. Keller, C. U. Smith, "Performance Analysis of the Integrated Program for Aerospace Design", Information Research Associates Report 1022, Oct. 1979.Google ScholarGoogle Scholar
  5. 5 K. M. Chandy, J. H. Howard, D. F. Towsley, "Product Form and Local Balance in Queueing Networks", J. ACM 24, 2, April 1977. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 6 A. W. Drake, Fundamentals of Applied Probability Theory, McGraw-Hill, 1967. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. 7 G. S. Graham (editor), Special Issue: Queueing Network Models of Computer System Performance, ACM Computing Surveys, 10, 3, Sept. 1978. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 8 A. G. Konheim and M. Reiser, "A Queueing Model with Finite Waiting Room and Blocking", J. ACM 1976. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. 9 S. S. Lam, "Queueing Networks with Population Size Constraints", IBM J. Res. Develop. 21, 1977.Google ScholarGoogle Scholar
  10. 10 W. E. Riddle, J. C. Wileden, J. H. Sayler, A. R. Segal and A. M. Stavely, "Behavior Modeling during Software Design", IEEE TSE 4, 1978. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. 11 J. W. Sanguinetti, "A Technique for Integrating Simulation and System Design", Proc. Conference on Simulation, Measurement and Modeling of Computer Systems, Boulder, August 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. 12 C. U. Smith, J. C. Browne, "Performance Specifications and Analysis of Software Designs", Proc. Conference on Simulation, Measurement and Modeling of Computer Systems, Boulder, August 1979.Google ScholarGoogle Scholar
  13. 13 C. U. Smith, J. C. Browne, "Modeling Software Systems for Performance Predictions", Proc. Computer Measurement Group X, Dallas, December 1979.Google ScholarGoogle Scholar
  14. 14 D. F. Towsley, "Local Balance Models of Computer Systems", Ph.D. Dissertation, Dept. of Computer Sciences, University of Texas at Austin, Dec. 1975. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 15 J. Zahorjan, "An Exact Solution for the General Class of Closed Separable Queueing Networks", Proc. Conference on Simulation, Measurement and Modeling of Computer Systems, Boulder, August 1979. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. 16 J. Zahorjan, "Computational Algorithms for Queueing Networks with Product Form Solutions", in Comp. Sys. Res. Group Tech. Rept. CSRG-100, G.S. Graham (ed.) Univ. of Toronto, July 1979.Google ScholarGoogle Scholar

Index Terms

  1. Aspects of software design analysis: Concurrency and blocking

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGMETRICS Performance Evaluation Review
            ACM SIGMETRICS Performance Evaluation Review  Volume 9, Issue 2
            Summer 1980
            274 pages
            ISSN:0163-5999
            DOI:10.1145/1009375
            Issue’s Table of Contents
            • cover image ACM Conferences
              PERFORMANCE '80: Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
              May 1980
              289 pages
              ISBN:0897910192
              DOI:10.1145/800199

            Copyright © 1980 ACM

            Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 28 May 1980

            Check for updates

            Qualifiers

            • article

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader