Formal Analysis of MPI-based Parallel Programs

Most parallel computing applications in highperformance computing use the Message Passing Interface (MPI) API. Given the fundamental importance of parallel computing to science and engineering research, application correctness is paramount. MPI was originally developed around 1993 by the MPI Forum, a group of vendors, parallel programming researchers, and computational scientists. However, the document defining the standard is not issued by an official standards organization but has become a de facto standard © 2011 ACM.

Parallel and nonparallel ecological, morphological and genetic divergence in lake-stream stickleback from a single catchment

Parallel phenotypic evolution in similar environments has been well studied in evolutionary biology; however, comparatively little is known about the influence of determinism and historical contingency on the nature, extent and generality of this divergence. Taking advantage of a novel system containing multiple lake-stream stickleback populations, we examined the extent of ecological, morphological and genetic divergence between three-spined stickleback present in parapatric environments. Consistent with other lake-stream studies, we found a shift towards a deeper body and shorter gill rakers in stream fish. Morphological shifts were concurrent with changes in diet, indicated by both stable isotope and stomach contents analysis. Performing a multivariate test for shared and unique components of evolutionary response to the distance gradient from the lake, we found a strong signature of parallel adaptation. Nonparallel divergence was also present, attributable mainly to differences between river locations. We additionally found evidence of genetic substructuring across five lake-stream transitions, indicating that some level of reproductive isolation occurs between populations in these habitats. Strong correlations between pairwise measures of morphological, ecological and genetic distance between lake and stream populations supports the hypothesis that divergent natural selection between habitats drives adaptive divergence and reproductive isolation. Lake-stream stickleback divergence in Lough Neagh provides evidence for the deterministic role of selection and supports the hypothesis that parallel selection in similar environments may initiate parallel speciation.

Parsing parallel evolution:Ecological divergence and differential gene expression in the adaptive radiations of thick-lipped Midas cichlid fishes from Nicaragua

The study of parallel evolution facilitates the discovery of common rules of diversification. Here, we examine the repeated evolution of thick lips in Midas cichlid fishes (the Amphilophus citrinellus species complex) - from two Great Lakes and two crater lakes in Nicaragua - to assess whether similar changes in ecology, phenotypic trophic traits and gene expression accompany parallel trait evolution. Using next-generation sequencing technology, we characterize transcriptome-wide differential gene expression in the lips of wild-caught sympatric thick- and thin-lipped cichlids from all four instances of repeated thick-lip evolution. Six genes (apolipoprotein D, myelin-associated glycoprotein precursor, four-and-a-half LIM domain protein 2, calpain-9, GTPase IMAP family member 8-like and one hypothetical protein) are significantly underexpressed in the thick-lipped morph across all four lakes. However, other aspects of lips' gene expression in sympatric morphs differ in a lake-specific pattern, including the magnitude of differentially expressed genes (97-510). Generally, fewer genes are differentially expressed among morphs in the younger crater lakes than in those from the older Great Lakes. Body shape, lower pharyngeal jaw size and shape, and stable isotopes (dC and dN) differ between all sympatric morphs, with the greatest differentiation in the Great Lake Nicaragua. Some ecological traits evolve in parallel (those related to foraging ecology; e.g. lip size, body and head shape) but others, somewhat surprisingly, do not (those related to diet and food processing; e.g. jaw size and shape, stable isotopes). Taken together, this case of parallelism among thick- and thin-lipped cichlids shows a mosaic pattern of parallel and nonparallel evolution. © 2012 Blackwell Publishing Ltd.

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.

Kinematic Analysis and Dimensional Synthesis of Exechon Parallel Kinematic Machine for Large Volume Machining

A parallel kinematic machine (PKM) topology can only give its best performance when its geometrical parameters are optimized. In this paper, dimensional synthesis of a newly developed PKM is presented for the first time. An optimization method is developed with the objective to maximize both workspace volume and global dexterity of the PKM. Results show that the method can effectively identify design parameter changes under different weighted objectives. The PKM with optimized dimensions has a large workspace to footprint ratio and a large well-conditioned workspace, hence justifies its suitability for large volume machining.

A language-independent parallel refactoring framework

Recent trends towards increasingly parallel computers mean that there needs to be a seismic shift in programming practice. The time is rapidly approaching when most programming will be for parallel systems. However, most programming techniques in use today are geared towards sequential, or occasionally small-scale parallel, programming. While refactoring has so far mainly been applied to sequential programs, it is our contention that refactoring can play a key role in significantly improving the programmability of parallel systems, by allowing the programmer to apply a set of well-defined transformations in order to parallelise their programs. In this paper, we describe a new language-independent refactoring approach that helps introduce and tune parallelism through high-level design patterns targeting a set of well-specified parallel skeletons. We believe this new refactoring process is the key to allowing programmers to truly start thinking in parallel. © 2012 ACM.

Parallel Programming

Recent trends in computing systems, such as multi-core processors and cloud computing, expose tens to thousands of processors to the software. Software developers must respond by introducing parallelism in their software. To obtain highest performance, it is not only necessary to identify parallelism, but also to reason about synchronization between threads and the communication of data from one thread to another. This entry gives an overview on some of the most common abstractions that are used in parallel programming, namely explicit vs. implicit expression of parallelism and shared and distributed memory. Several parallel programming models are reviewed and categorized by means of these abstractions. The pros and cons of parallel programming models from the perspective of performance and programmability are discussed.

Hydrobiogeochemical Interactions along “Flow Tubes” Controls: Watershed Scale Contaminant Flow and Transformation at the Oak Ridge IFRC

Geochemical,spectrographic, microbiological and hydrogeologic studies at the ORIFRC site indicate that groundwater transport in structured media may behave as a system of parallel flow tubes. These tubes are preferred flowpaths that enable contaminant transport parallel to bedding planes (strike) over distances of 1000s of meters. A significant flux of groundwater is focused within an interval defined by the interface between the competent bedrock and overlying highly-weathered saprolite, commonly referred to as the"transition zone." Characteristics of this transition zone are dense fractures and the relative absence of weathering products (e.g. clays)results in a significantly higher permeability compared to both the overlying clay-saprolite and underlying bedrock. Several stratabound low seismic velocity zones located below the transition zone were identified during geophysics studies and were also determined to be fractured high permeability preferred contaminant transport pathways during subsequent drilling activities. XANES analysis of precipitates collected from these deeper flow zones indicate 95% or more of the U deposited is U(VI). Linear combination fitting of the EXAFS data shows that precipitates are ~51±5% U(VI)-carbonate-like phase (e.g., liebigite) and ~49±5% U(VI) associated with an iron oxide phase; inclusion of a third component in the fit suggests that up to 15% of the U(VI) may be associated with a phosphate phase or OH- phase (e.g.,schoepite). Although precipitates with similar U(VI)-carbonate and/or phosphate associations were identified in the transition zone pathways,there were also U(VI) complexes adsorbed to mineral surfaces that would tend to be more readily mobilized. Groundwater in the different flow tubes has been determined to consist of different water quality types that vary with the solid phase encountered (e.g., clays, carbonates, clastics) as contaminants migrate along the flow paths. This lateral and vertical variability in geochemistry, particularly pH, has a significant impact on microbiological community composition and activity. Ribosomal RNA gene analyses coupled with physiological and genomic analyses suggest that bacteria from the genus Rhodanobacter(a diverse population of denitrifiers that are moderately acid tolerant) have a high relative abundance in the acidic source zone at the ORIFRC site.Watershed-scale analysis across different flow paths/tubes revealed strong negative correlation between pH and the absolute and relative abundance of Rhodanobacter. Recent studies also confirmed that the ORIFRC site hosts a diverse fungal community, with significant differences observed between acidic (pH <5) and circumneutral (>5) wells. The lack of nitrous oxide reduction capability in fungi, and the detection of denitrification potential in slurry microcosms suggest that fungi may have aheretofore under appreciated role in biogeochemical transformations, with implications forsite remediation and greenhouse gas emissions. Further research is needed to determine if these organisms can influence U(VI) mobility either directly through immobilization or indirectly through the depletion of nitrate.In conclusion, additional studies are required to quantify the processes (e.g., solid phase reactions, recharge, diffusion, microbial interactions) that are occurring along the groundwater flow tubes identified at the ORIFRC so predictive models can be parameterized and used to assess long-term contaminant fate and transport and remedial options.