Engineering Papers⌕ Search

SEARCH · Engineering Papers

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↗

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↗

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 ↗

OBSERVATIONS OF BINARY STARS WITH THE DIFFERENTIAL SPECKLE SURVEY INSTRUMENT. V. TOWARD AN EMPIRICAL METAL-POOR MASS–LUMINOSITY RELATION

In an effort to better understand the details of the stellar structure and evolution of metal-poor stars, the Gemini North telescope was used on two occasions to take speckle imaging data of a sample of known spectroscopic binary stars and other nearby stars in order to search for and resolve close companions. The observations were obtained using the Differential Speckle Survey Instrument, which takes data in two filters simultaneously. The results presented here are of 90 observations of 23 systems in which one or more companions was detected, and six stars where no companion was detected to the limit of the camera capabilities at Gemini. In the case of the binary and multiple stars, these results are then further analyzed to make first orbit determinations in five cases, and orbit refinements in four other cases. The mass information is derived, and since the systems span a range in metallicity, a study is presented that compares our results with the expected trend in total mass as derived from the most recent Yale isochrones as a function of metal abundance. These data suggest that metal-poor main-sequence stars are less massive at a given color than their solar-metallicity analogues in a manner consistent with that predicted from the theory.

79 ASTRONOMY AND ASTROPHYSICS↗

Implementation of an ultrasonic instrument for simultaneous mixture and flow analysis of binary gas systems

Precision ultrasonic measurements in binary gas systems provide continuous real-time monitoring of mixture composition and flow. Using custom micro-controller-based electronics, we have developed an ultrasonic instrument, with numerous potential applications, capable of making continuous high-precision sound velocity measurements. The instrument measures sound transit times along two opposite directions aligned parallel to - or obliquely crossing - the gas flow. The difference between the two measured times yields the gas flow rate while their average gives the sound velocity, which can be compared with a sound velocity vs. molar composition look-up table for the binary mixture at a given temperature and pressure. The look-up table may be generated from prior measurements in known mixtures of the two components, from theoretical calculations, or from a combination of the two. We describe the instrument and its performance within numerous applications in the ATLAS experiment at the CERN Large Hadron Collider (LHC). The instrument can be of interest in other areas where continuous in-situ binary gas analysis and flowmetry are required. (authors)

43 PARTICLE ACCELERATORS↗

Gravitational Waves from F-modes Excited by the Inspiral of Highly Eccentric Neutron Star Binaries

As gravitational wave instrumentation becomes more sensitive, it is interesting to speculate about subtle effects that could be analyzed using upcoming generations of detectors. One such effect that has great potential for revealing the properties of very dense matter is fluid oscillations of neutron stars. These have been found in numerical simulations of the hypermassive remnants of double neutron star mergers and of highly eccentric neutron star orbits. Here we focus on the latter and sketch out some ideas for the production, gravitational-wave detection, and analysis of neutron star oscillations. These events will be rare (perhaps up to several tens per year could be detected using third-generation detectors such as the Einstein Telescope or the Cosmic Explorer), but they would have unique diagnostic power for the analysis of cold, catalyzed, dense matter. Furthermore, these systems are unusual in that analysis of the tidally excited f-modes of the stars could yield simultaneous measurements of their masses, moments of inertia, and tidal Love numbers, using the frequency, damping time, and amplitude of the modes. They would thus present a nearly unique opportunity to test the I-Love-Q relation observationally. The analysis of such events will require significant further work in nuclear physics and general relativistic nonlinear mode coupling, and thus we discuss further directions that will need to be pursued. For example, we note that for nearly grazing encounters, numerical simulations show that the energy delivered to the f-modes may be up to two orders of magnitude greater than predicted in the linear theory.

79 ASTRONOMY AND ASTROPHYSICS↗

Observations with the Differential Speckle Survey Instrument. X. Preliminary Orbits of K-dwarf Binaries and Other Stars

This paper details speckle observations of binary stars taken at the Lowell Discovery Telescope, the WIYN telescope, and the Gemini telescopes between 2016 January and 2019 September. The observations taken at Gemini and Lowell were done with the Differential Speckle Survey Instrument (DSSI), and those done at WIYN were taken with the successor instrument to DSSI at that site, the NN-EXPLORE Exoplanet Star and Speckle Imager (NESSI). In total, we present 378 observations of 178 systems, and we show that the uncertainty in the measurement precision for the combined data set is ∼2 mas in separation, ∼1°–2° in position angle depending on the separation, and ∼0.1 mag in magnitude difference. Together with data already in the literature, these new results permit 25 visual orbits and one spectroscopic-visual orbit to be calculated for the first time. In the case of the spectroscopic-visual analysis, which is done on the ternary star HD 173093, we calculate masses with a precision of better than 1% for all three stars in that system. Twenty-one of the visual orbits calculated have a K dwarf as the primary star; we add these to the known orbits of K-dwarf primary stars and discuss the basic orbital properties of these stars at this stage. Although incomplete, the data that exist so far indicate that binaries with K-dwarf primaries tend not to have low-eccentricity orbits at separations of one to a few tens of astronomical units, that is, on solar system scales.

47 OTHER INSTRUMENTATION↗