Aaron Patterson | arXiv Science

arXiv2026

Support Local Variables

Ruby is a dynamically typed and object-oriented programming language. Its primary implementation, CRuby, contains a bytecode virtual machine and a mature lazy basic block versioning (LBBV) just-in-time (JIT) compiler called YJIT. In order to both implement more advanced optimizations than YJIT supports and also encourage more outside contributions, we present a new method-based JIT called ZJIT. Like YJIT, ZJIT compiles from bytecode to machine code. Unlike YJIT, ZJIT has multiple global and local optimization passes. ZJIT's high-level intermediate representation is in static single assignment (SSA) form. In order to optimize Ruby's local variables, ZJIT lifts local variables into SSA values. This is a departure from how other Ruby compilers handle locals: other JIT compilers either leave local variables as memory loads and stores or do advanced partial evaluation to recover SSA values from memory. While implementing locals, we (re-)discovered what features make local variables in Ruby especially challenging to compile correctly and efficiently. We demonstrate these features and illustrate how we solved these problems in ZJIT.

cs.PL↗

arXiv2007

Toward the zero surface tension limit: The granular fingering instability

The finger-like branching pattern that occurs when a less viscous fluid displaces a more viscous one confined between two parallel plates has been widely studied as a classical example of a mathematically-tractable hydrodynamic instability since the time of Saffman and Taylor. Fingering in such Hele-Shaw geometries have been generated not only with Newtonian fluids but also with various non-Newtonian fluids including fine granular material displaced by gas, liquid, or large grains. Here we study a granular Hele-Shaw system to explore whether the absence of cohesive forces in dry granular material can produce an ideal venue for studying the hitherto-unrealizable singular hydrodynamics predicted in the zero-surface-tension limit. We demonstrate that the grain-gas interface does indeed exhibit fractal structure and sharp cusps associated with finite-time singularities. Above the yield stress, the scaling for the finger width is distinct from that for ordinary fluids, reflecting unique granular properties such as friction-induced dissipation as opposed to viscous damping. Despite such differences, the dimension of the global fractal structure and the shape of the singular cusps on the interface agree with the theories based on simple Laplacian growth of conventional fluid fingering in the zero-surface-tension limit. Our study provides new insights not only on the dynamics of two-phase dense granular flows and granular pattern formation, but also on the fluid dynamics in the zero-surface-tension limit.

cond-mat.soft↗