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

We discuss how common problems arising with multi/many core distributed architectures can he effectively handled through co-design of parallel/distributed programming abstractions and of autonomic management of non-functional concerns. In particular, we demonstrate how restricted 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 result achieved with proof-or-concept, prototype.

Autonomic management of non-functional concerns in distributed & parallel application programming

An approach to the management of non-functional concerns in massively parallel and/or distributed architectures that marries parallel programming patterns with autonomic computing is presented. The necessity and suitability of the adoption of autonomic techniques are evidenced. Issues arising in the implementation of autonomic managers taking care of multiple concerns and of coordination among hierarchies of such autonomic managers are discussed. Experimental results are presented that demonstrate the feasibility of the approach.

LIBERO:A framework for autonomic management of multiple non-functional concerns

We describe a lightweight prototype framework (LIBERO) designed for experimentation with behavioural skeletons-components implementing a well-known parallelism exploitation pattern and a rule-based autonomic manager taking care of some non-functional feature related to pattern computation. LIBERO supports multiple autonomic managers within the same behavioural skeleton, each taking care of a different non-functional concern. We introduce LIBERO-built on plain Java and JBoss-and discuss how multiple managers may be coordinated to achieve a common goal using a two-phase coordination protocol developed in earlier work. We present experimental results that demonstrate how the prototype may be used to investigate autonomic management of multiple, independent concerns. © 2011 Springer-Verlag Berlin Heidelberg.

Managing adaptivity in parallel systems

The management of non-functional features (performance, security, power management, etc.) is traditionally a difficult, error prone task for programmers of parallel applications. To take care of these non-functional features, autonomic managers running policies represented as rules using sensors and actuators to monitor and transform a running parallel application may be used. We discuss an approach aimed at providing formal tool support to the integration of independently developed autonomic managers taking care of different non-functional concerns within the same parallel application. Our approach builds on the Behavioural Skeleton experience (autonomic management of non-functional features in structured parallel applications) and on previous results on conflict detection and resolution in rule-based systems. © 2013 Springer-Verlag Berlin Heidelberg.

Model checking support for conflict resolution in multiple non-functional concern management

When implementing autonomic management of multiple non-functional concerns a trade-off must be found between the ability to develop independently management of the individual concerns (following the separation of concerns principle) and the detection and resolution of conflicts that may arise when combining the independently developed management code. Here we discuss strategies to establish this trade-off and introduce a model checking based methodology aimed at simplifying the discovery and handling of conflicts arising from deployment-within the same parallel application-of independently developed management policies. Preliminary results are shown demonstrating the feasibility of the approach.

Towards hierarchical management of autonomic components: a case study

We address the issue of autonomic management in hierarchical component-based distributed systems. The long term aim is to provide a modelling framework for autonomic management in which QoS goals can be defined, plans for system adaptation described and proofs of achievement of goals by (sequences of) adaptations furnished. Here we present an early step on this path. We restrict our focus to skeleton-based systems in order to exploit their well-defined structure. The autonomic cycle is described using the Orc system orchestration language while the plans are presented as structural modifications together with associated costs and benefits. A case study is presented to illustrate the interaction of managers to maintain QoS goals for throughput under varying conditions of resource availability.

Autonomic management of multiple non-functional concerns in behavioural skeletons

We introduce and address the problem of concurrent autonomic management of different non-functional concerns in parallel applications build as a hierarchical composition of behavioural skeletons. We first define the problems arising when multiple concerns are dealt with by independent managers, then we propose a methodology supporting coordinated management, and finally we discuss how autonomic management of multiple concerns may be implemented in a typical use case. Being based on the behavioural skeleton concept proposed in the CoreGRID GCM, it is anticipated that the methodology will be readily integrated into the current reference implementation of GCM based on Java Pro Active and running on top of major grid middleware systems.

Oxaliplatin induces hyperexcitability at motor and autonomic neuromuscular junctions through effects on voltage-gated sodium channels

Oxaliplatin, an effective cytotoxic treatment in combination with 5-fluorouracil for colorectal cancer, is associated with sensory, motor and autonomic neurotoxicity. Motor symptoms include hyperexcitability while autonomic effects include urinary retention, but the cause of these side-effects is unknown. We examined the effects on motor nerve function in the mouse hemidiaphragm and on the autonomic system in the vas deferens. In the mouse diaphragm, oxaliplatin (0.5 mM) induced multiple endplate potentials (EPPs) following a single stimulus, and was associated with an increase in spontaneous miniature EPP frequency. In the vas deferens, spontaneous excitatory junction potential frequency was increased after 30 min exposure to oxaliplatin; no changes in resting Ca(2+) concentration in nerve terminal varicosities were observed, and recovery after stimuli trains was unaffected.In both tissues, an oxaliplatin-induced increase in spontaneous activity was prevented by the voltage-gated Na(+) channel blocker tetrodotoxin (TTX). Carbamazepine (0.3 mM) also prevented multiple EPPs and the increase in spontaneous activity in both tissues. In diaphragm, beta-pompilidotoxin (100 microM), which slows Na(+) channel inactivation, induced multiple EPPs similar to oxaliplatin's effect. By contrast, blockers of K(+) channels (4-aminopyridine and apamin) did not replicate oxaliplatin-induced hyperexcitability in the diaphragm. The prevention of hyperexcitability by TTX blockade implies that oxaliplatin acts on nerve conduction rather than by effecting repolarisation. The similarity between beta-pompilidotoxin and oxaliplatin suggests that alteration of voltage-gated Na(+) channel kinetics is likely to underlie the acute neurotoxic actions of oxaliplatin.

Predisposition to arrhythmia and autonomic dysfunction in Nhlh1-deficient mice.

Nhlh1 is a basic helix-loop-helix transcription factor whose expression is restricted to the nervous system and which may play a role in neuronal differentiation. To directly study Nhlh1 function, we generated null mice. Homozygous mutant mice were predisposed to premature, adult-onset, unexpected death. Electrocardiograms revealed decreased total heart rate variability, stress-induced arrhythmia, and impaired baroreceptor sensitivity. This predisposition to arrhythmia is a likely cause of the observed death in the mutant mice. Heterozygosity for the closely related transcription factor Nhlh2 increased the severity of the Nhlh1-null phenotype. No signs of primary cardiac structural or conduction abnormalities could be detected upon necropsy of the null mice. The pattern of altered heart rhythm observed in basal and experimental conditions (stress and pharmacologically induced) suggests that a deficient parasympathetic tone may contribute to the arrhythmia in the Nhlh1-null mouse. The expression of Nhlh1 in the developing brain stem and in the vagal nuclei in the wild-type mouse further supports this hypothesis. The Nhlh1 mutant mouse may thus provide a model to investigate the contribution of the autonomic nervous system to arrhythmogenesis.