Structured Parallelism by Composition - Design and implementation of a framework supporting skeleton compositionality

This thesis is dedicated to the efficient compositionality of algorithmic skeletons, which are abstractions of common parallel programming patterns. Skeletons can be implemented in the functional parallel language Eden as mere parallel higher order functions. The use of algorithmic skeletons facilitates parallel programming massively. This is because they already implement the tedious details of parallel programming and can be specialised for concrete applications by providing problem specific functions and parameters. Efficient skeleton compositionality is of particular importance because complex, specialised skeletons can be compound of simpler base skeletons. The resulting modularity is especially important for the context of functional programming and should not be missing in a functional language. We subdivide composition into three categories: -Nesting: A skeleton is instantiated from another skeleton instance. Communication is tree shaped, along the call hierarchy. This is directly supported by Eden. -Composition in sequence: The result of a skeleton is the input for a succeeding skeleton. Function composition is expressed in Eden by the ( . ) operator. For performance reasons the processes of both skeletons should be able to exchange results directly instead of using the indirection via the caller process. We therefore introduce the remote data concept. -Iteration: A skeleton is called in sequence a variable number of times. This can be defined using recursion and composition in sequence. We optimise the number of skeleton instances, the communication in between the iteration steps and the control of the loop. To this end, we developed an iteration framework where iteration skeletons are composed from control and body skeletons. Central to our composition concept is remote data. We send a remote data handle instead of ordinary data, the data handle is used at its destination to request the referenced data. Remote data can be used inside arbitrary container types for efficient skeleton composition similar to ordinary distributed data types. The free combinability of remote data with arbitrary container types leads to a high degree of flexibility. The programmer is not restricted by using a predefined set of distributed data types and (re-)distribution functions. Moreover, he can use remote data with arbitrary container types to elegantly create process topologies. For the special case of skeleton iteration we prevent the repeated construction and deconstruction of skeleton instances for each single iteration step, which is common for the recursive use of skeletons. This minimises the parallel overhead for process and channel creation and allows to keep data local on persistent processes. To this end we provide a skeleton framework. This concept is independent of remote data, however the use of remote data in combination with the iteration framework makes the framework more flexible. For our case studies, both approaches perform competitively compared to programs with identical parallel structure but which are implemented using monolithic skeletons - i.e. skeleton not composed from simpler ones. Further, we present extensions of Eden which enhance composition support: generalisation of overloaded communication, generalisation of process instantiation, compositional process placement and extensions of Box types used to adapt communication behaviour

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. The paper concludes with an outline of the challenges involved in realizing the proposed methodology on distributed target architectures such as clusters and grids. 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 ProActive and running on top of major grid middleware systems.Comment: 20 pages + cover pag

Century-scale trends and seasonality in pH and temperature for shallow zones of the Bering Sea

No records exist to evaluate long-term pH dynamics in high-latitude oceans, which have the greatest probability of rapid acidification from anthropogenic CO2 emissions. We reconstructed both seasonal variability and anthropogenic change in seawater pH and temperature by using laser ablation high-resolution 2D images of stable boron isotopes (δ11B) on a long-lived coralline alga that grew continuously through the 20th century. Analyses focused on four multiannual growth segments. We show a long-term decline of 0.08 ± 0.01 pH units between the end of the 19th and 20th century, which is consistent with atmospheric CO2 records. Additionally, a strong seasonal cycle (∼0.22 pH units) is observed and interpreted as episodic annual pH increases caused by the consumption of CO2 during strong algal (kelp) growth in spring and summer. The rate of acidification intensifies from –0.006 ± 0.007 pH units per decade (between 1920s and 1960s) to –0.019 ± 0.009 pH units per decade (between 1960s and 1990s), and the episodic pH increases show a continuous shift to earlier times of the year throughout the centennial record. This is indicative of ecosystem shifts in shallow water algal productivity in this high-latitude habitat resulting from warming and acidification

A study on the discrimination of human skeletons using X-ray fluorescence and chemometric tools in chemical anthropology

Forensic anthropological investigations are often restricted in their outcomes by the resources allocated to them, especially in terms of positively identifying the victims exhumed from commingled mass graves. Commingled mass graves can be defined as those graves that contain a number of disarticulated human remains from different individuals that have been mixed by either natural processes or human interventions. The research developed aimed to apply the technique of non-destructive XRF analysis to test whether there is substantial differentiation within the trace elemental composition and their ratios of individuals to separate them using chemometric analysis. The results of the different atomic spectroscopic analyses combined with the use of multivariate analysis on a set of 5 skeletons produced a series of plots using Principal Component Analysis that helped to separate them with a high percentage of accuracy when two, three or four skeletons needed to be separated. Also, two new elemental ratios, Zn/Fe related to metabolic activities and K/Fe related to blood flow into the bone, have been defined for their use in forensic anthropology for the first time to aid in the separation. © 2013 Elsevier Ireland Ltd

MAGDA: A Mobile Agent based Grid Architecture

Mobile agents mean both a technology and a programming paradigm. They allow for a flexible approach which can alleviate a number of issues present in distributed and Grid-based systems, by means of features such as migration, cloning, messaging and other provided mechanisms. In this paper we describe an architecture (MAGDA – Mobile Agent based Grid Architecture) we have designed and we are currently developing to support programming and execution of mobile agent based application upon Grid systems

USSR space life sciences digest, issue 27

This is the twenty-fifth issue of NASA's Space Life Sciences Digest. It contains abstracts of 30 journal papers or book chapters published in Russian and of 2 Soviet monographs. Selected abstracts are illustrated with figures and tables from the original. The abstracts in this issue have been identified as relevant to 18 areas of space biology and medicine. These areas include: adaptation, aviation medicine, biological rhythms, biospherics, botany, cardiovascular and respiratory systems, endocrinology, enzymology, exobiology, habitability and environmental effects, hematology, immunology, metabolism, musculoskeletal system, neurophysiology, radiobiology, and space medicine. A Soviet book review of a British handbook of aviation medicine and a description of the work of the division on aviation and space medicine of the Moscow Physiological Society are also included

A model-based approach to recovering the structure of a plant from images

We present a method for recovering the structure of a plant directly from a small set of widely-spaced images. Structure recovery is more complex than shape estimation, but the resulting structure estimate is more closely related to phenotype than is a 3D geometric model. The method we propose is applicable to a wide variety of plants, but is demonstrated on wheat. Wheat is made up of thin elements with few identifiable features, making it difficult to analyse using standard feature matching techniques. Our method instead analyses the structure of plants using only their silhouettes. We employ a generate-and-test method, using a database of manually modelled leaves and a model for their composition to synthesise plausible plant structures which are evaluated against the images. The method is capable of efficiently recovering accurate estimates of plant structure in a wide variety of imaging scenarios, with no manual intervention