Co-design of Distributed Systems Using Skeleton and Autonomic Management Abstractions

Abstract

We discuss how common problems arising with multi/manycore distributed architectures can be effectively handled through co-design of parallel/distributed programming abstractions and of autonomic management of non-functional concerns. In particular, we demonstrate how restricted parallel/distributed patterns (or skeletons) may be efficiently managed by rule-based autonomic managers. We discuss the basic principles underlying pattern+manager co-design, current implementations inspired by this approach and some results achieved with a proof-of-concept prototype.

Autonomic management of multiple non-functional concerns in behavioural skeletons

“…As a distinguished feature, our work aims at defining tools and a methodology to ease and semi-automate the design and the generation of autonomic management and the distributed management overlay of a system, which is outside the scope of the related work. Our aim is focussed on the exploitation of structure by way of the co-design of functional and nonfunctional features [4] through behavioural skeletons, which may be regarded as autonomic management overlay factories.…”

Formal Methods for Components and Objects

“…Component technology, promotes the engineered development of distributed autonomic applications by enabling the co-design of autonomic management of non-functional concerns (performance tuning, in particular) and parallelism exploitation, which can be just-in-time derived from well-known, efficient patterns, such as behavioural skeletons [11].…”