Compositional performance prediction exemplified using generic object finalization analysis

Authors:
Nighat Yasmin;Murali Sitaraman
Affiliations:
University of Mississippi, University, MS;Clemson University, Clemson, SC
Venue:
Proceedings of the 47th Annual Southeast Regional Conference
Year:
2009

Citing 7
Cited 0

Component-based software using RESOLVE

ACM SIGSOFT Software Engineering Notes
Exploiting software interfaces for performance measurement

Proceedings of the 1st international workshop on Software and performance
Performance solutions: a practical guide to creating responsive, scalable software

Performance solutions: a practical guide to creating responsive, scalable software
Software performance engineering of component-based systems

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Performance modeling from software components

WOSP '04 Proceedings of the 4th international workshop on Software and performance
Hard real-time: C++ versus RTSJ

OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Performance analysis based upon complete profiles

Proceedings of the 2006 conference on Specification and verification of component-based systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Static analysis methods for performance prediction of component-based software must be compositional in order to be scalable. In this paper, we explain the problem and our solution approach by analyzing the time to finalize or destroy generic objects, in the presence of data abstraction. Unlike initialization of objects to pre-specified values, finalization has to contend with objects with arbitrary values. In the process, we explain necessary trade-offs between precision and complexity and the need to strengthen specifications of operations and internal assertions, such as loop invariants for performance analysis.