Search NASA⌕ Search

SEARCH · Search NASA

Results for “binary instrumentation”

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.

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

At least 19 records

ARETE: Accurate Error Assessment via Machine Learning-Guided Dynamic-Timing Analysis

Nanometer circuits are increasingly prone to timing errors, escalating the need for fault injection frameworks to accurately evaluate their impact on applications. Here in this paper, we propose ARETE, a novel cross-layer, fault-injection framework that combines dynamic-binary instrumentation with machine learning-guided dynamic-timing analysis. ARETE enables accurate fault-injection into any application by estimating the location of the injecting errors via dynamic-timing analysis. To accelerate fault-injection, we develop a novel, data-aware, machine learning-based mechanism that dynamically pre-selects the error-prone instructions and limits the application of the costly dynamic-timing analysis only to them. To evaluate ARETE's accuracy, our fully automated toolflow is configured to support fault-injection based on detailed post-layout gate-level simulations as well as via existing workload-agnostic error models. Our results for various workloads, including an autonomous-driving library, show that the location and time of injected errors performed by ARETE, is 89.9% consistent with fault-injection based on full gate-level simulation. On average, ARETE executes 84.6x faster than gate-level simulation and at a cost of 3.4% loss in the program output quality estimation. When compared to the existing statistical fault-injection tools that are based on workload-agnostic error models, ARETE improves the accuracy of fault-injection rate and output quality estimation by 143.9% and 40.4% on average, respectively.

97 MATHEMATICS AND COMPUTING↗

BinFPE

BinFPE is a tool that detects floating-point exceptions (NaN, infinity, and subnormal quantities) in NVIDIA GPU applications using binary instrumentation. It requires no re-compilation of the application and can analyze libraries. The tool extends NVBit (https://github.com/NVlabs/NVBit), which is provided by NVIDIA Labs to analyze binaries. When the tool detects a floating-point exception it reports to the user the location of the exception (file and line number).

Laguna Peralta, Ignacio↗

PAPI software-defined events for in-depth performance analysis

The methodology and standardization layer provided by the Performance Application Programming Interface (PAPI) has played a vital role in application profiling for almost two decades. It has enabled sophisticated performance analysis tool designers and performance-conscious scientists to gain insights into their applications by simply instrumenting their code using a handful of PAPI functions that “just work” across different hardware components. In the past, PAPI development had focused primarily on hardware-specific performance metrics. However, the rapidly increasing complexity of software infrastructure poses new measurement and analysis challenges for the developers of large-scale applications. In particular, acquiring information regarding the behavior of libraries and runtimes—used by scientific applications—requires low-level binary instrumentation, or APIs specific to each library and runtime. No uniform API for monitoring events that originate from inside the software stack has emerged. In this article, we present our efforts to extend PAPI’s role so that it becomes the de facto standard for exposing performance-critical events, which we refer to as software-defined events (SDEs), from different software layers. Upgrading PAPI with SDEs enables monitoring of both types of performance events—hardware- and software-related events—in a uniform way, through the same consistent PAPI. The goal of this article is threefold. First, we motivate the need for SDEs and describe our design decisions regarding the functionality we offer through PAPI’s new SDE interface. Second, we illustrate how SDEs can be utilized by different software packages, specifically, by showcasing their use in the numerical linear algebra library MAGMA-Sparse, the tensor algebra library TAMM that is part of the NWChem suite, and the compiler-based performance analysis tool Byfl. Third, we provide a performance analysis of the overhead that results from monitoring SDEs and discuss the trade-offs between overhead and functionality.

Jagode, Heike↗

Practical considerations in using a binary pseudorandom array for instrument transfer function calibration

Binary pseudo-random array (BPRA) artifacts are useful devices for calibrating the instrument transfer function (ITF) of interferometric microscopes and other optical and non-optical surface and wavefront measurement instruments. The intrinsic white noise character of the power spectral density function of the artifact simplifies the deconvolution of the ITF from the measured power spectral density (PSD). However, resampling of the BPRA intrinsic artifact features with the measurement tool's specific sampling pattern modifies the white noise character of the intrinsic spectrum and needs to be accounted for in the ITF-based data deconvolution process. We have developed an analytic solution to the spectrum of a resampled one- and two- dimensional BPRA. The resultant nominal PSD function is a simple twoparameter cosine function with a period equal to the resampled pixel width. A transfer function model for interferometric microscopes that incorporates this function, along with an ITF that includes aliasing effects and variable numerical aperture (NA), wavelength, and obscuration factor, is used to fit to the BPRA PSDs measured by an interference microscope for a range of objective and zoom lens magnification combinations.

Takacs, PZ↗

GPU-FPX

GPU-FPX is a tool based on NVBit that detects and analyzes floating-point exceptions on NVIDIA GPUs through binary instrumentation. Its purpose is to detect and report the occurrences of floating-point exceptions during numerical computations, offering efficient location detections and exception flow. GPUFPX achieves exceptional performance, being 16x faster than comparable prior tools, such as BinFPE.

Laguna Peralta, Ignacio↗

MemLeap GPU Memory Profiler

MemLeap is a GPU Memory Profiler built atop Nvbit (NVidia Binary Instrumentation Tool) framework. It analyzes memory accesses to memory objects in GPU memory, including Unified Memory, to optimize memory usage and reveal performance bottlenecks.

Peng, Bo↗

Adversarial Binaries: AI-guided Instrumentation Methods for Malware Detection Evasion

Adversarial binaries are executable files that have been altered without loss of function by an AI agent in order to deceive malware detection systems. Progress in this emergent vein of research has been constrained by the complex and rigid structure of executable files. Although prior work has demonstrated that these binaries deceive a variety of malware classification models which rely on disparate feature sets, a consensus as to the best approach has not been reached, either in terms of the optimization algorithms or the instrumentation methods. Furthermore, although inconsistencies in the data sets, target classifiers, and functionality verification methods make head-to-head comparisons difficult, here we extract lessons learned and make recommendations for future research.

malware obfuscation↗

Observations of Binary Stars with the Differential Speckle Survey Instrument. IX. Observations of Known and Suspected Binaries, and a Partial Survey of Be Stars

We report 370 measures of 170 components of binary and multiple-star systems, obtained from speckle imaging observations made with the Differential Speckle Survey Instrument at Lowell Observatory’s Discovery Channel Telescope in 2015 through 2017. Of the systems studied, 147 are binary stars, 10 are seen as triple systems, and 1 quadruple system is measured. Seventy-six high-quality nondetections and 15 newly resolved components are presented in our observations. The uncertainty in relative astrometry appears to be similar to our previous work at Lowell, namely, linear measurement uncertainties of approximately 2 mas, and the relative photometry appears to be uncertain at the 0.1–0.15 mag level. Using these measures and those in the literature, we calculate six new visual orbits, including one for the Be star 66 Oph and two combined spectroscopic–visual orbits. The latter two orbits, which are for HD 22451 (YSC 127) and HD 185501 (YSC 135), yield individual masses of the components at the level of 2% or better, and independent distance measures that in one case agrees with the value found in the Gaia DR2 and in the other disagrees at the 2σ level. We find that HD 22451 consists of an F6V+F7V pair with orbital period of 2401.1 ± 3.2 days and masses of 1.342 ± 0.029 and 1.236±0.026 M{sub ⊙}. For HD 185501, both stars are G5 dwarfs that orbit one another with a period of 433.94 ± 0.15 days, and the masses are 0.898 ± 0.012 and 0.876±0.012 M{sub ⊙}. We discuss the details of both the new discoveries and the orbit objects.

79 ASTRONOMY AND ASTROPHYSICS↗

Topography restoration in white-light interferometry using an instrument transfer function evaluated with binary pseudo-random arrays

Accurate knowledge of the instrument transfer function (ITF) is vital for topography measurements using white-light interferometry (WLI). To this end, we derive a complete set of analytical expressions for the power spectral density (PSD) of a discretely sampled binary pseudo-random array (BPRA) as a theoretical benchmark. We then determine the ITF by comparing this theoretical PSD with the measured PSD of the BPRA. For the Zygo ZeGage Pro HR with a objective, the determined ITF closely matches the nominal modulation transfer function (MTF). Accordingly, we integrate the nominal MTF into Fourier-domain restoration filters and apply them to practical WLI topography data, yielding restored topographies that show improved agreement with atomic force microscopy measurements. Overall, our integrated BPRA-based ITF measurement and filtering methodology offers a robust yet practical means of characterizing WLI performance and enhancing the accuracy of surface measurements.

Hirose, Shigenobu [Japan Agency for Marine Earth S↗

OSO-8 observing schedule for X-ray binaries

Six different instruments on OSO-8 have observed several binary X-ray sources between energies of 0.13 keV and 1 MeV at various times since 21 June 1975. The schedule for these observations is given, as well as the present plan for such future observations through July 1976. Included is the OSO-8 observing schedule for the transient X-ray source A0620-00.

Thomas, R. J.↗

CLC: A cross-level program characterization method

Characterization of program execution plays a key role in performance improvement. There are numerous transformations applied to each step that a program takes on its lowering from source code to a compiler intermediate representation to machine language to microarchitecture-specific execution. The unpredictable benefit of each transformation step could lead a notionally superior algorithm to exhibit inferior performance once actually run, and it can be hard to discern which step in the transformation path contradicted the code developer’s assumptions. Conventional approaches to program-execution characterization consider the behavior after only a single one of those steps, which limits the information that can be provided to the user. To help address the issue of myopic views of program execution, this paper presents a novel cross-level characterization approach for understanding the behavior of program execution at different levels in the process of writing, compiling, and running a program. We show that this approach provides a richer view of the sources of performance gains and losses and helps identify program execution in a more accurate manner.

97 MATHEMATICS AND COMPUTING↗

Multimode Data-Compression System

Data-compression system developed to satisfy need for high-speed, high-performance compression of data from sources as diverse as medical images, high-definition television images, audio signals, readouts from scientific instruments, and binary data files. Maximum data-transmission capability of communication channel or storage capacity of storage device multiplied by approximately compression ratio. Various combinations of lossless and lossy compression chosen to suit various data streams.

Fang, Wai-Chi↗

Rapid helium-air analyzer can measure other binary gas mixtures

Instrument comprised of an ionization pressure gage and a diaphragm pressure gage consisting of strain gages to make a four-arm bridge, and a ratiometer is constructed for analyzing gas mixtures. The ratio of the outputs of the two gages is proportional to the mixture composition.

Melfi, L. T.↗

Enabling High-Contrast Imaging of Binary Stars With the Roman Space Telescope Coronagraph Instrument

A large fraction of Sun-like stars is contained in binary systems, in fact within 10 pc there are 67 FGK stars, out of which 42 belong to a multi-star system, and 28 have companion leak that is greater than 1e-9 contrast, assuming typical Hubble-quality space optics. Currently, those binary stars are not included in the Roman Space Telescope Coronagraph Instrument target list, but they could be observed if high-contrast imaging around binary star systems using Roman was possible. The Multi-Star Wavefront Control (MSWC) algorithm can be used to suppress companion star leakage. If the targets have angular separations larger than the Nyquist controllable region of the Deformable Mirror, MSWC must operate in its Super-Nyquist (SN) mode. This mode requires a target star replica within the SN region in order to provide the ability to null speckles at SN angular separations. For the case of Roman, more than half of the targets that can be observed using MSWC, including Alpha Centauri, have angular separations larger than the Nyquist controllable region of the 48x48 actuator Deformable Mirror (DM) to be used. In this paper, we describe how super-Nyquist MSWC can be implemented in Roman CGI adding a mild grating on a replica of the Wide-field Shaped Pupil mask, which would use a spare space in the Shaped Pupil Active Mechanism. We present the feasibility analysis, simulation results, and discuss the latest results on MSWC experiment from three different laboratories at NASA Ames, the Jet Propulsion Laboratory, and the Subaru telescope.

Prada, Camilo Mejia↗

Observations of Binary Stars with the Differential Speckle Survey Instrument. VIII. Measures of Metal-poor and Triple Stars from 2015 to 2018

We present 248 speckle observations of 43 binary and 19 trinary star systems chosen to make progress in two main areas of investigation: the fundamental properties of metal-poor stars and star formation mechanisms. The observations were taken at the Gemini North and South telescopes during the period 2015 July to 2018 April, mainly with the Differential Speckle Survey Instrument but also with a few early results from the new ’Alopeke speckle camera at Gemini North. We find that the astrometry and photometry of these observations as a whole are consistent with previous work at Gemini. We present five new visual orbits for systems important in understanding metal-poor stars, three of which have orbital periods of less than 4 yr, and we indicate the degree to which these and future observations can impact our knowledge of stellar properties and star formation. In particular, we find a decrease in mass at fixed spectral type for metal-poor stars versus their solar-metallicity analogs that is consistent with predictions that are made from current stellar models.

79 ASTRONOMY AND ASTROPHYSICS↗

The Binary Fraction of Stars in the Dwarf Galaxy Ursa Minor via Dark Energy Spectroscopic Instrument

We utilize multi-epoch line-of-sight velocity measurements from the Milky Way Survey of the Dark Energy Spectroscopic Instrument to estimate the binary fraction for member stars in the dwarf spheroidal galaxy Ursa Minor. Our dataset comprises 670 distinct member stars, with a total of more than 2,000 observations collected over approximately one year. We constrain the binary fraction for UMi to be $0.61^{+0.16}_{-0.20}$ and $0.69^{+0.19}_{-0.17}$, with the binary orbital parameter distributions based on solar neighborhood observation from Duquennoy & Mayor (1991) and Moe & Di Stefano (2017), respectively. Furthermore, by dividing our data into two subsamples at the median metallicity, we identify that the binary fraction for the metal-rich ([Fe/H]>-2.14) population is slightly higher than that of the metal-poor ([Fe/H]<-2.14) population. Based on the Moe & Di Stefano model, the best-constrained binary fractions for metal-rich and metal-poor populations in UMi are $0.86^{+0.14}_{-0.24}$ and $0.48^{+0.26}_{-0.19}$, respectively. After a thorough examination, we find that this offset cannot be attributed to sample selection effects. We also divide our data into two subsamples according to their projected radius to the center of UMi, and find that the more centrally concentrated population in a denser environment has a lower binary fraction of $0.33^{+0.30}_{-0.20}$, compared with $1.00^{+0.00}_{-0.32}$ for the subsample in more outskirts.

Qiu, Tian [Shanghai Jiao Tong Univ. (China); DESI ↗