Design and Evaluation of the Hamal Parallel Computer

Parallel shared-memory machines with hundreds or thousands of processor-memory nodes have been built; in the future we will see machines with millions or even billions of nodes. Associated with such large systems is a new set of design challenges. Many problems must be addressed by an architecture in order for it to be successful; of these, we focus on three in particular. First, a scalable memory system is required. Second, the network messaging protocol must be fault-tolerant. Third, the overheads of thread creation, thread management and synchronization must be extremely low. This thesis presents the complete system design for Hamal, a shared-memory architecture which addresses these concerns and is directly scalable to one million nodes. Virtual memory and distributed objects are implemented in a manner that requires neither inter-node synchronization nor the storage of globally coherent translations at each node. We develop a lightweight fault-tolerant messaging protocol that guarantees message delivery and idempotence across a discarding network. A number of hardware mechanisms provide efficient support for massive multithreading and fine-grained synchronization. Experiments are conducted in simulation, using a trace-driven network simulator to investigate the messaging protocol and a cycle-accurate simulator to evaluate the Hamal architecture. We determine implementation parameters for the messaging protocol which optimize performance. A discarding network is easier to design and can be clocked at a higher rate, and we find that with this protocol its performance can approach that of a non-discarding network. Our simulations of Hamal demonstrate the effectiveness of its thread management and synchronization primitives. In particular, we find register-based synchronization to be an extremely efficient mechanism which can be used to implement a software barrier with a latency of only 523 cycles on a 512 node machine.

Automatic diagnosis of task faults in flexible manufacturing systems

Hardy, N. W., Barnes, D. P., Lee, L. H. (1989). Automatic diagnosis of task faults in flexible manufacturing systems. Robotica, 7 (1):25-35

Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs

C.J.Price, D.R.Pugh, N.A.Snooke, J.E.Hunt, M.S.Wilson, Combining Functional and Structural Reasoning for Safety Analysis of Electrical Designs, Knowledge Engineering Review, vol 12:3, pp.271-287, 1997.

The mechanical and thermal structure of Mercury's early lithosphere

Cook, Anthony; Watters, T.R.; Schultz, R.A.; Robinson, M.S., (2002) 'The mechanical and thermal structure of Mercury's early lithosphere', Geophysical Research Letters 29(11) pp.1542 RAE2008

A New Version of Toom's Proof

There are several proofs now for the stability of Toom's example of a two-dimensional stable cellular automaton and its application to fault-tolerant computation. Simon and Berman simplified and strengthened Toom's original proof: the present report is simplified exposition of their proof.

AIDA-Based Real-Time Fault-Tolerant Broadcast Disks

The proliferation of mobile computers and wireless networks requires the design of future distributed real-time applications to recognize and deal with the significant asymmetry between downstream and upstream communication capacities, and the significant disparity between server and client storage capacities. Recent research work proposed the use of Broadcast Disks as a scalable mechanism to deal with this problem. In this paper, we propose a new broadcast disks protocol, based on our Adaptive Information Dispersal Algorithm (AIDA). Our protocol is different from previous broadcast disks protocols in that it improves communication timeliness, fault-tolerance, and security, while allowing for a finer control of multiplexing of prioritized data (broadcast frequencies). We start with a general introduction of broadcast disks. Next, we propose broadcast disk organizations that are suitable for real-time applications. Next, we present AIDA and show its fault-tolerance and security properties. We conclude the paper with the description and analysis of AIDA-based broadcast disks organizations that achieve both timeliness and fault-tolerance, while preserving downstream communication capacity.

Ergodicity and Mixing Rate of One-Dimensional Cellular Automata

One-and two-dimensional cellular automata which are known to be fault-tolerant are very complex. On the other hand, only very simple cellular automata have actually been proven to lack fault-tolerance, i.e., to be mixing. The latter either have large noise probability ε or belong to the small family of two-state nearest-neighbor monotonic rules which includes local majority voting. For a certain simple automaton L called the soldiers rule, this problem has intrigued researchers for the last two decades since L is clearly more robust than local voting: in the absence of noise, L eliminates any finite island of perturbation from an initial configuration of all 0's or all 1's. The same holds for a 4-state monotonic variant of L, K, called two-line voting. We will prove that the probabilistic cellular automata Kε and Lε asymptotically lose all information about their initial state when subject to small, strongly biased noise. The mixing property trivially implies that the systems are ergodic. The finite-time information-retaining quality of a mixing system can be represented by its relaxation time Relax(⋅), which measures the time before the onset of significant information loss. This is known to grow as (1/ε)^c for noisy local voting. The impressive error-correction ability of L has prompted some researchers to conjecture that Relax(Lε) = 2^(c/ε). We prove the tight bound 2^(c1log^21/ε) ＜ Relax(Lε) ＜ 2^(c2log^21/ε) for a biased error model. The same holds for Kε. Moreover, the lower bound is independent of the bias assumption. The strong bias assumption makes it possible to apply sparsity/renormalization techniques, the main tools of our investigation, used earlier in the opposite context of proving fault-tolerance.

Pinwheel Scheduling for Fault-tolerant Broadcast Disks in Real-time Database Systems

The design of programs for broadcast disks which incorporate real-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disks is defined. It is shown that designing programs for broadcast disks specified in this model is closely related to the scheduling of pinwheel task systems. Some new results in pinwheel scheduling theory are derived, which facilitate the efficient generation of real-time fault-tolerant broadcast disk programs.

On Finding Sensitivity of Quantum and Classical Gates

We consider a fault model of Boolean gates, both classical and quantum, where some of the inputs may not be connected to the actual gate hardware. This model is somewhat similar to the stuck-at model which is a very popular model in testing Boolean circuits. We consider the problem of detecting such faults; the detection algorithm can query the faulty gate and its complexity is the number of such queries. This problem is related to determining the sensitivity of Boolean functions. We show how quantum parallelism can be used to detect such faults. Specifically, we show that a quantum algorithm can detect such faults more efficiently than a classical algorithm for a Parity gate and an AND gate. We give explicit constructions of quantum detector algorithms and show lower bounds for classical algorithms. We show that the model for detecting such faults is similar to algebraic decision trees and extend some known results from quantum query complexity to prove some of our results.

An evaluation of orogenic kinematic evolution utilizing crystalline and magnetic anisotropy in granitoids

The Silurian-Devonian Galway Granite Complex (GGC ~425-380Ma) is defined here as a suite of granitoid plutons that comprise the Main Galway Granite Batholith and the Earlier Plutons. The Main Batholith is a composite of the Carna Pluton in the west and the Kilkieran Pluton in the east and extends from Galway City ~130km to the west. The Earlier Plutons are spatially, temporally and structurally distinct, situated northwest of the Main Batholith and include the Roundstone, Omey, Inis and Letterfrack Plutons. The majority of isotopic and structural data currently available pertain to the Kilkieran Pluton, several tectonic models have already been devised for this part of the complex. These relate emplacement of the Kilkieran Pluton to extension across a large east-west Caledonian lineament, i.e. the Skird Rocks Fault, during late Caledonian transtension. No chronological data have been published that directly and accurately date the emplacement of the Carna Pluton or any of the Earlier Plutons. There is also a lack of data pertaining to the internal structure of these intrusions. Accordingly, no previous study has established the mechanisms of emplacement for the Earlier Plutons and only limited work is available for the Carna Pluton. As a consequense of this, constituents of the GGC have not previously been placed in a context relative to each other or to regional scale Silurio-Devonian kinematics. The current work focuses on the Omey, Roundstone and Carna Plutons. Here, results of detailed field and Anisotropy of Magnetic Susceptibiliy (AMS) fabric studies are presented. This work is complemented by geological mapping that focuses on fault dynamics and contact relationships. Interpretation of AMS data is aided by rock magnetic experiment data and petrographic microstructural evaluations of representative samples. A new geological map of the the Omey Pluton demonstrates that this intrusion has a defined roof and base which are gently inclined parallel to the fold hinge of the Connemara Antiform. AMS and petrographic data show the intrusion is cross cut by NNW-SSE shear zones that extend into the country rock. These pre-date and were active during magma emplacement. It is proposed that the Omey pluton was emplaced as a discordant phacolith. Pre-existing subvertical D5 faults in the host rock were reactived during emplacement, due to regional sinistral transpression, and served as centralised ascent conduits. A central portion of the Roundstone Pluton was mapped in detail for the first time. Two facies are identified, G1 forms the majority of the pluton and coeval G2 sheets cross cut G1 at the core of the pluton. NNW-SSE D5 faults mapped in the country rock extend across the pluton. These share a geometrical relationship with the distribution of submagmatic strain in the pluton and parallel the majoity of mapped subvertical G2 dykes. These data indicate that magma ascent was controlled by NNW-SSE conduits that are inherently related to those identifed in the Omey Pluton. It is proposed that the Roundstone Pluton is a punched laccolith, the symmetry and structure of which was controlled by pre-exising host rock structures and regional sinistral transpressive stress which presided during emplacement. Field relationships show the long axis of the Carna Pluton lies parallel to mulitple NNW-SSE shear zones. These are represented on a regional scale by the Clifden-Mace Fault which cross cuts the core of this intrusion. AMS and petrographic data show concentric emplacement fabrics were tectonically overprinted as magma cooled from the magmatic state due to this faulting. It is proposed that the Clifden-Mace Fault system was active during ascent and emplacement of the magma and that pluton inflation only terminated as this controlling structure went into compression due to the onset of regional transtension. U-Pb zircon laser ablation inductively coupled mass spectrometry (LA-ICP-MS) data has been compiled from four sample sites. New geochronological data from the Roundstone Pluton (RD1 = ± 3.2Ma) represent the oldest age determination obtained from any member of the GGC and demonstrates that this pluton predates the Carna Pluton by ~10Ma and probably intruded synchronously with the Omey Pluton (~422.5 ± 1.7Ma). Chronological data from the Carna Pluton (CN2 = 412.9 ± 2.5Ma; CN3 = 409.8 ± 7.2Ma; CN4 = 409.6 ± 3.6Ma) represent the first precise magma crystallisation age for this intrusion. This work shows this pluton is 10Ma older than the Kilkieran Pluton and that the supply of magma into the Carna Pluton had terminated by ~409Ma. Chronological, magnetic and field data have been utilised to evaluate the kinematic evolution of the Caledonides of western Ireland throughout the construction of the GGC. It is proposed that the GGC was constructed during four distinct episodes. The style of emplacement and the conduits used for magma transport to the site of emplacement was dependent on the orientation of local structures relative to the regional ambiant stress field. This philosophy is used to critically evaluate and progress existing hypotheses on the transition from regional transpression to regional transtension at the end of the Caledonian Orogeny.

Are immigrant remittance flows a source of capital for development?

There is a general presumption in the literature and among policymakers that immigrant remittances play the same role in economic development as foreign direct investment and other capital flows, but this is an open question. We develop a model of remittances based on the economics of the family that implies that remittances are not profit-driven, but are compensatory transfers, and should have a negative correlation with GDP growth. This is in contrast to the positive correlation of profit-driven capital flows with GDP growth. We test this implication of our model using a new panel data set on remittances and find a robust negative correlation between remittances and GDP growth. This indicates that remittances may not be intended to serve as a source of capital for economic development. © 2005 International Monetary Fund.

Impact of economic, regulatory, and patent policies on innovation in cancer chemoprevention.

Chemoprevention agents are an emerging new scientific area that holds out the promise of delaying or avoiding a number of common cancers. These new agents face significant scientific, regulatory, and economic barriers, however, which have limited investment in their research and development (R&D). These barriers include above-average clinical trial scales, lengthy time frames between discovery and Food and Drug Administration approval, liability risks (because they are given to healthy individuals), and a growing funding gap for early-stage candidates. The longer time frames and risks associated with chemoprevention also cause exclusivity time on core patents to be limited or subject to significant uncertainties. We conclude that chemoprevention uniquely challenges the structure of incentives embodied in the economic, regulatory, and patent policies for the biopharmaceutical industry. Many of these policy issues are illustrated by the recently Food and Drug Administration-approved preventive agents Gardasil and raloxifene. Our recommendations to increase R&D investment in chemoprevention agents include (a) increased data exclusivity times on new biological and chemical drugs to compensate for longer gestation periods and increasing R&D costs; chemoprevention is at the far end of the distribution in this regard; (b) policies such as early-stage research grants and clinical development tax credits targeted specifically to chemoprevention agents (these are policies that have been very successful in increasing R&D investment for orphan drugs); and (c) a no-fault liability insurance program like that currently in place for children's vaccines.

Tectonic and magmatic segmentation of the Global Ocean Ridge System: A synthesis of observations

© 2016 The Author(s).Mid-ocean ridges display tectonic segmentation defined by discontinuities of the axial zone, and geophysical and geochemical observations suggest segmentation of the underlying magmatic plumbing system. Here, observations of tectonic and magmatic segmentation at ridges spreading from fast to ultraslow rates are reviewed in light of influential concepts of ridge segmentation, including the notion of hierarchical segmentation, spreading cells and centralized v. multiple supply of mantle melts. The observations support the concept of quasi-regularly spaced principal magmatic segments, which are 30-50 km long on average at fast- to slow-spreading ridges and fed by melt accumulations in the shallow asthenosphere. Changes in ridge properties approaching or crossing transform faults are often comparable with those observed at smaller offsets, and even very small discontinuities can be major boundaries in ridge properties. Thus, hierarchical segmentation models that suggest large-scale transform fault-bounded segmentation arises from deeper level processes in the asthenosphere than the finer-scale segmentation are not generally supported. The boundaries between some but not all principal magmatic segments defined by ridge axis geophysical properties coincide with geochemical boundaries reflecting changes in source composition or melting processes. Where geochemical boundaries occur, they can coincide with discontinuities of a wide range of scales.

Developments since 2005 in understanding potential environmental impacts of CO2 leakage from geological storage

This paper reviews research into the potential environmental impacts of leakage from geological storage of CO2 since the publication of the IPCC Special Report on Carbon Dioxide Capture and Storage in 2005. Possible impacts are considered on onshore (including drinking water aquifers) and offshore ecosystems. The review does not consider direct impacts on man or other land animals from elevated atmospheric CO2 levels. Improvements in our understanding of the potential impacts have come directly from CO2 storage research but have also benefitted from studies of ocean acidification and other impacts on aquifers and onshore near surface ecosystems. Research has included observations at natural CO2 sites, laboratory and field experiments and modelling. Studies to date suggest that the impacts from many lower level fault- or well-related leakage scenarios are likely to be limited spatially and temporarily and recovery may be rapid. The effects are often ameliorated by mixing and dispersion of the leakage and by buffering and other reactions; potentially harmful elements have rarely breached drinking water guidelines. Larger releases, with potentially higher impact, would be possible from open wells or major pipeline leaks but these are of lower probability and should be easier and quicker to detect and remediate.

Fault Diagnosis in Internal Combustion Engines Using Nonlinear Multivariate Statistics

This paper presents a statistical-based fault diagnosis scheme for application to internal combustion engines. The scheme relies on an identified model that describes the relationships between a set of recorded engine variables using principal component analysis (PCA). Since combustion cycles are complex in nature and produce nonlinear relationships between the recorded engine variables, the paper proposes the use of nonlinear PCA (NLPCA). The paper further justifies the use of NLPCA by comparing the model accuracy of the NLPCA model with that of a linear PCA model. A new nonlinear variable reconstruction algorithm and bivariate scatter plots are proposed for fault isolation, following the application of NLPCA. The proposed technique allows the diagnosis of different fault types under steady-state operating conditions. More precisely, nonlinear variable reconstruction can remove the fault signature from the recorded engine data, which allows the identification and isolation of the root cause of abnormal engine behaviour. The paper shows that this can lead to (i) an enhanced identification of potential root causes of abnormal events and (ii) the masking of faulty sensor readings. The effectiveness of the enhanced NLPCA based monitoring scheme is illustrated by its application to a sensor fault and a process fault. The sensor fault relates to a drift in the fuel flow reading, whilst the process fault relates to a partial blockage of the intercooler. These faults are introduced to a Volkswagen TDI 1.9 Litre diesel engine mounted on an experimental engine test bench facility.