SEARCH · Engineering Papers

Results for “Heterogeneity”

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 757 records · Page 42

All sources NASA NTRS DOE OSTI

NASA NTRS1997

Potential for Remotely Sensed Soil Moisture Data in Hydrologic Modeling

Many hydrologic processes display a unique signature that is detectable with microwave remote sensing. These signatures are in the form of the spatial and temporal distributions of surface soil moisture and portray the spatial heterogeneity of hydrologic processes and properties that one encounters in drainage basins. The hydrologic processes that may be detected include ground water recharge and discharge zones, storm runoff contributing areas, regions of potential and less than potential ET, and information about the hydrologic properties of soils and heterogeneity of hydrologic parameters. Microwave remote sensing has the potential to detect these signatures within a basin in the form of volumetric soil moisture measurements in the top few cm. These signatures should provide information on how and where to apply soil physical parameters in distributed and lumped parameter models and how to subdivide drainage basins into hydrologically similar sub-basins.

Engman, Edwin T.↗

NASA NTRS2000

Improving the Aircraft Design Process Using Web-Based Modeling and Simulation

Designing and developing new aircraft systems is time-consuming and expensive. Computational simulation is a promising means for reducing design cycle times, but requires a flexible software environment capable of integrating advanced multidisciplinary and multifidelity analysis methods, dynamically managing data across heterogeneous computing platforms, and distributing computationally complex tasks. Web-based simulation, with its emphasis on collaborative composition of simulation models, distributed heterogeneous execution, and dynamic multimedia documentation, has the potential to meet these requirements. This paper outlines the current aircraft design process, highlighting its problems and complexities, and presents our vision of an aircraft design process using Web-based modeling and simulation.

Reed, John A.↗

NASA NTRS2000

Information Power Grid: Distributed High-Performance Computing and Large-Scale Data Management for Science and Engineering

We use the term "Grid" to refer to distributed, high performance computing and data handling infrastructure that incorporates geographically and organizationally dispersed, heterogeneous resources that are persistent and supported. This infrastructure includes: (1) Tools for constructing collaborative, application oriented Problem Solving Environments / Frameworks (the primary user interfaces for Grids); (2) Programming environments, tools, and services providing various approaches for building applications that use aggregated computing and storage resources, and federated data sources; (3) Comprehensive and consistent set of location independent tools and services for accessing and managing dynamic collections of widely distributed resources: heterogeneous computing systems, storage systems, real-time data sources and instruments, human collaborators, and communications systems; (4) Operational infrastructure including management tools for distributed systems and distributed resources, user services, accounting and auditing, strong and location independent user authentication and authorization, and overall system security services The vision for NASA's Information Power Grid - a computing and data Grid - is that it will provide significant new capabilities to scientists and engineers by facilitating routine construction of information based problem solving environments / frameworks. Such Grids will knit together widely distributed computing, data, instrument, and human resources into just-in-time systems that can address complex and large-scale computing and data analysis problems. Examples of these problems include: (1) Coupled, multidisciplinary simulations too large for single systems (e.g., multi-component NPSS turbomachine simulation); (2) Use of widely distributed, federated data archives (e.g., simultaneous access to metrological, topological, aircraft performance, and flight path scheduling databases supporting a National Air Space Simulation systems}; (3) Coupling large-scale computing and data systems to scientific and engineering instruments (e.g., realtime interaction with experiments through real-time data analysis and interpretation presented to the experimentalist in ways that allow direct interaction with the experiment (instead of just with instrument control); (5) Highly interactive, augmented reality and virtual reality remote collaborations (e.g., Ames / Boeing Remote Help Desk providing field maintenance use of coupled video and NDI to a remote, on-line airframe structures expert who uses this data to index into detailed design databases, and returns 3D internal aircraft geometry to the field); (5) Single computational problems too large for any single system (e.g. the rotocraft reference calculation). Grids also have the potential to provide pools of resources that could be called on in extraordinary / rapid response situations (such as disaster response) because they can provide common interfaces and access mechanisms, standardized management, and uniform user authentication and authorization, for large collections of distributed resources (whether or not they normally function in concert). IPG development and deployment is addressing requirements obtained by analyzing a number of different application areas, in particular from the NASA Aero-Space Technology Enterprise. This analysis has focussed primarily on two types of users: the scientist / design engineer whose primary interest is problem solving (e.g. determining wing aerodynamic characteristics in many different operating environments), and whose primary interface to IPG will be through various sorts of problem solving frameworks. The second type of user is the tool designer: the computational scientists who convert physics and mathematics into code that can simulate the physical world. These are the two primary users of IPG, and they have rather different requirements. The results of the analysis of the needs of these two types of users provides a broad set of requirements that gives rise to a general set of required capabilities. The IPG project is intended to address all of these requirements. In some cases the required computing technology exists, and in some cases it must be researched and developed. The project is using available technology to provide a prototype set of capabilities in a persistent distributed computing testbed. Beyond this, there are required capabilities that are not immediately available, and whose development spans the range from near-term engineering development (one to two years) to much longer term R&D (three to six years). Additional information is contained in the original.

Johnston, William E.↗

NASA NTRS2000

The Cirrus Parcel Model Comparison Project

The cirrus Parcel Model Comparison Project involves the systematic comparison of current models of ice crystal nucleation and growth for specified, typical, cirrus cloud environments. In Phase 1 of the project reported here, simulated cirrus cloud microphysical properties are compared for situations of "warm" (-40 C) and "cold" (-60 C) cirrus subject to updrafts of 4, 20 and 100 centimeters per second, respectively. Five models are participating in the project. These models employ explicit microphysical schemes wherein the size distribution of each class of particles (aerosols and ice crystals) is resolved into bins. Simulations are made including both homogeneous and heterogeneous ice nucleation mechanisms. A single initial aerosol population of sulfuric acid particles is prescribed for all simulations. To isolate the treatment of the homogeneous freezing (of haze drops) nucleation process, the heterogeneous nucleation mechanism is disabled for a second parallel set of simulations. Qualitative agreement is found amongst the models for the homogeneous-nucleation-only simulations, e.g., the number density of nucleated ice crystals increases with the strength of the prescribed updraft. However, non-negligible quantitative differences are found. Systematic bias exists between results of a model based on a modified classical theory approach and models using an effective freezing temperature approach to the treatment of nucleation. Each approach is constrained by critical freezing data from laboratory studies. This information is necessary, but not sufficient, to construct consistent formulae for the two approaches. Large haze particles may deviate considerably from equilibrium size in moderate to strong updrafts (20-100 centimeters per second) at -60 C when the commonly invoked equilibrium assumption is lifted. The resulting difference in particle-size-dependent solution concentration of haze particles may significantly affect the ice nucleation rate during the initial nucleation interval. The uptake rate for water vapor excess by ice crystals is another key component regulating the total number of nucleated ice crystals. This rate, the product of ice number concentration and ice crystal diffusional growth rate, partially controls the peak nucleation rate achieved in an air parcel and the duration of the active nucleation time period.

Lin, Ruei-Fong↗

NASA NTRS2000

Polymer-Oxygen Compatibility Testing: Effect of Oxygen Aging on Ignition and Combustion Properties

The oxygen compatibility of six polymers used in oxygen service was evaluated after exposure for 48 hours to oxygen pressures ranging from 350 to 6200 kPa (50 to 900 psia), and temperatures ranging from 50 to 250 C (122 to 302 F). Three elastomers were tested: CR rubber (C873-70), FKM fluorocarbon rubber (Viton A), and MPQ silicone rubber (MIL-ZZ-765, Class 2); and three thermoplastics were tested: polyhexamethylene adipamide (Zytel 42), polytetrafluoroethylene (Teflon TFE), and polychlorotrifluoroethylene (Neoflon CTFE M400H). Post-aging changes in mass, dimensions, tensile strength, elongation at break, and durometer hardness were determined. Also, the compression set was determined for the three elastomers. Results show that the properties under investigation were more sensitive to oxygen pressure at low to moderate temperatures, and more sensitive to temperature at low to moderate oxygen pressures. Inspection of the results also suggested that both chain scissioning and cross-linking processes were operative, consistent with heterogeneous oxidation. Attempts are underway to verify conclusively the occurrence of heterogeneous oxidation using a simple modulus profiling technique. Finally, the effect of aging at 620 kpa (90 psia) and 121 C (250 F) on ignition and combustion resistance was determined. As expected, aged polymers were less ignitable and combustible (had higher AlTs and lower heats of combustion). Special attention was given to Neoflon CTFE. More specifically, the effect of process history (compression versus extrusion molding) and percent crystallinity (quick- versus slow-quenched) on the AIT, heat of combustion, and impact sensitivity of Neoflon CTFE was investigated. Results show the AIT, heat of combustion, and impact sensitivity to be essentially independent of Neoflon CTFE process history and structure.

Waller, Jess M.↗

NASA NTRS2000

BOREAS AFM-12 1-km AVHRR Seasonal Land Cover Classification

The Boreal Ecosystem-Atmosphere Study (BOREAS) Airborne Fluxes and Meteorology (AFM)-12 team's efforts focused on regional scale Surface Vegetation and Atmosphere (SVAT) modeling to improve parameterization of the heterogeneous BOREAS landscape for use in larger scale Global Circulation Models (GCMs). This regional land cover data set was developed as part of a multitemporal one-kilometer Advanced Very High Resolution Radiometer (AVHRR) land cover analysis approach that was used as the basis for regional land cover mapping, fire disturbance-regeneration, and multiresolution land cover scaling studies in the boreal forest ecosystem of central Canada. This land cover classification was derived by using regional field observations from ground and low-level aircraft transits to analyze spectral-temporal clusters that were derived from an unsupervised cluster analysis of monthly Normalized Difference Vegetation Index (NDVI) image composites (April-September 1992). This regional data set was developed for use by BOREAS investigators, especially those involved in simulation modeling, remote sensing algorithm development, and aircraft flux studies. Based on regional field data verification, this multitemporal one-kilometer AVHRR land cover mapping approach was effective in characterizing the biome-level land cover structure, embedded spatially heterogeneous landscape patterns, and other types of key land cover information of interest to BOREAS modelers.The land cover mosaics in this classification include: (1) wet conifer mosaic (low, medium, and high tree stand density), (2) mixed coniferous-deciduous forest (80% coniferous, codominant, and 80% deciduous), (3) recent visible bum, vegetation regeneration, or rock outcrops-bare ground-sparsely vegetated slow regeneration bum (four classes), (4) open water and grassland marshes, and (5) general agricultural land use/ grasslands (three classes). This land cover mapping approach did not detect small subpixel-scale landscape features such as fens, bogs, and small water bodies. Field observations and comparisons with Landsat Thematic Mapper (TM) suggest a minimum effective resolution of these land cover classes in the range of three to four kilometers, in part, because of the daily to monthly compositing process. In general, potential accuracy limitations are mitigated by the use of conservative parameterization rules such as aggregation of predominant land cover classes within minimum horizontal grid cell sizes of ten kilometers. The AFM-12 one-kilometer AVHRR seasonal land cover classification data are available from the Earth Observing System Data and Information System (EOSDIS) Oak Ridge National Laboratory (ORNL) Distributed Active Archive Center (DAAC). The data files are available on a CD-ROM (see document number 20010000884).

Steyaert, Lou↗

NASA NTRS2001

CFD Simulation of Liquid Rocket Engine Injectors

Detailed design issues associated with liquid rocket engine injectors and combustion chamber operation require CFD methodology which simulates highly three-dimensional, turbulent, vaporizing, and combusting flows. The primary utility of such simulations involves predicting multi-dimensional effects caused by specific injector configurations. SECA, Inc. and Engineering Sciences, Inc. have been developing appropriate computational methodology for NASA/MSFC for the past decade. CFD tools and computers have improved dramatically during this time period; however, the physical submodels used in these analyses must still remain relatively simple in order to produce useful results. Simulations of clustered coaxial and impinger injector elements for hydrogen and hydrocarbon fuels, which account for real fluid properties, is the immediate goal of this research. The spray combustion codes are based on the FDNS CFD code' and are structured to represent homogeneous and heterogeneous spray combustion. The homogeneous spray model treats the flow as a continuum of multi-phase, multicomponent fluids which move without thermal or velocity lags between the phases. Two heterogeneous models were developed: (1) a volume-of-fluid (VOF) model which represents the liquid core of coaxial or impinger jets and their atomization and vaporization, and (2) a Blob model which represents the injected streams as a cloud of droplets the size of the injector orifice which subsequently exhibit particle interaction, vaporization, and combustion. All of these spray models are computationally intensive, but this is unavoidable to accurately account for the complex physics and combustion which is to be predicted, Work is currently in progress to parallelize these codes to improve their computational efficiency. These spray combustion codes were used to simulate the three test cases which are the subject of the 2nd International Workshop on-Rocket Combustion Modeling. Such test cases are considered by these investigators to be very valuable for code validation because combustion kinetics, turbulence models and atomization models based on low pressure experiments of hydrogen air combustion do not adequately verify analytical or CFD submodels which are necessary to simulate rocket engine combustion. We wish to emphasize that the simulations which we prepared for this meeting are meant to test the accuracy of the approximations used in our general purpose spray combustion models, rather than represent a definitive analysis of each of the experiments which were conducted. Our goal is to accurately predict local temperatures and mixture ratios in rocket engines; hence predicting individual experiments is used only for code validation. To replace the conventional JANNAF standard axisymmetric finite-rate (TDK) computer code 2 for performance prediction with CFD cases, such codes must posses two features. Firstly, they must be as easy to use and of comparable run times for conventional performance predictions. Secondly, they must provide more detailed predictions of the flowfields near the injector face. Specifically, they must accurately predict the convective mixing of injected liquid propellants in terms of the injector element configurations.

Farmer, Richard↗

NASA NTRS2000

Are Fibre Channel SANs a Commodity?

The goal of this work is to evaluate the feasibility of putting together a Fibre Channel Storage Area Network with heterogeneous hardware running both open-source and commercial operating systems. Adherence to the Fibre Channel Specification is supposed to guarantee interoperability in such an environment. We also want to evaluate how difficult it might be to put together a SAN using open-source components. While all the commercial vendors provide Fibre Channel support, this comes at a cost, e.g., not only O/S and drivers, but usually an expensive support contract. The open-source model could lower the cost of building and maintaining a SAN. Of course, for this to be the case, the open-source platforms would have to provide the functionality to construct a SAN. We are assembling a Fibre Channel SAN from heterogeneous hardware (i386, alpha, sparc) running *BSD, Linux, Tru64, NT and Solaris operating systems. We are running several tests to investigate the level of Fibre Channel support provided by each OS. Our current testbed is specified in the table below. Currently, it only contains open-source platforms. We plan to add a PC running OpenBSD, as well as the following commercial systems: Sun Ultra 1/Solaris, DEC AlphaServer 4000/Tru64 Unix, Pentium Pro PC/Windows NT.

Becker, Jeff↗

NASA NTRS1999

The Effect of Climate Change on Ozone Depletion through Changes in Stratospheric Water Vapour

Several studies have predicted substantial increases in Arctic ozone depletion due to the stratospheric cooling induced by increasing atmospheric CO2 concentrations. But climate change may additionally influence Arctic ozone depletion through changes in the water vapor cycle. Here we investigate this possibility by combining predictions of tropical tropopause temperatures from a general circulation model with results from a one-dimensional radiative convective model, recent progress in understanding the stratospheric water vapor budget, modelling of heterogeneous reaction rates and the results of a general circulation model on the radiative effect of increased water vapor. Whereas most of the stratosphere will cool as greenhouse-gas concentrations increase, the tropical tropopause may become warmer, resulting in an increase of the mean saturation mixing ratio of water vapor and hence an increased transport of water vapor from the troposphere to the stratosphere. Stratospheric water vapor concentration in the polar regions determines both the critical temperature below which heterogeneous reactions on cold aerosols become important (the mechanism driving enhanced ozone depletion) and the temperature of the Arctic vortex itself. Our results indicate that ozone loss in the later winter and spring Arctic vortex depends critically on water vapor variations which are forced by sea surface temperature changes in the tropics. This potentially important effect has not been taken into account in previous scenarios of Arctic ozone loss under climate change conditions.

Kirk-Davidoff, Daniel B.↗

NASA NTRS2001

Effects of Gas-Phase Radiation and Detailed Kinetics on the Burning and Extinction of a Solid Fuel

This is the first attempt to analyze both radiation and detailed kinetics on the burning and extinction of a solid fuel in a stagnation-point diffusion flame. We present a detailed and comparatively accurate computational model of a solid fuel flame along with a quantitative study of the kinetics mechanism, radiation interactions, and the extinction limits of the flame. A detailed kinetics model for the burning of solid trioxane (a trimer of formaldehyde) is coupled with a narrowband radiation model, with carbon dioxide, carbon monoxide, and water vapor as the gas-phase participating media. The solution of the solid trioxane diffusion flame over the flammable regime is presented in some detail, as this is the first solution of a heterogeneous trioxane flame. We identify high-temperature and low-temperature reaction paths for the heterogeneous trioxane flame. We then compare the adiabatic solution to solutions that include Surface radiation only and gas-phase and surface radiation using a black surface model. The analysis includes discussion of detailed flame chemistry over the flammable regime and, in particular, at the low stretch extinction limit. We emphasize the low stretch regime of the radiatively participating flame, since this is the region representative of microgravity flames. When only surface radiation is included, two extinction limits exist (the blow-off limit, and the low stretch radiative limit), and the burning rate and maximum flame temperatures are lower, as expected. With the inclusion of surface and gas-phase radiation, results show that, while flame temperatures are lower, the burning rate of the trioxane diffusion flame may actually increase at low stretch rate due to radiative feedback from the flame to the surface.

Rhatigan, Jennifer L.↗

NASA NTRS1999

Nitrogen Species in the Post-Pinatubo Stratosphere: Model Analysis Utilizing UARS Measurements

We present an analysis of the impact of heterogeneous chemistry on the partitioning of nitrogen species measured by the Upper Atmosphere Research Satellite (UARS) instruments. The UARS measurements utilized include N2O, HNO3, and ClONO2 from the cryogenic limb array etalon spectrometer (CLAES), version 7 (v.7), and temperature, methane, ozone, H2O, HCl, NO and NO2 from the halogen occultation experiment (HALOE), version 18. The analysis is carried out for the UARS data obtained between January 1992 and September 1994 in the 100-to 1-mbar (approx. 17-47 km) altitude range and over 10 degrees latitude bins from 70 S to 70 N. The spatiotemporal evolution of aerosol surface area density (SAD) is adopted from analysis of the Stratospheric Aerosol and Gas Experiment (SAGE) II data. A diurnal steady state photochemical box model, constrained by the temperature, ozone, H2O, CH4, aerosol SAD, and columns of O2 and O3 above the point of interest, has been used as the main tool to analyze these data. Total inorganic nitrogen (NOy) is obtained by three different methods: (1) as a sum of the UARS-measured NO, NO2, HNO3, and ClONO2; (2) from the N2O-NOy correlation, and (3) from the CH4-NOy correlation. To validate our current understanding of stratospheric heterogeneous chemistry for post-Pinatubo conditions, the model-calculated monthly averaged NOx/NOy ratios and the NO, NO2, and HNO3 profiles are compared with the UARS-derived data. In general, the UARS-constrained box model captures the main features of nitrogen species partitioning in the post-Pinatubo years, such as recovery of NOx after the eruption, their seasonal variability and vertical profiles. However, the model underestimates the NO2 content, particularly in the 30- to 7-mbar (approx.23-32 km) range. Comparisons of the calculated temporal behavior of the partial columns of NO2 and HNO3 and ground-based measurements at 45 S and 45 N are also presented. Our analysis indicates that ground-based and HALOE v.18 measurements of the NO2 vertical columns are consistent within the range of their uncertainties and are systematically higher (up to 50%) than the model results at midlatitudes in both hemispheres. Reasonable agreement is obtained for HNO3 columns at 45 S, suggesting some problems with nitrogen species partitioning in the model. Outstanding uncertainties are discussed.

Danilin, Michael Y.↗

NASA NTRS2001

XML-Based Visual Specification of Multidisciplinary Applications

The advancements in the Internet and Web technologies have fueled a growing interest in developing a web-based distributed computing environment. We have designed and developed Arcade, a web-based environment for designing, executing, monitoring, and controlling distributed heterogeneous applications, which is easy to use and access, portable, and provides support through all phases of the application development and execution. A major focus of the environment is the specification of heterogeneous, multidisciplinary applications. In this paper we focus on the visual and script-based specification interface of Arcade. The web/browser-based visual interface is designed to be intuitive to use and can also be used for visual monitoring during execution. The script specification is based on XML to: (1) make it portable across different frameworks, and (2) make the development of our tools easier by using the existing freely available XML parsers and editors. There is a one-to-one correspondence between the visual and script-based interfaces allowing users to go back and forth between the two. To support this we have developed translators that translate a script-based specification to a visual-based specification, and vice-versa. These translators are integrated with our tools and are transparent to users.

Al-Theneyan, Ahmed↗

NASA NTRS1994

CFD Optimization on Network-Based Parallel Computer System

Combining multiple engineering workstations into a network-based heterogeneous parallel computer allows application of aerodynamic optimization with advance computational fluid dynamics codes, which is computationally expensive in mainframe supercomputer. This paper introduces a nonlinear quasi-Newton optimizer designed for this network-based heterogeneous parallel computer on a software called Parallel Virtual Machine. This paper will introduce the methodology behind coupling a Parabolized Navier-Stokes flow solver to the nonlinear optimizer. This parallel optimization package has been applied to reduce the wave drag of a body of revolution and a wing/body configuration with results of 5% to 6% drag reduction.

Cheung, Samson H.↗

NASA NTRS1994

CFD Optimization on Network-Based Parallel Computer System

Cheung, Samson H.↗

NASA NTRS2001

Band-gap Engineering in Sputter Deposited Amorphous/Microcrystalline Sc(x)Ga(1-x)N

Reactive sputtering was used to grow thin films of Sc(x)Ga(1-x)N with scandium concentrations of 20%-70% on quartz substrates at temperatures of 300-675 K. X-ray diffraction (XRD) of the films showed either weak or no structure, suggesting the films are amorphous or microcrystalline. Optical absorption spectra were taken of each sample and the optical band gap was determined. The band gap varied linearly with increasing Ga concentration between 2.0 and 3.5 eV. Ellipsometry was used to confirm the band gap measurements and provide optical constants in the range 250-1200 nm. ScN and GaN have different crystal structures (rocksalt and wurzite, respectively), and thus may form a heterogeneous mixture as opposed to an alloy. Since the XRD data were inconclusive, bilayers of ScN/GaN were grown and optical absorption spectra taken. A fundamental difference in the spectra between the bilayer films and alloy films was seen, suggesting the films are alloys, not heterogeneous mixtures.

Little, Mark E.↗

NASA NTRS2001

Investigating Type I Polar Stratospheric Cloud Formation Mechanisms with POAM Satellite Observations

Type Ia PSCs are believed to be composed of nitric acid hydrate particles. Recent results from the SOLVE/THESEO 2000 campaign showed evidence that this type of PSC was composed of a small number of very large particles capable of sedimentary denitrification of regions of the stratosphere. It is unknown whether homogeneous or heterogeneous nucleation is responsible for the formation of these PSCs. Arctic winters are tending to be colder in response to global tropospheric warming. The degree to which this influences ozone depletion will depend on the freezing mechanism of nitric acid hydrate particles. If nucleation is homogeneous it implies that the freezing process is an inherent property of the particle, while heterogeneous freezing means that the extent of PSCs will depend in part on the number of nuclei available. The Polar Ozone and Aerosol Measurement (POAM)II and III satellites have been making observations of stratospheric aerosols and Polar Stratospheric Clouds (PSCs) since 1994. Recently, we have developed a technique that can discriminate between Type Ia and Ib PSCs using these observations. A statistical approach is employed to demonstrate the robustness of this approach and results are compared with lidar measurements. The technique is used to analyze observations from POAM II and II during Northern Hemisphere winters where significant PSC formation occurred with the objective of exploring Type I PSC formation mechanisms. The different PSCs identified using this method exhibit different growth curve as expressed as extinction versus temperature.

Strawa, Anthony W.↗

NASA NTRS1997

Cooperative Data Sharing: Simple Support for Clusters of SMP Nodes

Libraries like PVM and MPI send typed messages to allow for heterogeneous cluster computing. Lower-level libraries, such as GAM, provide more efficient access to communication by removing the need to copy messages between the interface and user space in some cases. still lower-level interfaces, such as UNET, get right down to the hardware level to provide maximum performance. However, these are all still interfaces for passing messages from one process to another, and have limited utility in a shared-memory environment, due primarily to the fact that message passing is just another term for copying. This drawback is made more pertinent by today's hybrid architectures (e.g. clusters of SMPs), where it is difficult to know beforehand whether two communicating processes will share memory. As a result, even portable language tools (like HPF compilers) must either map all interprocess communication, into message passing with the accompanying performance degradation in shared memory environments, or they must check each communication at run-time and implement the shared-memory case separately for efficiency. Cooperative Data Sharing (CDS) is a single user-level API which abstracts all communication between processes into the sharing and access coordination of memory regions, in a model which might be described as "distributed shared messages" or "large-grain distributed shared memory". As a result, the user programs to a simple latency-tolerant abstract communication specification which can be mapped efficiently to either a shared-memory or message-passing based run-time system, depending upon the available architecture. Unlike some distributed shared memory interfaces, the user still has complete control over the assignment of data to processors, the forwarding of data to its next likely destination, and the queuing of data until it is needed, so even the relatively high latency present in clusters can be accomodated. CDS does not require special use of an MMU, which can add overhead to some DSM systems, and does not require an SPMD programming model. unlike some message-passing interfaces, CDS allows the user to implement efficient demand-driven applications where processes must "fight" over data, and does not perform copying if processes share memory and do not attempt concurrent writes. CDS also supports heterogeneous computing, dynamic process creation, handlers, and a very simple thread-arbitration mechanism. Additional support for array subsections is currently being considered. The CDS1 API, which forms the kernel of CDS, is built primarily upon only 2 communication primitives, one process initiation primitive, and some data translation (and marshalling) routines, memory allocation routines, and priority control routines. The entire current collection of 28 routines provides enough functionality to implement most (or all) of MPI 1 and 2, which has a much larger interface consisting of hundreds of routines. still, the API is small enough to consider integrating into standard os interfaces for handling inter-process communication in a network-independent way. This approach would also help to solve many of the problems plaguing other higher-level standards such as MPI and PVM which must, in some cases, "play OS" to adequately address progress and process control issues. The CDS2 API, a higher level of interface roughly equivalent in functionality to MPI and to be built entirely upon CDS1, is still being designed. It is intended to add support for the equivalent of communicators, reduction and other collective operations, process topologies, additional support for process creation, and some automatic memory management. CDS2 will not exactly match MPI, because the copy-free semantics of communication from CDS1 will be supported. CDS2 application programs will be free to carefully also use CDS1. CDS1 has been implemented on networks of workstations running unmodified Unix-based operating systems, using UDP/IP and vendor-supplied high- performance locks. Although its inter-node performance is currently unimpressive due to rudimentary implementation technique, it even now outperforms highly-optimized MPI implementation on intra-node communication due to its support for non-copy communication. The similarity of the CDS1 architecture to that of other projects such as UNET and TRAP suggests that the inter-node performance can be increased significantly to surpass MPI or PVM, and it may be possible to migrate some of its functionality to communication controllers.

DiNucci, David C.↗

NASA NTRS2002

A Logical Process Calculus

This paper presents the Logical Process Calculus (LPC), a formalism that supports heterogeneous system specifications containing both operational and declarative subspecifications. Syntactically, LPC extends Milner's Calculus of Communicating Systems with operators from the alternation-free linear-time mu-calculus (LT(mu)). Semantically, LPC is equipped with a behavioral preorder that generalizes Hennessy's and DeNicola's must-testing preorder as well as LT(mu's) satisfaction relation, while being compositional for all LPC operators. From a technical point of view, the new calculus is distinguished by the inclusion of: (1) both minimal and maximal fixed-point operators and (2) an unimple-mentability predicate on process terms, which tags inconsistent specifications. The utility of LPC is demonstrated by means of an example highlighting the benefits of heterogeneous system specification.

Cleaveland, Rance↗