Quartz: a tool for tuning parallel program performance
SIGMETRICS '90 Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Parallel program performance metrics: a comprison and validation
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Cilk: an efficient multithreaded runtime system
PPOPP '95 Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
IPS-2: The Second Generation of a Parallel Program Measurement System
IEEE Transactions on Parallel and Distributed Systems
Automatic performance analysis of hybrid MPI/OpenMP applications
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Evolutions in parallel distributed and network-based processing
Formal Aspects of Computing
Modal Abstractions of Concurrent Behaviour
SAS '08 Proceedings of the 15th international symposium on Static Analysis
Beyond contracts for concurrency
Formal Aspects of Computing - Special Issue: Concurrency and Real-Time for Eiffel-like Languages
Cameo: an alternative model of concurrency for Eiffel
Formal Aspects of Computing - Special Issue: Concurrency and Real-Time for Eiffel-like Languages
International Journal of High Performance Computing Applications
A modular scheme for deadlock prevention in an object-oriented programming model
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Computer Network Time Synchronization: The Network Time Protocol on Earth and in Space, Second Edition
Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages
ESEM '11 Proceedings of the 2011 International Symposium on Empirical Software Engineering and Measurement
| Hi-index | 0.00 |
To support developers in writing reliable and efficient concurrent programs, novel concurrent programming abstractions have been proposed in recent years. Programming with such abstractions requires new analysis tools because the execution semantics often differs considerably from established models. We present a performance analyzer that is based on new metrics for programs written in SCOOP, an object-oriented programming model for concurrency. We discuss how the metrics can be used to discover performance issues, and we use the tool to optimize a concurrent robotic control software.