PASSION: Parallel And Scalable Software for Input-Output

We are developing a software system called PASSION: Parallel And Scalable Software for Input-Output which provides software support for high performance parallel I/O. PASSION provides support at the language, compiler, runtime as well as file system level. PASSION provides runtime procedures for parallel access to files (read/write), as well as for out-of-core computations. These routines can either be used together with a compiler to translate out-of-core data parallel programs written in a language like HPF, or used directly by application programmers. A number of optimizations such as Two-Phase Access, Data Sieving, Data Prefetching and Data Reuse have been incorporated in the PASSION Runtime Library for improved performance. PASSION also provides an initial framework for runtime support for out-of-core irregular problems. The goal of the PASSION compiler is to automatically translate out- of-core data parallel programs to node programs for distributed memory machines, with calls to the PASSION Runtime Library. At the language level, PASSION suggests extensions to HPF for out-of-core programs. At the file system level, PASSION provides support for buffering and prefetching data from disks. A portable parallel file system is also being developed as part of this project, which can be used across homogeneous or heterogeneous networks of workstations. PASSION also provides support for integrating data and task parallelism using parallel I/O techniques. We have used PASSION to implement a number of out-of-core applications such as a Laplace\u27s equation solver, 2D FFT, Matrix Multiplication, LU Decomposition, image processing applications as well as unstructured mesh kernels in molecular dynamics and computational fluid dynamics. We are currently in the process of using PASSION in applications in CFD (3D turbulent flows), molecular structure calculations, seismic computations, and earth and space science applications such as Four-Dimensional Data Assimilation. PASSION is currently available on the Intel Paragon, Touchstone Delta and iPSC/860. Efforts are underway to port it to the IBM SP-1 and SP-2 using the Vesta Parallel File System

A model and framework for reliable build systems

Reliable and fast builds are essential for rapid turnaround during development and testing. Popular existing build systems rely on correct manual specification of build dependencies, which can lead to invalid build outputs and nondeterminism. We outline the challenges of developing reliable build systems and explore the design space for their implementation, with a focus on non-distributed, incremental, parallel build systems. We define a general model for resources accessed by build tasks and show its correspondence to the implementation technique of minimum information libraries, APIs that return no information that the application doesn't plan to use. We also summarize preliminary experimental results from several prototype build managers

The Sun as a planet-host star : proxies from SDO images for HARPS radial-velocity variations

RDH gratefully acknowledges STFC studentship grant number ST/J500744/1, and a grant from the John Templeton Foundation. ACC and RF acknowledge support from STFC consolidated grants numbers ST/J001651/1 and ST/M001296/1. JL acknowledges support from NASA Origins of the Solar System grant No. NNX13AH79G and from STFC grant ST/M001296/1.The Sun is the only star whose surface can be directly resolved at high resolution, and therefore constitutes an excellent test case to explore the physical origin of stellar radial-velocity (RV) variability. We present HARPS observations of sunlight scattered off the bright asteroid 4/Vesta, from which we deduced the Sun's activity-driven RV variations. In parallel, the Helioseismic and Magnetic Imager instrument on board the Solar Dynamics Observatory provided us with simultaneous high spatial resolution magnetograms, Dopplergrams and continuum images of the Sun in the Fe i 6173 Å line. We determine the RV modulation arising from the suppression of granular blueshift in magnetized regions and the flux imbalance induced by dark spots and bright faculae. The rms velocity amplitudes of these contributions are 2.40 and 0.41 m s−1, respectively, which confirms that the inhibition of convection is the dominant source of activity-induced RV variations at play, in accordance with previous studies. We find the Doppler imbalances of spot and plage regions to be only weakly anticorrelated. Light curves can thus only give incomplete predictions of convective blueshift suppression. We must instead seek proxies that track the plage coverage on the visible stellar hemisphere directly. The chromospheric flux index R′HK derived from the HARPS spectra performs poorly in this respect, possibly because of the differences in limb brightening/darkening in the chromosphere and photosphere. We also find that the activity-driven RV variations of the Sun are strongly correlated with its full-disc magnetic flux density, which may become a useful proxy for activity-related RV noise.PostprintPeer reviewe

The SSDC contribution to the improvement of knowledge by means of 3D data projections of minor bodies

The latest developments of planetary exploration missions devoted to minor bodies required new solutions to correctly visualize and analyse data acquired over irregularly shaped bodies. ASI Space Science Data Center (SSDC-ASI, formerly ASDC-ASI Science Data Center) worked on this task since early 2013, when started developing the web tool MATISSE (Multi-purpose Advanced Tool for the Instruments of the Solar System Exploration) mainly focused on the Rosetta/ESA space mission data. In order to visualize very high-resolution shape models, MATISSE uses a Python module (vtpMaker), which can also be launched as a stand-alone command-line software. MATISSE and vtpMaker are part of the SSDC contribution to the new challenges imposed by the "orbital exploration" of minor bodies: 1) MATISSE allows to search for specific observations inside datasets and then analyse them in parallel, providing high-level outputs; 2) the 3D capabilities of both tools are critical in inferring information otherwise difficult to retrieve for non-spherical targets and, as in the case for the GIADA instrument onboard Rosetta, to visualize data related to the coma. New tasks and features adding valuable capabilities to the minor bodies SSDC tools are planned for the near future thanks to new collaborations

MultiVeStA: Statistical Model Checking for Discrete Event Simulators

The modeling, analysis and performance evaluation of large-scale systems are difficult tasks. Due to the size and complexity of the considered systems, an approach typically followed by engineers consists in performing simulations of systems models to obtain statistical estimations of quantitative properties. Similarly, a technique used by computer scientists working on quantitative analysis is Statistical Model Checking (SMC), where rigorous mathematical languages (typically logics) are used to express systems properties of interest. Such properties can then be automatically estimated by tools performing simulations of the model at hand. These property specifications languages, often not popular among engineers, provide a formal, compact and elegant way to express systems properties without needing to hard-code them in the model definition. This paper presents MultiVeStA, a statistical analysis tool which can be easily integrated with existing discrete event simulators, enriching them with efficient distributed statistical analysis and SMC capabilities

The first confirmation of V-type asteroids among the Mars crosser population

The Mars crossing region constitutes a path to deliver asteroids from the Inner Main Belt to the Earth crossing space. While both the Inner Main Belt and the population of Earth crossing asteroids contains a significant fraction of asteroids belonging to the V taxonomic class, only two of such V-type asteroids has been detected in the Mars crossing region up to now. In this work, we searched for asteroids belonging to the V class among the population of Mars crossing asteroids, in order to support alternative paths to the delivery of this bodies into the Earth crossing region. We selected 18 candidate V-type asteroids in the Mars crossing region using observations contained in the Sloan Digital Sky Survey Moving Objects Catalog. Then, we observed 4 of these candidates to take their visible spectra using the Southern Astrophysical Research Telescope (SOAR). We also performed the numerical simulation of the orbital evolution of the observed asteroids. We confirmed that 3 of the observed asteroids belong to the V class, and one of these may follow a path that drives it to an Earth collision in some tens of million years

Volume-Enclosing Surface Extraction

In this paper we present a new method, which allows for the construction of triangular isosurfaces from three-dimensional data sets, such as 3D image data and/or numerical simulation data that are based on regularly shaped, cubic lattices. This novel volume-enclosing surface extraction technique, which has been named VESTA, can produce up to six different results due to the nature of the discretized 3D space under consideration. VESTA is neither template-based nor it is necessarily required to operate on 2x2x2 voxel cell neighborhoods only. The surface tiles are determined with a very fast and robust construction technique while potential ambiguities are detected and resolved. Here, we provide an in-depth comparison between VESTA and various versions of the well-known and very popular Marching Cubes algorithm for the very first time. In an application section, we demonstrate the extraction of VESTA isosurfaces for various data sets ranging from computer tomographic scan data to simulation data of relativistic hydrodynamic fireball expansions.Comment: 24 pages, 33 figures, 4 tables, final versio