SEARCH · Engineering Papers

Results for “concurrency programming”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 records

All sources NASA NTRS DOE OSTI

DOE OSTI2026

Watching the Watchers with Verified Formal-Assurance Tools (Abbreviated Final Report)

The “Watching the Watchers” project studied the problem of establishing assurance cases for tools that are used to assure other things. Specifically, we were interested in understanding the tools and techniques one could apply to software to build an assurance case to evaluate their applicability, difficulty, level of assurance provided, and scalability. To do so we chose a set of use cases of relevance to LLNL and our various DOE and non-DOE partners and developed demonstrators to perform this evaluation. Our key focal point was around additive manufacturing problems and assurance gaps that we identified in the additive manufacturing workflow from start to completion. We also explored other areas related to AI, data analysis, and concurrent programming. Follow-on research is planned to take our prototypes from this project and adapt and mature them to fit LLNL mission applications.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

Collaborative Research Activities of the Arase and Van Allen Probes

This paper presents the highlights of joint observations of the inner magnetosphere by the Arase spacecraft, the Van Allen Probes spacecraft, and ground-based experiments integrated into spacecraft programs. The concurrent operation of the two missions in 2017–2019 facilitated the separation of the spatial and temporal structures of dynamic phenomena occurring in the inner magnetosphere. Because the orbital inclination angle of Arase is larger than that of Van Allen Probes, Arase collected observations at higher L-shells up to L ~ 10. After March 2017, similar variations in plasma and waves were detected by Van Allen Probes and Arase. We describe plasma wave observations at longitudinally separated locations in space and geomagnetically-conjugate locations in space and on the ground. The results of instrument intercalibrations between the two missions are also presented. Arase continued its normal operation after the scientific operation of Van Allen Probes completed in October 2019. The combined Van Allen Probes (2012-2019) and Arase (2017-present) observations will cover a full solar cycle. This will be the first comprehensive long-term observation of the inner magnetosphere and radiation belts.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

Sockeye Validation Support Using the SPHERE Facility

The engineering-scale heat pipe application Sockeye, being developed through the Nuclear En- ergy Advanced Modeling and Simulation program is concurrently undergoing code development and verification and validation activities. The Single Primary Heat Extraction and Removal Emu- lator (SPHERE) facility at Idaho National Laboratory has performed numerous sodium heat pipe experiments, one of which is modeled in this work to support Sockeye validation. Heat pipe data produced by the SPHERE facility was found to be very useful not only for Sockeye validation but also as a useful resource for model development. A Sockeye simulation performed using Sockeye’s conduction model modeled an experimental run at SPHERE and was found to be able to accurately reproduce the steady temperature distribution but revealed discrepancies in transient behavior after shutoff of the power. This effort also revealed a number of challenges of modeling an experimental setup such as SPHERE, for example, the importance of details in the setup such as possible gaps in insulation. Also, continuous collaboration between Sockeye developers and SPHERE experimentalists has been established, which allows future experiments to be refined in response to questions and challenges found by simulating earlier experiments.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2020

Demonstration of Integrated PostIrradiation Process Steps forMultikilogram Amounts of Low- and High-Burnup Used Nuclear Fuels

sponsored research and development (R&D) on the advanced, closed nuclear fuel cycle, including post-irradiation processing of used fuels, recovery of separated components, and preparation of recycle nuclear fuels. During the period 2007–2010, kilogram-scale demonstrations of the integrated processing steps were performed for actual light water reactor (LWR) used nuclear fuels (UNF). These integrated processing demonstrations were called “the Coupled-End-to-End” (CETE) campaigns and were associated with the Global Nuclear Energy Partnership program, which ran concurrently. The demonstrations were carried out in the shielded hot cells and associated gloveboxes located in the Irradiated Fuels Examination Laboratory (IFEL) and the Radiochemical Engineering Development Center (REDC) at the Oak Ridge National Laboratory (ORNL). Limited circulation program reports and a few technical papers were issued. The subject document provides a comprehensive summary of results, technical comparisons, and conclusions obtained from the demonstration campaigns and subsequent associated R&D.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

DOE OSTI2018

Multi-Level Load Balancing with an Integrated Runtime Approach

The recent trend of increasing numbers of cores per chip has resulted in vast amounts of on-node parallelism. These high core counts result in hardware variability that introduces imbalance. Applications are also becoming more complex, re-sulting in dynamic load imbalance. Load imbalance of any kind can result in loss of performance and system utilization. We address the challenge of handling both transient and persistent load imbalances while maintaining locality with low overhead. In this paper, we propose an integrated runtime system that combines the Charm++ distributed programming model with concurrent tasks to mitigate load imbalances within and across shared memory address spaces. It utilizes a periodic assignment of work to cores based on load measurement, in combination with user created tasks to handle load imbalance. We integrate OpenMP with Charm++ to enable creation of potential tasks via OpenMP's parallel loop construct. This is also available to MPI applications through the Adaptive MPI implementation. We demonstrate the benefits of our work on three applications. We show improvements of Lassen by 29.6% on Cori and 46.5% on Theta. We also demonstrate the benefits on a Charm++ application, ChaNGa by 25.7% on Theta, as well as an MPI proxy application, Kripke, using Adaptive MPI.

Bak, Seonmyeong↗

DOE OSTI2025

Automatically parallelizing batch inference on deep neural networks using Fiats and Fortran 2023 `do concurrent`

This paper introduces novel programming strategies that leverage features of the Fortran 2023 standard of the International Standards Organization (ISO) to automatically parallelize computations on deep neural networks. The paper focuses on the interplay of object-oriented, parallel, and functional programming paradigms in the Fiats deep learning library. We demonstrate how several infrequently used language features play a role in enabling efficient, parallel execution. Specifically, the ability to explicitly declare that a procedure is pure facilitates inference in the context of the language’s loop-parallelism construct `do concurrent`. Also, explicitly prohibiting the overriding of a parent type’s type-bound procedures eliminates the need for dynamic dispatch in performance-critical code. Finally, this paper uses batch inference calculations on a neural network surrogate for atmospheric aerosol dynamics to demonstrate that LLVM Flang compiler’s automatic parallelization of `do concurrent` achieves roughly the same performance and scalability as achieved by OpenMP compiler directives. We also demonstrate that double-precision inference costs 37–72% longer runtime than default-real precision with most values in the range 57-60%.

Rouson, Damian↗

DOE OSTI2019

Metabolomics of sorghum roots during nitrogen stress reveals compromised metabolic capacity for salicylic acid biosynthesis

Abstract Sorghum ( Sorghum bicolor [L.] Moench) is the fifth most productive cereal crop worldwide with some hybrids having high biomass yield traits making it promising for sustainable, economical biofuel production. To maximize biofuel feedstock yields, a more complete understanding of metabolic responses to low nitrogen (N) will be useful for incorporation in crop improvement efforts. In this study, 10 diverse sorghum entries (including inbreds and hybrids) were field‐grown under low and full N conditions and roots were sampled at two time points for metabolomics and 16S amplicon sequencing. Roots of plants grown under low N showed altered metabolic profiles at both sampling dates including metabolites important in N storage and synthesis of aromatic amino acids. Complementary investigation of the rhizosphere microbiome revealed dominance by a single operational taxonomic unit ( OTU ) in an early sampling that was taxonomically assigned to the genus Pseudomonas . Abundance of this Pseudomonas OTU was significantly greater under low N in July and was decreased dramatically in September. Correlation of Pseudomonas abundance with root metabolites revealed a strong negative association with the defense hormone salicylic acid ( SA ) under full N but not under low N, suggesting reduced defense response. Roots from plants with N stress also contained reduced phenylalanine, a precursor for SA , providing further evidence for compromised metabolic capacity for defense response under low N conditions. Our findings suggest that interactions between biotic and abiotic stresses may affect metabolic capacity for plant defense and need to be concurrently prioritized as breeding programs become established for biofuels production on marginal soils.

59 BASIC BIOLOGICAL SCIENCES↗

DOE OSTI2023

Utilizing multimodal high-intensity interval training for a firefighter training academy during the COVID-19 pandemic

Firefighters typically undergo a 16–24-week training academy during which they perform a variety of traditional exercise programs such as cardiovascular, resistance, and concurrent training. Because of limited facility access, some fire departments seek alternative exercise programs, such as multimodal high-intensity interval training (MM-HIIT), which essentially combines resistance and interval training. Here, the primary purpose of this study was to assess the effect of MM-HIIT on body composition and physical fitness in firefighter recruits who completed a training academy during the coronavirus (COVID-19) pandemic. A secondary purpose was to compare the effects of MM-HIIT to previous training academies that implemented traditional exercise programs. Healthy and recreationally-trained recruits (n=12) participated in 2-3 days/week of MM-HIIT for 12 weeks and had several components of body composition and physical fitness measured before and after the program. Because of COVID-19-related gym closures, all MM-HIIT sessions were performed outdoors at a fire station with minimal equipment. These data were retroactively compared to a control group (CG) that previously completed training academies with traditional exercise programs. Subjects in the MM-HIIT group significantly improved several components of body composition and fitness, including fat mass, fat-free mass, body fat percentage, aerobic capacity, and muscular endurance (p < 0.005). Moreover, there were no significant differences for any dependent variable when MM-HIIT was compared to the CG (p≥0.005). These results suggest that MM-HIIT may serve as an effective substitute for traditional concurrent training paradigms that are typically used for firefighter academies.

60 APPLIED LIFE SCIENCES↗

DOE OSTI2018

Analysis and Design of Ex-Service Garter Spring Irradiation Capsules in the High Flux Isotope Reactor

Nickel-based super alloys such as Inconel X-750 are used to fabricate internal components for various reactor systems. Recent efforts to research and understand the effects of long-term neutron radiation damage on this material are crucial for quantifying the performance (radiation-induced creep and embrittlement) of such materials under extended use. The CANDU® ex-service garter spring irradiation program was instituted to investigate such effects on various types of Inconel X-750 garter springs, tensile specimens, and fatigue specimens. Conventional irradiation programs use rabbits, which are capsules that are generally loaded with non radioactive irradiation specimens. These rabbits are designed to realize various specimen temperatures while irradiated to high neutron fluences in the Oak Ridge National Laboratory (ORNL) High Flux Isotope Reactor (HFIR). To accelerate the irradiation schedule of this program, two types of material — unirradiated and previously irradiated ex-service garter spring material — were both included in the irradiation program test matrix. These two material conditions are expected to provide intermediate and end-of-life neutron dose experimental results concurrently to accelerate the overall irradiation program schedule. This document describes the B8J18 garter spring design and the supporting work required to successfully fabricate, assemble, and qualify subsequent irradiation capsules.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

DOE OSTI2024

Enabling Capabilities and Resources: 2024 Principal Investigator Meeting Proceedings

As a major supporter of basic genome-enabled research, BER’s Biological Systems Science Division (BSSD) fosters scientific discovery by funding - fundamental biological research across disciplines in conjunction with enabling investigational tools and computational capabilities that include world-class user facilities. The overarching goal of BSSD is to provide the necessary fundamental science to understand, predict, manipulate, and design biological systems that underpin innovations for bioenergy and bioproduct production and enhance understanding of natural, DOE-relevant environmental processes (Biological Systems Science Division Strategic Plan, 2021). To accelerate the U.S. bioeconomy, BSSD pursues innovative science underpinning advances in sustainable biofuels and bioproducts and the development of next-generation technologies and computational resources for systems biology research. The 2024 BSSD Enabling Capabilities and Resources (ECR) Principal Investigator (PI) meeting brought together PIs across the BSSD ECR portfolio to confer on shared interests and opportunities. The meeting was held concurrently with the Genomic Science program (GSP) PI meeting to optimize collaboration on research to advance bioenergy and the bioeconomy. Rick Stevens of Argonne National Laboratory gave a keynote on How Generative Artificial Intelligence Can Impact Biological Research (see Keynote: How Generative Artificial Intelligence Can Impact Biological Research, this page). Plenary presentations included several joint sessions that illuminated the integration and understanding of the larger BSSD mission. GSP’s objective is to provide systems-level understanding of plants, microbes, and their communities through its Bioenergy Research, Biosystems Design, and Environmental Microbiome Research portfolios. The objective of the ECR portfolio is to support development of computational and instrumental platforms to advance fundamental GSP research—and BER more broadly— toward the overall goal of understanding the functional principles of living systems and their response to environmental challenges.

59 BASIC BIOLOGICAL SCIENCES↗

DOE OSTI2023

Correct Compilation of Concurrent C Code

The CompCert compiler represents a landmark effort in program verification as both a piece of verified software and as a compiler for verified C programs. A key shortcoming of CompCert however is that it does not support multithreaded programs. Prior work to add threads to CompCert has either required major rewrites of parts of the proof or only works for well synchronized programs. The problem is that CompCert’s backward simulation derives from a forward simulation via the determinism of the semantics of intermediate representation languages. This makes the proofs in CompCert easier but also makes them incompatible with standard models of multithreading which are non-deterministic. Here we propose an alternate formulation of CompCert’s proof structure that parameterizes the existing single threaded semantics with nondeterministic behavior generated at the multithreading level. While this is an old trick where program equivalence is concerned, performing it in the context of CompCert is quite subtle. Our approach allows for expressive concurrent semantics and does not require major proof rewrites but still results in a global backward simulation for multithreaded programs.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2020

2018 LDRD Annual Report (Argonne National Laboratory)

Argonne National Laboratory’s Laboratory Directed Research and Development (LDRD) program encourages the development of novel technical concepts, enhances the Laboratory’s research and development (R&D) capabilities, and enables pursuit of strategic laboratory goals. Argonne’s LDRD projects are proposal based and peer reviewed, supporting ideas that require advanced exploration so they can be sufficiently developed to pursue support through normal programmatic channels. Among the aims of the projects supported by the LDRD program are the establishment of engineering proofs of principle, assessment of design feasibility for prospective facilities, development of instrumentation or computational methods or systems, and discoveries in fundamental science and exploratory development. All LDRD projects have demonstrable ties to one or more of the science, energy, environment, and national security missions of the U.S. Department of Energy (DOE) and its National Nuclear Security Administration (NNSA), and many are also relevant to the missions of other federal agencies that sponsor work at Argonne. A natural consequence of the more “applied” type projects is their concurrent relevance to industry. The LDRD program is managed in overarching portfolios, each containing multiple projects each fiscal year. The LDRD Prime portfolio is further divided into strategic focus areas aligned with Argonne’s strategic plan. The largest component of Argonne’s program is LDRD Prime, which emphasizes R&D explicitly aligned with Laboratory major initiatives in support of Argonne’s strategic plan. The choice of Focus Areas under the LDRD Prime component reflects the major initiatives; the state of development of relevant technical fields; the potential value of advancing those fields to DOE/NNSA and the nation; and the compatibility of the fields with existing facilities, capabilities, and staff expertise at Argonne. Focus Areas with projects that ended in FY18 are: Advanced Computing, Biological and Environmental Science Capability Development, Energy Manufacturing Science and Engineering, Hard X-ray Sciences, Materials and Chemistry, Securing Energy and Critical Resources, and The Universe as Our Laboratory (ULab).

99 GENERAL AND MISCELLANEOUS↗

DOE OSTI2022

PythonFOAM: In-situ data analyses with OpenFOAM and Python

Here, we outline the development of a general-purpose Python-based data analysis tool for OpenFOAM. Our implementation relies on the construction of OpenFOAM applications that have bindings to data analysis libraries in Python. Double precision data in OpenFOAM is cast to a NumPy array using the NumPy C-API and Python modules may then be used for arbitrary data analysis and manipulation on flow-field information. We highlight how the proposed wrapper may be used for an in-situ online singular value decomposition (SVD) implemented in Python and accessed from the OpenFOAM solver PimpleFOAM. Here, 'in-situ' refers to a programming paradigm that allows for a concurrent computation of the data analysis on the same computational resources utilized for the partial differential equation solver. In addition, to demonstrate parallel deployments, we deploy a distributed SVD, which collects snapshot data across the ranks of a distributed simulation to compute the global left singular vectors. Crucially, both OpenFOAM and Python share the same message passing interface (MPI) communicator for this deployment which allows Python objects and functions to exchange NumPy arrays across ranks. Subsequently, we provide scaling assessments of this distributed SVD on multiple nodes of Intel Broadwell and KNL architectures for canonical test cases such as the large eddy simulations of a backward facing step and a channel flow at friction Reynolds number of 395. Finally, we demonstrate the deployment of a deep neural network for compressing the flow-field information using an autoencoder to demonstrate an ability to use state-of-the-art machine learning tools in the Python ecosystem.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2019

W88 Alteration 370 (Maintaining the Stockpile)

The W88 nuclear warhead entered the stockpile in late 1988 and is deployed on the Navy’s Trident II D5 Submarine-Launched Ballistic Missile (SLBM) system, carried onboard Ohio-class ballistic missile submarines. Deployed now for almost three decades, several updates are required to address aging issues and to maintain its current state of readiness. The W88 Alteration (Alt) 370 program replaces the arming, fuzing, and firing subsystem, adds a lightning arrestor connector, and refreshes the conventional high explosives within the weapon to enhance nuclear safety and support future life extension program options. The W88 Alt 370 program is scheduled to be completed concurrent with planned exchanges of limited-life, or routinely replaced, components, including the gas-transfer system

Source record↗

DOE OSTI2021

Implementing Arbitrary/Common Concurrent Writes of CRCW PRAM

The Parallel Random Access Machines (PRAM) abstraction is the simplest and most elegant algorithmic model for the design and analysis of parallel algorithms. It consists of different models categorized based on the underlying memory access mode used, the most powerful of which is the Concurrent Read Concurrent Write (CRCW) model. A PRAM algorithm describes a series of rounds, each of which consists of a collection of operations that can be executed concurrently within the same time step. However, the lack of support for concurrent memory accesses and the prevalence of asynchronous programming models led to the belief that implementing CRCW PRAM algorithms is unattainable and prompted many to avoid this model except for theoretical studies of optimal performance.In this work, we study the arbitrary and common concurrent writes in the CRCW PRAM model and explore implementation challenges on general-purpose systems. Moreover, we examine current practices for implementing common/arbitrary concurrent writes and propose a new efficient lightweight and thread-safe method to implement concurrent writes through leveraging atomic instructions. To demonstrate the efficacy of our method, we developed OpenMP kernels for classical CRCW PRAM algorithms and provide experimental results and comparisons based on run time performance measured over the x86 multicore architecture. Our results show a performance speedup compared to current practices up to 4.5x across all our benchmarks.

Ghanim, Fady↗

DOE OSTI2021

VTK-m User's Guide (V.1.6)

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2021

VTK-m User's' Guide (V.1.7)

High-performance computing relies on ever finer threading. Advances in processor technology include ever greater numbers of cores, hyperthreading, accelerators with integrated blocks of cores, and special vectorized instructions, all of which require more software parallelism to achieve peak performance. Traditional visualization solutions cannot support this extreme level of concurrency. Extreme scale systems require a new programming model and a fundamental change in how we design algorithms. To address these issues we created VTK-m: the visualization toolkit for multi-/many-core architectures. VTK-m supports a number of algorithms and the ability to design further algorithms through a top-down design with an emphasis on extreme parallelism. VTK-m also provides support for finding and building links across topologies, making it possible to perform operations that determine manifold surfaces, interpolate generated values, and find adjacencies. Although VTK-m provides a simplified high-level interface for programming, its template-based code removes the overhead of abstraction. VTK-m simplifies the development of parallel scientific visualization algorithms by providing a framework of supporting functionality that allows developers to focus on visualization operations. Consider the listings in Figure 1.1 that compares the size of the implementation for the Marching Cubes algorithm in VTK-m with the equivalent reference implementation in the CUDA software development kit. Because VTK-m internally manages the parallel distribution of work and data, the VTK-m implementation is shorter and easier to maintain. Additionally, VTK-m provides data abstractions not provided by other libraries that make code written in VTK-m more versatile.This book includes contributions from the VTK-m community including the VTK-m development team and the user community.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2022

The VTK-m Users' Guide (V.1.9)

97 MATHEMATICS AND COMPUTING↗