Experiences with an Object-Oriented, Multi-Stage Language

Metaphor is a multi-stage programming language extension to an imperative, object-oriented language in the style of C# or Java. This paper discusses some issues we faced when applying multi-stage language design concepts to an imperative base language and run-time environment. The issues range from dealing with pervasive references and open code to garbage collection and implementing cross-stage persistence.

Towards policy-based self-configuration of embedded systems

This paper describes work towards the deployment of flexible self-management into real-time embedded systems. A challenging project which focuses specifically on the development of a dynamic, adaptive automotive middleware is described, and the specific self-management requirements of this project are discussed. These requirements have been identified through the refinement of a wide-ranging set of use cases requiring context-sensitive behaviours. A sample of these use-cases is presented to illustrate the extent of the demands for self-management. The strategy that has been adopted to achieve self-management, based on the use of policies is presented. The embedded and real-time nature of the target system brings the constraints that dynamic adaptation capabilities must not require changes to the run-time code (except during hot update of complete binary modules), adaptation decisions must have low latency, and because the target platforms are resource-constrained the self-management mechanism have low resource requirements (especially in terms of processing and memory). Policy-based computing is thus and ideal candidate for achieving the self-management because the policy itself is loaded at run-time and can be replaced or changed in the future in the same way that a data file is loaded. Policies represent a relatively low complexity and low risk means of achieving self-management, with low run-time costs. Policies can be stored internally in ROM (such as default policies) as well as externally to the system. The architecture of a designed-for-purpose powerful yet lightweight policy library is described. A suitable evaluation platform, supporting the whole life-cycle of feasibility analysis, concept evaluation, development, rigorous testing and behavioural validation has been devised and is described.

An abstract annotation model for skeletons

Multi-core and many-core platforms are becoming increasingly heterogeneous and asymmetric. This significantly increases the porting and tuning effort required for parallel codes, which in turn often leads to a growing gap between peak machine power and actual application performance. In this work a first step toward the automated optimization of high level skeleton-based parallel code is discussed. The paper presents an abstract annotation model for skeleton programs aimed at formally describing suitable mapping of parallel activities on a high-level platform representation. The derived mapping and scheduling strategies are used to generate optimized run-time code. © 2013 Springer-Verlag Berlin Heidelberg.

Programmer friendly and efficient distributed shared memory integrated into a distributed operating system

Distributed Shared Memory (DSM) provides programmers with a shared memory environment in systems where memory is not physically shared. Clusters of Workstations (COWs), an often untapped source of computing power, are characterised by a very low cost/performance ratio. The combination of Clusters of Workstations (COWs) with DSM provides an environment in which the programmer can use the well known approaches and methods of programming for physically shared memory systems and parallel processing can be carried out to make full use of the computing power and cost advantages of the COW. The aim of this research is to synthesise and develop a distributed shared memory system as an integral part of an operating system in order to provide application programmers with a convenient environment in which the development and execution of parallel applications can be done easily and efficiently, and which does this in a transparent manner. Furthermore, in order to satisfy our challenging design requirements we want to demonstrate that the operating system into which the DSM system is integrated should be a distributed operating system. In this thesis a study into the synthesis of a DSM system within a microkernel and client-server based distributed operating system which uses both strict and weak consistency models, with a write-invalidate and write-update based approach for consistency maintenance is reported. Furthermore a unique automatic initialisation system which allows the programmer to start the parallel execution of a group of processes with a single library call is reported. The number and location of these processes are determined by the operating system based on system load information. The DSM system proposed has a novel approach in that it provides programmers with a complete programming environment in which they are easily able to develop and run their code or indeed run existing shared memory code. A set of demanding DSM system design requirements are presented and the incentives for the placement of the DSM system with a distributed operating system and in particular in the memory management server have been reported. The new DSM system concentrated on an event-driven set of cooperating and distributed entities, and a detailed description of the events and reactions to these events that make up the operation of the DSM system is then presented. This is followed by a pseudocode form of the detailed design of the main modules and activities of the primitives used in the proposed DSM system. Quantitative results of performance tests and qualitative results showing the ease of programming and use of the RHODOS DSM system are reported. A study of five different application is given and the results of tests carried out on these applications together with a discussion of the results are given. A discussion of how RHODOS’ DSM allows programmers to write shared memory code in an easy to use and familiar environment and a comparative evaluation of RHODOS DSM with other DSM systems is presented. In particular, the ease of use and transparency of the DSM system have been demonstrated through the description of the ease with which a moderately inexperienced undergraduate programmer was able to convert, write and run applications for the testing of the DSM system. Furthermore, the description of the tests performed using physically shared memory shows that the latter is indistinguishable from distributed shared memory; this is further evidence that the DSM system is fully transparent. This study clearly demonstrates that the aim of the research has been achieved; it is possible to develop a programmer friendly and efficient DSM system fully integrated within a distributed operating system. It is clear from this research that client-server and microkernel based distributed operating system integrated DSM makes shared memory operations transparent and almost completely removes the involvement of the programmer beyond classical activities needed to deal with shared memory. The conclusion can be drawn that DSM, when implemented within a client-server and microkernel based distributed operating system, is one of the most encouraging approaches to parallel processing since it guarantees performance improvements with minimal programmer involvement.

Kinematics of local and high-z galaxies through 3D modeling of emission-line datacubes

The kinematics is a fundamental tool to infer the dynamical structure of galaxies and to understand their formation and evolution. Spectroscopic observations of gas emission lines are often used to derive rotation curves and velocity dispersions. It is however difficult to disentangle these two quantities in low spatial-resolution data because of beam smearing. In this thesis, we present 3D-Barolo, a new software to derive the gas kinematics of disk galaxies from emission-line data-cubes. The code builds tilted-ring models in the 3D observational space and compares them with the actual data-cubes. 3D-Barolo works with data at a wide range of spatial resolutions without being affected by instrumental biases. We use 3D-Barolo to derive rotation curves and velocity dispersions of several galaxies in both the local and the high-redshift Universe. We run our code on HI observations of nearby galaxies and we compare our results with 2D traditional approaches. We show that a 3D approach to the derivation of the gas kinematics has to be preferred to a 2D approach whenever a galaxy is resolved with less than about 20 elements across the disk. We moreover analyze a sample of galaxies at z~1, observed in the H-alpha line with the KMOS/VLT spectrograph. Our 3D modeling reveals that the kinematics of these high-z systems is comparable to that of local disk galaxies, with steeply-rising rotation curves followed by a flat part and H-alpha velocity dispersions of 15-40 km/s over the whole disks. This evidence suggests that disk galaxies were already fully settled about 7-8 billion years ago. In summary, 3D-Barolo is a powerful and robust tool to separate physical and instrumental effects and to derive a reliable kinematics. The analysis of large samples of galaxies at different redshifts with 3D-Barolo will provide new insights on how galaxies assemble and evolve throughout cosmic time.

Nd bulk isotopes and 40Ar/39Ar ages of individual minerals from Aurora and Wilkes sub-glacial basin sediments

The Wilkes and Aurora basins are large, low-lying sub-glacial basins that may cause areas of weakness in the overlying East Antarctic ice sheet. Previous work based on ice-rafted debris (IRD) provenance analyses found evidence for massive iceberg discharges from these areas during the late Miocene and Pliocene. Here we characterize the sediments shed from the inferred areas of weakness along this margin (94°E to 165°E) by measuring40Ar/39Ar ages of 292 individual detrital hornblende grains from eight marine sediment core locations off East Antarctica and Nd isotopic compositions of the bulk fine fraction from the same sediments. We further expand the toolbox for Antarctic IRD provenance analyses by exploring the application of 40Ar/39Ar ages of detrital biotites; biotite as an IRD tracer eliminates lithological biases imposed by only analyzing hornblendes and allows for characterization of samples with low IRD concentrations. Our data quadruples the number of detrital 40Ar/39Ar ages from this margin of East Antarctica and leads to the following conclusions: (1) Four main sectors between the Ross Sea and Prydz Bay, separated by ice drainage divides, are distinguishable based upon the combination of 40Ar/39Ar ages of detrital hornblende and biotite grains and the e-Nd of the bulk fine fraction; (2) 40Ar/39Ar biotite ages can be used as a robust provenance tracer for this part of East Antarctica; and (3) sediments shed from the coastal areas of the Aurora and Wilkes sub-glacial basins can be clearly distinguished from one another based upon their isotopic fingerprints.

Age determination of hornblende in ODP Site 188-1165 and DSDP Hole 28-268

Sediments from Ocean Drilling Program Site 1165 in the Indian Ocean sector of the Southern Ocean (off Prydz Bay) contain a series of layers that are rich in ice-rafted debris (IRD). Here we present evidence that IRD-rich layers at Site 1165 at 7, 4.8, and 3.5 Ma record short-lived, massive discharges of icebergs from Wilkes Land and Adélie Land, more than 1500 kilometers to the east of the depositional site. This distant source of icebergs is clearly defined by the presence of IRD hornblende grains with 40Ar/39Ar ages of 1200-1100 Ma and 1550-1500 Ma, ages that are not found on the East Antarctic continent in locations closer to Site 1165. This observation requires enormous amounts of detritus-carrying drifting icebergs, most likely in the form of large icebergs. These events probably reflect destabilization, surge, and break-up of ice streams on the Wilkes Land and Adélie Land margins of the East Antarctic Ice Sheet, in the vicinity of the low-lying Aurora and Wilkes Basins. They occurred under warming conditions, but each coast seems to have produced ice-rafting events independently, at different times. The data presented here constitute the first evidence of far-traveled icebergs from specific source areas around the East Antarctic perimeter. Launch of these icebergs may have happened during quite dramatic events, perhaps analogous to "Heinrich Events" in the North Atlantic.

A deep-sea coral record of the North Atlantic

Our record of Younger Dryas intermediate-depth seawater D14C from North Atlantic deep-sea corals supports a link between abrupt climate change and intermediate ocean variability. Our data show that northern source intermediate water (~1700 m) was partially replaced by 14C-depleted southern source water at the onset of the event, consistent with a reduction in the rate of North Atlantic Deep Water formation. This transition requires the existence of large, mobile gradients of D14C in the ocean during the Younger Dryas. The D14C water column profile from Keigwin (2004) provides direct evidence for the presence of one such gradient at the beginning of the Younger Dryas (~12.9 ka), with a 100 per mil offset between shallow (<~2400 m) and deep water. Our early Younger Dryas data are consistent with this profile and also show a D14C inversion, with 35 per mil more enriched water at ~2400 m than at ~1700 m. This feature is probably the result of mixing between relatively well 14C ventilated northern source water and more poorly 14C ventilated southern source intermediate water, which is slightly shallower. Over the rest of the Younger Dryas our intermediate water/deepwater coral D14C data gradually increase, while the atmosphere D14C drops. For a very brief interval at ~12.0 ka and at the end of the Younger Dryas (11.5 ka), intermediate water D14C (~1200 m) approached atmospheric D14C. These enriched D14C results suggest an enhanced initial D14C content of the water and demonstrate the presence of large lateral D14C gradients in the intermediate/deep ocean in addition to the sharp vertical shift at ~2500 m. The transient D14C enrichment at ~12.0 ka occurred in the middle of the Younger Dryas and demonstrates that there is at least one time when the intermediate/deep ocean underwent dramatic change but with much smaller effects in other paleoclimatic records.