SEARCH · Search NASA

Results for “programming model”

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 1,513 records · Page 84

All sources NASA NTRS DOE OSTI

DOE OSTI2017

Multi-Time Step Service Restoration for Advanced Distribution Systems and Microgrids

Modern power systems are facing increased risk of disasters that can cause extended outages. The presence of remote control switches (RCSs), distributed generators (DGs), and energy storage systems (ESS) provides both challenges and opportunities for developing post-fault service restoration methodologies. Inter-temporal constraints of DGs, ESS, and loads under cold load pickup (CLPU) conditions impose extra complexity on problem formulation and solution. In this paper, a multi-time step service restoration methodology is proposed to optimally generate a sequence of control actions for controllable switches, ESSs, and dispatchable DGs to assist the system operator with decision making. The restoration sequence is determined to minimize the unserved customers by energizing the system step by step without violating operational constraints at each time step. The proposed methodology is formulated as a mixed-integer linear programming (MILP) model and can adapt to various operation conditions. Furthermore, the proposed method is validated through several case studies that are performed on modified IEEE 13-node and IEEE 123-node test feeders.

24 POWER TRANSMISSION AND DISTRIBUTION↗

NASA NTRS1972

Experiments with program locality.

Attempt to validate experimentally several intrinsic models for the concept of program locality. The models considered are a two-parameter simple locality model, a simple least recently used stack model, and an independent reference model. The first two models appear to produce good approximations to real world behavior, while the independent reference model, because of its static concept of locality, does very poorly. The working set is shown to be a good estimator of the simple two-parameters model's locality, provided that the locality does not change too rapidly. The working set exactly measures the locality in the case of the least recently used stack model and is thus nearly optimal for programs whose behavior can be closely approximated by this model.

Spirn, J. R.↗

NASA NTRS1989

Methodology for analysis and simulation of large multidisciplinary problems

The Integrated Structural Modeling (ISM) program is being developed for the Air Force Weapons Laboratory and will be available for Air Force work. Its goal is to provide a design, analysis, and simulation tool intended primarily for directed energy weapons (DEW), kinetic energy weapons (KEW), and surveillance applications. The code is designed to run on DEC (VMS and UNIX), IRIS, Alliant, and Cray hosts. Several technical disciplines are included in ISM, namely structures, controls, optics, thermal, and dynamics. Four topics from the broad ISM goal are discussed. The first is project configuration management and includes two major areas: the software and database arrangement and the system model control. The second is interdisciplinary data transfer and refers to exchange of data between various disciplines such as structures and thermal. Third is a discussion of the integration of component models into one system model, i.e., multiple discipline model synthesis. Last is a presentation of work on a distributed processing computing environment.

Russell, William C.↗

DOE OSTI2020

Nek5000 developments in support of industry and the NRC

This year, the Nuclear Energy Advanced Modeling Simulation program (NEAMS) thermal-hydraulics verification and validation (V&V) work has focused in three areas of Nek5000 V&V-driven development. First, in a close collaborative effort with the U. S. Nuclear Regulatory Commission (NRC) staff, we have continued V&V efforts for the HYMERES-2 project using the OECD/NEA sponsored testing in the PSI PANDA facility. This year’s focus of ANL-NRC collaboration involves Nek5000 setups and validation for a range of problems relevant to and including the HYMERES-2 benchmark from PSI. The primary outcome of this year efforts is a more efficient geometry and inlet modeling simplification after a careful sensitivity study of the inlet profiles and pipe geometries. The resulting modeling choice of a short recycling/fully-developed turbulent inlet is within the experimental uncertainty estimate. This finding simplifies the next step of the cross-V&V HYMERES-2 project. In addition, the ANL team continue to provide assistance to the NRC staff in the form of Nek5000 application support in general and on the use of the HPC platforms of ALCF and INL in particular. This supports the NRC’s assessment of Nek5000 for use with the NRC Blue CRAB code suite. Second, we have implemented and tested more robust model of URANS, namely the k – τ model, a variant of the k-ω model, along with other improvements to RANS Nek5000 modeling in general. Because of its demonstrated robustness and stability, the k – τ model is the only RANS model that has been implemented in the new GPU version of the Nek5000 code, nekRS. Lastly, we report the initial implementation of Jacobian-free Newton Krylov approach to the direct Newton method for steady fluid solvers aimed at acceleration of RANS modeling and at IC improvement for LES campaigns. Also leveraging the Exascale Computing Project (ECP) ANL/CEED & SMR team’s software development effort to support NEAMS problems at large scale of the advanced computing architectures, NekRS, a GPU variant of Nek5000, built on top of kernels from libParanumal using OCCA for portability, has been successfully run on the full system of Summit (4608 nodes, 27648 GPUs).

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

NASA NTRS1987

Execution environment for intelligent real-time control systems

Modern telerobot control technology requires the integration of symbolic and non-symbolic programming techniques, different models of parallel computations, and various programming paradigms. The Multigraph Architecture, which has been developed for the implementation of intelligent real-time control systems is described. The layered architecture includes specific computational models, integrated execution environment and various high-level tools. A special feature of the architecture is the tight coupling between the symbolic and non-symbolic computations. It supports not only a data interface, but also the integration of the control structures in a parallel computing environment.

Sztipanovits, Janos↗

NASA NTRS2018

Model of Collaborative Trajectory Options Program Performance

Adoption of Collaborative Trajectory Options Programs (CTOP) in airspace has been hampered by a lack of willingness of a majority of airlines to participate in CTOP as there is a lack of information about benefits of CTOP. At present, there are only selected airlines that are considering participating in CTOP. One open research question is how much benefit an airline get by making a decision to participate in CTOP. Another question is identifying situations in which CTOP is a better alternative to traditional TMIs. For effective use of CTOP, it would be useful to understand how different factors such as capacity and TOS participation influence CTOP performance. Therefore, it would be helpful to develop a model of CTOP performance in terms of these factors.

CTOP↗

DOE OSTI2015

Software package for modeling spin–orbit motion in storage rings

A software package providing a graphical user interface for computer experiments on the motion of charged particle beams in accelerators, as well as analysis of obtained data, is presented. The software package was tested in the framework of the international project on electric dipole moment measurement JEDI (Jülich Electric Dipole moment Investigations). The specific features of particle spin motion imply the requirement to use a cyclic accelerator (storage ring) consisting of electrostatic elements, which makes it possible to preserve horizontal polarization for a long time. Computer experiments study the dynamics of 10{sup 6}–10{sup 9} particles in a beam during 10{sup 9} turns in an accelerator (about 10{sup 12}–10{sup 15} integration steps for the equations of motion). For designing an optimal accelerator structure, a large number of computer experiments on polarized beam dynamics are required. The numerical core of the package is COSY Infinity, a program for modeling spin–orbit dynamics.

43 PARTICLE ACCELERATORS↗

DOE OSTI2017

A Life Cycle Analysis of Refinery Fuel Products Air Emissions Using Refinery Emissions Inventory Data

With the transportation sector being a major source of air pollutant emissions, this study seeks to evaluate criteria pollutant emissions associated with the use of petroleum fuels in vehicles using the GREET® (Greenhouse gases, Regulated Emissions, and Energy use in Transportation) well-to-wheel model. The life cycle of petroleum fuels includes the major stages of crude recovery, crude transportation, crude refining, fuel distribution and fuel combustion (vehicle operation). This study focuses on quantifying refinery emissions, in terms of both refinery throughput and various refinery fuel products, by matching a refinery emissions inventory dataset with refinery operation information, at various levels (national, regional, facility, and process unit). The refinery emissions in terms refinery throughput (per refinery crude input, in g/mmbtu crude) are developed at a regional level for various Petroleum Administration for Defense Districts (PADD), and also aggregated at the national level. To allocate refinery emissions to refinery products, a methodology is developed using a refinery operation optimization Linear Programming (LP) model for individual refineries. The results from individual refinery facilities are then aggregated to obtain statistical national average (capacity weighted) emissions for each product. Because refineries vary by complexity of operation, configuration, crude quality, and product slate, the derived emissions demonstrate large variation for each product and per unit of crude input. Relative to previous estimates used in the GREET model, the present research shows reductions in refinery (and life cycle) emissions for most criteria pollutants. The reduction is especially significant for sulfur dioxide (SOx) emissions.

Allocation↗

DOE OSTI2023

Self-diagnosis of model suitability for continuous measurements of stream-dissolved organic carbon derived from in situ UV–visible spectroscopy

Application of high-frequency monitoring of dissolved organic carbon (DOC) is difficult in instances where training datasets are challenging to develop (e.g., remote locations) and the relationship between optical features and DOC concentration changes due to environmental or landscape shifts (e.g., climate or land-use change). We developed and compared three partial least squares (PLS) models using in situ water level measurements, conductivity, and UV–Vis spectral attenuation to predict DOC. Two site-specific models were developed using data from a hillslope-dominated forest or a low-relief wetland-pond-dominated stream catchment. The third model, using data from both sites, exhibited the best performance (DOC range = 4–15.5 mg C L −1 , mean = 8.38 mg C L −1 , training RMSE = 0.34 mg C L −1 , internal validation RMSE = 0.50 mg C L −1 , external validation RMSE = 2.43 mg C L −1 ). We further demonstrate using PLS model statistics to monitor performance and elucidate when and how models should be updated. These statistics, Hotelling's T 2 and squared prediction errors, are useful consistency checks for the predictions made and detect underlying inconsistencies that, if undetected, can reduce the robustness of DOC prediction. For example, via the T 2 statistic, we identified the summer–autumn transition as a period when DOC composition differed from what was represented in the training dataset. We also determined that elevated SUVA 254 values contributed to the overall bias observed in predictions made during the subsequent year as part of the external validation. This enabled the application of a bias correction that reduced the RMSE from 2.43 to 0.89 mg C L −1 . The method presented here could be applied to future monitoring programs enabling model updates to monitor DOC fluxes accurately from optical datasets (e.g., attenuance or fluorescence) in the face of developing datasets in remote locations or environmental change. In conclusion, implementation of this approach may also identify possible regime shifts or landscape and hydrologic change associated with climate and other environmental changes relevant to terrestrial to aquatic fluxes.

UV-VIS spectroscopy↗

DOE OSTI2019

Systematic Process Intensification involving Zeotropic Distillation

Distillation is commonly used for separating homogeneous fluid mixtures. While it is based on a simple thermally driven vapor-liquid equilibrium phenomenon at the two-phase region, different variants of distillation systems exist. These include simple distillation, dividing wall columns, pressure swing distillation, thermally coupled distillation and reactive distillation. Complex separation may also involve multiple distillation in a sequence to achieve the desired products. These sequences can be constructed as direct sequence, indirect sequence or thermally coupled columns. Even when a sequence is fixed, each column in the sequence can have a plethora of design alternatives to consider. All these make the design and intensification of distillation systems a challenging task. The large number of plausible design alternatives increases the combinatorial complexity for screening. Although significant efforts have been made in the past, we still lack a method for systematic identification of novel pathways for process intensification of distillation system. This is due to the lack of a generalized representation of all plausible alternatives in a single modeling and optimization framework. In this work, we first present a general representation of thermally driven vapor-equilibrium phenomenon using abstract building blocks. Specifically, each tray in a distillation column is represented by a liquid block and a vapor block with a shared semi-restricted boundary representing the interface. The arrangement of these building blocks in a two-dimensional grid gives rise to all plausible variants of distillation systems. These systems range from simple distillation, dividing wall columns to task-integrated columns. This enables us to systematically identify both classic and out-of-the-box intensified designs at the column and flowsheet levels. The overall distillation-based separation process synthesis problem is formulated as a single mixed-integer nonlinear programming (MINLP) model. In conclusion, the proposed approach is applied to multi-component zeotropic systems to show the capability of identifying promising intensified alternatives.

42 ENGINEERING↗

NASA NTRS2010

Evaluation of Grounding Impedance of a Complex Lightning Protective System Using Earth Ground Clamp Measurements and ATP Modeling

A new Lightning Protection System (LPS) was designed and built at Launch Complex 39B (LC39B), at the Kennedy Space Center (KSC), Florida, which consists of a catenary wire system (at a height of about 181 meters above ground level) supported by three insulators installed atop three towers in a triangular configuration. A total of nine downconductors (each about 250 meters long, on average) are connected to the catenary wire system. Each of the nine downconductors is connected to a 7.62-meter radius circular counterpoise conductor with six equally spaced 6-meter long vertical grounding rods. Grounding requirements at LC39B call for all underground and above ground metallic piping, enclosures, raceways, and cable trays, within 7.62 meters of the counterpoise, to be bounded to the counterpoise, which results in a complex interconnected grounding system, given the many metallic piping, raceways, and cable trays that run in multiple direction around LC39B. The complexity of this grounding system makes the fall of potential method, which uses multiple metallic rods or stakes, unsuitable for measuring the grounding impedances of the downconductors. To calculate the downconductors grounding impedance, an Earth Ground Clamp (a stakeless grounding resistance measuring device) and a LPS Alternative Transient Program (ATP) model are used. The Earth Ground Clamp is used to measure the loop impedance plus the grounding impedance of each downconductor and the ATP model is used to calculate the loop impedance of each downconductor circuit. The grounding impedance of the downconductors is then calculated by subtracting the ATP calculated loop impedances from the Earth Ground Clamp measurements.

Mata, Carlos T.↗

NASA NTRSDate not supplied

Single and Multi-Node Modeling of Direct, Submerged, and Self-Pressurization of A Cryogenic Propellant Tank Using Nodal Tools

The pressurization of cryogenic propellant tanks will always be an important process so long as cryogenic liquids are being considered as fuel sources or used for other in-space applications. Pressure control of the tank ullage is necessary for managing propellant flowrates to an engine or a receiver tank, and modeling of the process is used to predict the pressurant requirements and the amount of propellant boiloff. Direct ullage pressurization is the more traditional approach to tank pressurization, as the physics are straight-forward, and ample test (flight) data have been collected and analyzed over the past several decades. Submerged injection pressurization is an alternate method for tank pressurization and has been shown to reduce pressurant requirements, subcool the propellant, and reduce the risk of ullage collapse. Additionally, the pressurant gas entering the ullage is usually much colder when using the submerged pressurization approach, resulting in reduced propellant boiloff. These benefits are at the expense of vaporizing a small percentage of the propellent. Both tank pressurization methods are viable options for current and future space missions, and it is important to have the capability of analyzing the tank ullage conditions for both approaches. Our previous work has demonstrated the development of a Generalized Fluid System Simulation Program (GFSSP) model, which contains a thermodynamic equilibrium heat and mass transfer subroutine capable of effectively analyzing both direct and submerged pressurization systems [1-2]. This subroutine has most recently been enhanced to include the non-equilibrium effect of pressurant dissolution into the propellant. To date the ullage has always been represented as a single node, and although the simulated single-node temperatures have good comparison with the volume-averaged ullage temperatures computed from test data, the physics of the thermal stratification in the ullage were never captured, and adjustment factors in the model were required. The purpose of this paper is to introduce the development of a multi-node ullage model using GFSSP and to discuss the improvements of the simulated ullage temperature distribution and its resulting effects on ullage heat transfer processes. Test data from the Cryogenic Propellant Storage and Transfer Engineering Developmental Unit (CPST EDU) was used for model validation. For additional comparison, a Thermal Desktop (TD) model was also developed to analyze the CPST EDU direct ullage pressurization tests using both a single node and multi-node approach. The model includes the direct pressurant line, vent line, fill/drain line, and a TD FloCAD Compartment. The TD FloCAD Compartment is employed to represent the liquid and ullage as single volumes inside the tank, to include a liquid/vapor interface, and to generate network level objects such as lumps (analogous to nodes in GFSSP), paths, and ties between the fluid and thermal elements. An established heat load on the model tank was leveraged from a pre-existing higher-fidelity model correlated to CPST EDU test data.

pressurization↗

NASA NTRS2004

Constructing an Educational Mars Simulation

January 14th 2004, President George Bush announces his plans to catalyst the space program into a new era of space exploration and discovery. His vision encompasses a robotics program to explore our solar system, a return to the moon, the human exploration of Mars, and to promote international prosperity towards our endeavors. We at NASA now have the task of constructing this vision in a very real timeframe. I have been chosen to begin phase 1 of making this vision a reality. I will be working on creating an Educational Mars Simulation of human exploration of Mars to stimulate interest and involvement with the project from investors and the community. GRC s Computer Services Division (CSD) in collaboration with the Office of Education Programs will be designing models, constructing terrain, and programming this simulation to create a realistic portrayal of human exploration on mars. With recent and past technological breakthroughs in computing, my primary goal can be accomplished with only the aid of 3-4 software packages. Lightwave 3D is the modeling package we have selected to use for the creation of our digital objects. This includes a Mars pressurized rover, rover cockpit, landscape/terrain, and habitat. Once we have the models completed they need textured so Photoshop and Macromedia Fireworks are handy for bringing these objects to life. Before directly importing all of this data into a simulation environment, it is necessary to first render a stunning animation of the desired final product. This animation with represent what we hope to capture out of the simulation and it will include all of the accessories like ray-tracing, fog effects, shadows, anti-aliasing, particle effects, volumetric lighting, and lens flares. Adobe Premier will more than likely be used for video editing and adding ambient noises and music. Lastly, V-Tree is the real-time 3D graphics engine which will facilitate our realistic simulation. Additional information is included in the original extended abstract.

Henke, Stephen A.↗

NASA NTRS2010

Microstructure Modeling of Third Generation Disk Alloys

The objective of this program was to model, validate, and predict the precipitation microstructure evolution, using PrecipiCalc (QuesTek Innovations LLC) software, for 3rd generation Ni-based gas turbine disc superalloys during processing and service, with a set of logical and consistent experiments and characterizations. Furthermore, within this program, the originally research-oriented microstructure simulation tool was to be further improved and implemented to be a useful and user-friendly engineering tool. In this report, the key accomplishments achieved during the third year (2009) of the program are summarized. The activities of this year included: Further development of multistep precipitation simulation framework for gamma prime microstructure evolution during heat treatment; Calibration and validation of gamma prime microstructure modeling with supersolvus heat treated LSHR; Modeling of the microstructure evolution of the minor phases, particularly carbides, during isothermal aging, representing the long term microstructure stability during thermal exposure; and the implementation of software tools. During the research and development efforts to extend the precipitation microstructure modeling and prediction capability in this 3-year program, we identified a hurdle, related to slow gamma prime coarsening rate, with no satisfactory scientific explanation currently available. It is desirable to raise this issue to the Ni-based superalloys research community, with hope that in future there will be a mechanistic understanding and physics-based treatment to overcome the hurdle. In the mean time, an empirical correction factor was developed in this modeling effort to capture the experimental observations.

Jou, Herng-Jeng↗

NASA NTRS2011

Limiting Future Collision Risk to Spacecraft: An Assessment of NASA's Meteoroid and Orbital Debris Programs

Over the past 50 years, various NASA communities have contributed significantly to maturing NASA s meteoroid and orbital debris (MMOD)1 programs to their current state. As a result of these community efforts, and to NASA s credit, NASA s MMOD programs and models are now widely used and respected by the providers and users of both government and commercial satellites, nationally as well as internationally. Satellites have been redesigned to protect critical components from MMOD damage by moving critical components from exterior surfaces to deep inside a satellite s structure. Orbits are monitored and altered to minimize the risk of collision with tracked orbital debris. MMOD shielding added to the International Space Station (ISS) protects critical components and astronauts from potentially catastrophic damage that might result from smaller, untracked debris and meteoroid impacts. The space shuttle, as it orbited Earth, and whether docked to the ISS or not, was optimally oriented to protect its fragile thermal protection and thermal radiation systems from MMOD damage. In addition, astronauts inspected its thermal protection system for MMOD damage before the shuttle reentered Earth s atmosphere; Orion, NASA s capsule to carry astronauts to low Earth orbit, includes designs to mitigate the threat of MMOD damage and provide increased safety to the crew. When a handful of reasonable assumptions are used in NASA s MMOD models, scenarios are uncovered that conclude that the current orbital debris environment has already reached a "tipping point." That is, the amount of debris - in terms of the population of large debris objects, as well as overall mass of debris in orbit - currently in orbit has reached a threshold where it will continually collide with itself, further increasing the population of orbital debris. This increase will lead to corresponding increases in spacecraft failures, which will only create more feedback into the system, increasing the debris population growth rate. The increase thus far has been most rapid in low Earth orbit (LEO), with geosynchronous Earth orbits (GEOs) potentially suffering the same fate, but over a much longer time period. The exact timing and pace of this exponential growth are uncertain, but the serious implications of such a scenario require careful attention because of the strategic importance of U.S. space operations. The Office of Science and Technology Policy and the Office of Management and Budget contracted with the National Research Council for a study to perform three tasks: review NASA s MMOD programs and efforts, recommend in which of those NASA should increase or decrease its effort or change focus, and determine whether NASA should pursue work in any new MMOD areas. The official letter requesting the study and the full statement of task for the Committee for the Assessment of NASA s Orbital Debris Programs are in Appendixes A and B, respectively.

Source record↗

DOE OSTI2017

Exploring the interplay of resilience and energy consumption for a task-based partial differential equations preconditioner

Here, we discuss algorithm-based resilience to silent data corruptions (SDCs) in a task-based domain-decomposition preconditioner for partial differential equations (PDEs). The algorithm exploits a reformulation of the PDE as a sampling problem, followed by a solution update through data manipulation that is resilient to SDCs. The implementation is based on a server-client model where all state information is held by the servers, while clients are designed solely as computational units. Scalability tests run up to ~51K cores show a parallel efficiency greater than 90%. We use a 2D elliptic PDE and a fault model based on random single and double bit-flip to demonstrate the resilience of the application to synthetically injected SDC. We discuss two fault scenarios: one based on the corruption of all data of a target task, and the other involving the corruption of a single data point. We show that for our application, given the test problem considered, a four-fold increase in the number of faults only yields a 2% change in the overhead to overcome their presence, from 7% to 9%. We then discuss potential savings in energy consumption via dynamic voltage/frequency scaling, and its interplay with fault-rates, and application overhead.

97 MATHEMATICS AND COMPUTING↗

NASA NTRS2005

Generic Kalman Filter Software

The Generic Kalman Filter (GKF) software provides a standard basis for the development of application-specific Kalman-filter programs. Historically, Kalman filters have been implemented by customized programs that must be written, coded, and debugged anew for each unique application, then tested and tuned with simulated or actual measurement data. Total development times for typical Kalman-filter application programs have ranged from months to weeks. The GKF software can simplify the development process and reduce the development time by eliminating the need to re-create the fundamental implementation of the Kalman filter for each new application. The GKF software is written in the ANSI C programming language. It contains a generic Kalman-filter-development directory that, in turn, contains a code for a generic Kalman filter function; more specifically, it contains a generically designed and generically coded implementation of linear, linearized, and extended Kalman filtering algorithms, including algorithms for state- and covariance-update and -propagation functions. The mathematical theory that underlies the algorithms is well known and has been reported extensively in the open technical literature. Also contained in the directory are a header file that defines generic Kalman-filter data structures and prototype functions and template versions of application-specific subfunction and calling navigation/estimation routine code and headers. Once the user has provided a calling routine and the required application-specific subfunctions, the application-specific Kalman-filter software can be compiled and executed immediately. During execution, the generic Kalman-filter function is called from a higher-level navigation or estimation routine that preprocesses measurement data and post-processes output data. The generic Kalman-filter function uses the aforementioned data structures and five implementation- specific subfunctions, which have been developed by the user on the basis of the aforementioned templates. The GKF software can be used to develop many different types of unfactorized Kalman filters. A developer can choose to implement either a linearized or an extended Kalman filter algorithm, without having to modify the GKF software. Control dynamics can be taken into account or neglected in the filter-dynamics model. Filter programs developed by use of the GKF software can be made to propagate equations of motion for linear or nonlinear dynamical systems that are deterministic or stochastic. In addition, filter programs can be made to operate in user-selectable "covariance analysis" and "propagation-only" modes that are useful in design and development stages.

Lisano, Michael E., II↗

DOE OSTI2016

Rolex: Resilience-oriented language extensions for extreme-scale systems

Future exascale high-performance computing (HPC) systems will be constructed from VLSI devices that will be less reliable than those used today, and faults will become the norm, not the exception. This will pose significant problems for system designers and programmers, who for half-a-century have enjoyed an execution model that assumed correct behavior by the underlying computing system. The mean time to failure (MTTF) of the system scales inversely to the number of components in the system and therefore faults and resultant system level failures will increase, as systems scale in terms of the number of processor cores and memory modules used. However every error detected need not cause catastrophic failure. Many HPC applications are inherently fault resilient. Yet it is the application programmers who have this knowledge but lack mechanisms to convey it to the system. In this paper, we present new Resilience Oriented Language Extensions (Rolex) which facilitate the incorporation of fault resilience as an intrinsic property of the application code. We describe the syntax and semantics of the language extensions as well as the implementation of the supporting compiler infrastructure and runtime system. Furthermore, our experiments show that an approach that leverages the programmer's insight to reason about the context and significance of faults to the application outcome significantly improves the probability that an application runs to a successful conclusion.

97 MATHEMATICS AND COMPUTING↗