Compositional Development of Performance Models in Poems

Abstract

Performance models are software systems in which the components implement abstractions of the behavior of a total system. This paper describes a capability for semiautomatic development of performance models of computer systems spanning applications, operating systems, and hardware by composition from a library of components. Compositional development of performance models is a domain-specific instance of the general problem of software component reuse or design reuse. The concepts enabling compositional development of performance models in POEMS are encapsulation of analysis-level objects with associative interfaces and hierarchical dynamic data flow graphs as a structuring model. Objects with associative interfaces will be called compositional objects. Compositional objects and hierarchical dynamic data flow graphs provide a framework for the development of performance models that incorporate multiple modes of evaluation, span multiple semantic domains, span multiple levels of abstraction, and parallel implementation. Algorithms for composition through associative interfaces with automatic generation of parallel executables for the performance models will be defined.

Get full access to this article

View all access options for this article.

References

Adve, V. , Bagrodia, R. , Browne, J. C. , Deelman, E. , Dube, A. , Houstis, E. , Rice, J. , Sakellariou, R. , Sundaram-Stukel, D. , Teller, P. , and Vernon, M. K. In press. POEMS: End-to-end performance design of large parallel adaptive computational systems . IEEE Trans. on Software Engineering.

Bagrodia, R. , and Liao, W. 1994. Maisie: A language for design of efficient discrete-event simulations . IEEE Trans. on Software Engineering 20: 225-238 .

Bayerdorffer, B. 1993. Associative broadcast and the communication semantics of naming in concurrent systems. Ph.D. diss., Department of Computer Sciences, University of Texas at Austin.

Bayerdorffer, B. 1995. Distributed programming with associative broadcast . In Proceedings of the Twenty-Eighth Hawaii International Conference on System Sciences, pp. 25-35 .

Booch, G. , Rumbaugh, J. , and Jacobson, I. 1999. The Unified Modeling Language User Guide. Reading, MA: Addison-Wesley .

Burger, D. , and Austin, T. M. 1997. The Simple Scalar Tool Set. Version 2.0, UW CS Technical Report 1442. Madison: University of Wisconsin-Madison .

Dube, A. 1998. A language for compositional development of performance models and its translation. Master’s thesis, Department of Computer Science, University of Texas at Austin.

Falknerhainer, B. , and Forbus, K. 1991. Compositional modeling: Finding the right model for the job . Artificial Intelligence 51: 95-153 .

Gelernter, D. , Carriero, N. , Chandran, N. , and Chang, S. 1985. Parallel programming in Linda . In Proceedings of the International Conference on Parallel Processing, pp. 255-263 .

10.

Lamport, L. 1978. Time, clocks, and the ordering of events in a distributed system . Communications of the ACM 17: 558-565 .

11.

Low, W.-H. , Lim, C.-C. , Cai, W. , Huang, S.-Y. , Jain, S. , and Turner, S. J. 1999. Survey of languages and runtime libraries for parallel discrete event simulation . Simulation 72: 170-186 .

12.

Newton, P. , and Browne, J. C. 1992. The CODE 2.0 graphical parallel programming language . In Proceedings of the 1992 International Conference on Supercomputing, pp. 177-187 .

13.

Object Management Group . 1995. The Common Object Request Broker: Architecture and Specification. Revision 2. Needham, MA: Object Management Group .

14.

Rumbaugh, J. , Blaha, M. , Premerlani, W. , Eddy, F. , and Lorensen, W. 1991. Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice Hall .

15.

Sessions, R. 1997. COM and DCOM: Microsoft’s Vision for Distributed Objects. New York: John Wiley .

16.

Shlaer, S. , and Mellor, S. 1992. Object Lifecycles: Modeling the World in States. New York: Yourdon .

17.

SES . 1996. SES/Workbench 3.1 Users Reference Manual. Austin, TX: SES .