Searcharxiv⌕ Search

arXiv subjects

Bing Xie

Publications and source records attributed to Bing Xie.

42 records · Page 3Linked to original sources

RLScheduler: An Automated HPC Batch Job Scheduler Using Reinforcement Learning

Today high-performance computing (HPC) platforms are still dominated by batch jobs. Accordingly, effective batch job scheduling is crucial to obtain high system efficiency. Existing HPC batch job schedulers typically leverage heuristic priority functions to prioritize and schedule jobs. But, once configured and deployed by the experts, such priority functions can hardly adapt to the changes of job loads, optimization goals, or system settings, potentially leading to degraded system efficiency when changes occur. To address this fundamental issue, we present RLScheduler, an automated HPC batch job scheduler built on reinforcement learning. RLScheduler relies on minimal manual interventions or expert knowledge, but can learn high-quality scheduling policies via its own continuous 'trial and error'. We introduce a new kernel-based neural network structure and trajectory filtering mechanism in RLScheduler to improve and stabilize the learning process. Through extensive evaluations, we confirm that RLScheduler can learn high-quality scheduling policies towards various workloads and various optimization goals with relatively low computation cost. Moreover, we show that the learned models perform stably even when applied to unseen workloads, making them practical for production use.

cs.DC↗

From API to NLI: A New Interface for Library Reuse

Developers frequently reuse APIs from existing libraries to implement certain functionality. However, learning APIs is difficult due to their large scale and complexity. In this paper, we design an abstract framework NLI2Code to ease the reuse process. Under the framework, users can reuse library functionalities with a high-level, automatically-generated NLI (Natural Language Interface) instead of the detailed API elements. The framework consists of three components: a functional feature extractor to summarize the frequently-used library functions in natural language form, a code pattern miner to give a code template for each functional feature, and a synthesizer to complete code patterns into well-typed snippets. From the perspective of a user, a reuse task under NLI2Code starts from choosing a functional feature and our framework will guide the user to synthesize the desired solution. We instantiated the framework as a tool to reuse Java libraries. The evaluation shows our tool can generate a high-quality natural language interface and save half of the coding time for newcomers to solve real-world programming tasks.

cs.SE↗

On the Polarization of Ligands by Proteins

Although ligand-binding sites in many proteins contain a high number density of charged side chains that can polarize small organic molecules and influence binding, the magnitude of this effect has not been studied in many systems. Here, we use a quantum mechanics/molecular mechanics (QM/MM) approach in which the ligand is the QM region to compute the ligand polarization energy of 286 protein-ligand complexes from the PDBBind Core Set (release 2016). We observe that the ligand polarization energy is linearly correlated with the magnitude of the electric field acting on the ligand, the magnitude of the induced dipole moment, and the classical polarization energy. The influence of protein and cation charges on the ligand polarization diminishes with the distance and is below 2 kcal/mol at 9 $\unicode{x212B}$ and 1 kcal/mol at 12 $\unicode{x212B}$. Considering both polarization and solvation appears essential to computing negative binding energies in some crystallographic complexes. Solvation, but not polarization, is essential for achieving moderate correlation with experimental binding free energies.

physics.chem-ph↗

Reducibility for wave equations of finitely smooth potential with periodic boundary conditions

In the present paper, the reducibility is derived for the wave equations with finitely smooth and time-quasi-periodic potential subjects to periodic boundary conditions. More exactly, the linear wave equation $u_{tt}-u_{xx}+Mu+\varepsilon (V_0(ωt)u_{xx}+V(ωt, x)u)=0,\;x\in \mathbb{R}/2π\mathbb{Z}$ can be reduced to a linear Hamiltonian system of a constant coefficient operator which is of pure imaginary point spectrum set, where $V$ is finitely smooth in $(t, x)$, quasi-periodic in time $t$ with Diophantine frequency $ω\in \mathbb{R}^{n},$ and $V_0$ is finitely smooth and quasi-periodic in time $t$ with Diophantine frequency $ω\in \mathbb{R}^{n},$ Moreover, it is proved that the corresponding wave operator possesses the property of pure point spectra and zero Lyapunov exponent.

math.DS↗

MFDL: A Multicarrier Fresnel Penetration Model based Device-Free Localization System leveraging Commodity Wi-Fi Cards

Device-free localization plays an important role in many ubiquitous applications. Among the different technologies proposed, Wi-Fi based technology using commercial devices has attracted much attention due to its low cost, ease of deployment, and high potential for accurate localization. Existing solutions use either fingerprints that require labor-intensive radio-map survey and updates, or models constructed from empirical studies with dense deployment of Wi-Fi transceivers. In this work, we explore the Fresnel Zone Theory in physics and propose a generic Fresnel Penetration Model (FPM), which reveals the linear relationship between specific Fresnel zones and multicarrier Fresnel phase difference, along with the Fresnel phase offset caused by static multipath environments. We validate FPM in both outdoor and complex indoor environments. Furthermore, we design a multicarrier FPM based device-free localization system (MFDL), which overcomes a number of practical challenges, particularly the Fresnel phase difference estimation and phase offset calibration in multipath-rich indoor environments. Extensive experimental results show that compared with the state-of-the-art work (LiFS), our MFDL system achieves better localization accuracy with much fewer number of Wi-Fi transceivers. Specifically, using only three transceivers, the median localization error of MFDL is as low as 45$cm$ in an outdoor environment of 36$m^2$, and 55$cm$ in indoor settings of 25$m^2$. Increasing the number of transceivers to four allows us to achieve 75$cm$ median localization error in a 72$m^2$ indoor area, compared with the 1.1$m$ median localization error achieved by LiFS using 11 transceivers in a 70$m^2$ area.

cs.NI↗

Certificate Linking and Caching for Logical Trust

SAFE is a data-centric platform for building multi-domain networked systems, i.e., systems whose participants are controlled by different principals. Participants make trust decisions by issuing local queries over logic content exchanged in certificates. The contribution of SAFE is to address a key barrier to practical use of logical trust: the problem of identifying, gathering, and assembling the certificates that are relevant to each trust decision. SAFE uses a simple linking abstraction to organize and share certificates according to scripted primitives that implement the application's trust kernel and isolate it from logic concerns. We show that trust scripting with logical data exchange yields compact trust cores for example applications: federated naming, nested groups and roles, secure IP prefix delegation and routing, attestation-based access control, and a federated infrastructure-as-a-service system. Linking allows granular control over dynamic logic content based on dependency relationships, enabling a logic server to make secure inferences at high throughput.

cs.CR↗