7,116 research outputs found

    Extensible sparse functional arrays with circuit parallelism

    Get PDF
    A longstanding open question in algorithms and data structures is the time and space complexity of pure functional arrays. Imperative arrays provide update and lookup operations that require constant time in the RAM theoretical model, but it is conjectured that there does not exist a RAM algorithm that achieves the same complexity for functional arrays, unless restrictions are placed on the operations. The main result of this paper is an algorithm that does achieve optimal unit time and space complexity for update and lookup on functional arrays. This algorithm does not run on a RAM, but instead it exploits the massive parallelism inherent in digital circuits. The algorithm also provides unit time operations that support storage management, as well as sparse and extensible arrays. The main idea behind the algorithm is to replace a RAM memory by a tree circuit that is more powerful than the RAM yet has the same asymptotic complexity in time (gate delays) and size (number of components). The algorithm uses an array representation that allows elements to be shared between many arrays with only a small constant factor penalty in space and time. This system exemplifies circuit parallelism, which exploits very large numbers of transistors per chip in order to speed up key algorithms. Extensible Sparse Functional Arrays (ESFA) can be used with both functional and imperative programming languages. The system comprises a set of algorithms and a circuit specification, and it has been implemented on a GPGPU with good performance

    A load-sharing architecture for high performance optimistic simulations on multi-core machines

    Get PDF
    In Parallel Discrete Event Simulation (PDES), the simulation model is partitioned into a set of distinct Logical Processes (LPs) which are allowed to concurrently execute simulation events. In this work we present an innovative approach to load-sharing on multi-core/multiprocessor machines, targeted at the optimistic PDES paradigm, where LPs are speculatively allowed to process simulation events with no preventive verification of causal consistency, and actual consistency violations (if any) are recovered via rollback techniques. In our approach, each simulation kernel instance, in charge of hosting and executing a specific set of LPs, runs a set of worker threads, which can be dynamically activated/deactivated on the basis of a distributed algorithm. The latter relies in turn on an analytical model that provides indications on how to reassign processor/core usage across the kernels in order to handle the simulation workload as efficiently as possible. We also present a real implementation of our load-sharing architecture within the ROme OpTimistic Simulator (ROOT-Sim), namely an open-source C-based simulation platform implemented according to the PDES paradigm and the optimistic synchronization approach. Experimental results for an assessment of the validity of our proposal are presented as well

    Precipitate stability and recrystallisation in the weld nuggets of friction stir welded Al-Mg-Si and Al-Mg-Sc alloys

    Get PDF
    Two different precipitate hardening aluminium alloys processed by friction stir welding were investigated. The microstructure and the hardness of the as delivered materials were compared to that of the weld nugget. Transmission electron microscopy observations combined with three-dimensional atom probe analyses clearly show that \beta;" precipitates dissolved in the nugget of the Al-Mg-Si giving rise to some supersaturated solid solution. It is shown that the dramatic softening of the weld could be partly recovered by post-welding ageing treatments. In the Al-Mg-Sc alloy, Al3Sc precipitate size and density are unchanged in the nugget comparing to the base metal. These precipitates strongly reduce the boundary mobility of recrystallised grains, leading to a grain size in the nugget much smaller than in the Al-Mg-Si alloy. Both coherent and incoherent precipitates were detected. This feature may indicate that a combination of continuous and discontinuous recrystallisation occurred in the weld nugget

    Mechanical Behavior and Failure Analysis of Prosthetic Retaining Screws after Long‐Term Use In Vivo. Part 2: Metallurgical and Microhardness Analysis

    Get PDF
    Abstract Purpose: This study involved testing and analyzing multiple retrieved prosthetic retaining screws after long‐term use in vivo to: (1) detect manufacturing defects that could affect in‐service behavior; (2) characterize the microstructure and alloy composition; and (3) further characterize the wear mechanism of the screw threads. Materials and Methods: Two new (control) screws from Nobel Biocare (NB) and 18 used (in service 18–120 months) retaining screws [12 from NB and 6 from Sterngold (SG)] were: (1) metallographically examined by light microscopy and scanning electron microscopy (SEM) to determine the microstructure; (2) analyzed by energy dispersive X‐ray (EDX) microanalysis to determine the qualitative and semiquantitative average alloy and individual phase compositions; and (3) tested for Vickers microhardness. Results: Examination of polished longitudinal sections of the screws using light microscopy revealed a significant defect in only one Group 4 screw. No significant defects in any other screws were observed. The defect was considered a “seam” originating as a “hot tear” during original casting solidification of the alloy. Additionally, the examination of longitudinal sections of the screws revealed a uniform homogeneous microstructure in some groups, while in other groups the sections exhibited rows of second phase particles. The screws for some groups demonstrated severe deformation of the lower threads and the bottom part of the screw leading to the formation of crevices and grooves. Some NB screws were comprised of Au‐based alloy with Pt, Cu, and Ag as alloy elements, while others (Groups 4 and 19) were Pd‐based with Ga, Cu, and Au alloy elements. The microstructure was homogeneous with fine or equiaxed grains for all groups except Group 4, which appeared inhomogeneous with anomalous grains. SG screws demonstrated a typical dendritic structure and were Au‐based alloy with Cu and Ag alloy elements. There were differences in the microhardness of gold alloy screws from NB and SG as well as palladium alloy screws from NB. Conclusions: Significant differences within NB retaining screws and between NB and SG screws were found for microstructure, major alloy constituents, and microhardness
    • 

    corecore