Repository navigation

Speedup: method JIT, calls, blocks, exceptions and library fast paths - #22

Open

Largo wants to merge 130 commits into

masterfrom

speedup

Open

Speedup: method JIT, calls, blocks, exceptions and library fast paths#22
Largo wants to merge 130 commits into
masterfrom
speedup

Commits on Oct 11, 2026
- RubyGems: prepend the no-extension-build hook lazily, keep the installer stack out of boot
  
  Largo
  and
  claude
  committed
  f868dc5
- Struct#initialize in C# for the common call; no lock to find an Integer's class
  
  Largo
  and
  claude
  committed
  1efe273
- OSR: instance variable reads in outlined loops, typed as numeric operands
  
  Largo
  and
  claude
  committed
  84d4047
- WIP: spinning fiber mailbox, cheap Fiber.current, fiber-free Enumerator#next over Array
  
  Largo
  and
  claude
  committed
  c463a51
- Bind keyword parameters with direct runtime calls
  
  Largo
  and
  claude
  committed
  8db03bc
- Precompiled dispatch for bare-identifier calls; cheaper dispatcher guard and body constants
  
  Largo
  and
  claude
  committed
  3cac183
- Cache the GlobalVariable object per global variable reference
  
  Largo
  and
  claude
  committed
  5785ffe
- WIP: per-site storages for send/__send__/public_send and respond_to?
  
  Largo
  and
  claude
  committed
  b334b18
Commits on Oct 12, 2026
- Merge sp/startup-rubygems: keep the RubyGems installer stack out of boot
  
  Largo
  and
  claude
  committed
  2ae562d
- Merge sp/method-dispatch: precompiled dispatch for bare-identifier calls, cheaper dispatcher guard
  
  Largo
  and
  claude
  committed
  cb00313
- Skip the CLR stack walk for const_set locations while ruby4.rb boots
  
  Largo
  and
  claude
  committed
  c635c49
- Blocks: call the compiled block directly, skip arity work for plain blocks
  
  Largo
  and
  claude
  committed
  bd5ef97
- LightCompiler call-instruction cache hit; cheaper spans and args in the bridge
  
  Largo
  and
  claude
  committed
  14be903
- Look keyword arguments up by identity; build literal keyword hashes directly
  
  Largo
  and
  claude
  committed
  09001d8
- Give send/__send__/public_send and respond_to? per-site storages
  
  Largo
  and
  claude
  committed
  8df63f0
- Merge sp/ivars-attr: Struct#initialize in C#, lock-free instance-data lookup, OSR ivar reads
  
  Largo
  and
  claude
  committed
  ed7d51b
- Merge sp/gvar-const: cache the GlobalVariable object per global variable reference
  
  Largo
  and
  claude
  committed
  79b6de9
- Merge sp/blocks-yield: call the compiled block directly, skip arity work for plain blocks
  
  Largo
  and
  claude
  committed
  33a9d2b
- Merge sp/compile-pipeline: LightCompiler call-instruction cache, cheaper spans and args in the bridge
  
  Largo
  and
  claude
  committed
  2d39cbb
- Merge sp/respond-send-mm: per-site storages for send/__send__/public_send and respond_to?
  
  Largo
  and
  claude
  committed
  fc23939
- Merge sp/startup-prelude: skip the CLR stack walk for const_set locations while ruby4.rb boots
  
  Largo
  and
  claude
  committed
  488a16f
- Format raised exceptions' backtraces lazily; skip the prelude's set_backtrace
  
  Largo
  and
  claude
  committed
  12c2c7f
- WIP: map method bodies lazily, on first call
  
  Largo
  and
  claude
  committed
  c795799
- WIP: bind respond_to?(:literal) to a constant and send(:literal) as a direct call
  
  Largo
  and
  claude
  committed
  a3319f9
- WIP: prelude: alias keyword for alias_method, no guards on fresh Errno classes
  
  Largo
  and
  claude
  committed
  4852971
- WIP: prelude: set the Encoding constants from a recorded table
  
  Largo
  and
  claude
  committed
  8c4df44
- WIP: point dispatchers at the compiled method body; keep line tracing out of line
  
  Largo
  and
  claude
  committed
  6852c9a
- Share call-site rules across receiver classes that resolve to the same method
  
  Largo
  and
  claude
  committed
  b452d06
- Fiber: spinning C# mailbox, cheap Fiber.current; Enumerator#next over an Array without a fiber
  
  Largo
  and
  claude
  committed
  1e9f217
- Gate the keyword-argument binding speedups (8db03bcd, 09001d8e)
  
  Largo
  and
  claude
  committed
  069d5d0
- Precompile keyword calls to methods that take keywords
  
  Largo
  and
  claude
  committed
  ec97886
- Take apart the general keyword lowering's splat with direct runtime calls
  
  Largo
  and
  claude
  committed
  0e70f13
- Build the empty default keyword hash without an item array
  
  Largo
  and
  claude
  committed
  f91fe29
- Blocks: no RubyBlockScope for a body that never uses it
  
  Largo
  and
  claude
  committed
  a902e24
- Merge sp/exceptions: format raised exceptions' backtraces lazily
  
  Largo
  and
  claude
  committed
  b9184c2
- Merge sp/fiber: spinning C# fiber mailbox, cheap Fiber.current, Enumerator#next over an Array without a fiber
  
  Largo
  and
  claude
  committed
  38de18d
- Merge sp/kwargs: keyword-argument binding speedups
  
  Largo
  and
  claude
  committed
  c5ab41c
- Merge sp/blocks-yield: no RubyBlockScope for a block body that never uses it
  
  Largo
  and
  claude
  committed
  2b0e3ad
- Merge sp/startup-binder: share call-site rules across receiver classes that resolve to the same method
  
  Largo
  and
  claude
  committed
  b8e2e6c
- Merge sp/method-dispatch: point precompiled dispatchers at the compiled method body
  
  Largo
  and
  claude
  committed
  00f6805
- FiberMailbox: spin up to 100us, pause after two misses, yield now and then
  
  Largo
  and
  claude
  committed
  b8f98a4
- DLR: keep exception data in Exception.Data on .NET Core (0100-exceptions.patch)
  
  Largo
  and
  claude
  committed
  aacf5f2
- Reuse an interpreted frame's catch-site stack walk; cache :exception in raise
  
  Largo
  and
  claude
  committed
  f20cae0
- Gate the keyword-call speedups (ec97886c, 0e70f13d, f91fe293)
  
  Largo
  and
  claude
  committed
  19b24c7
- Share rules for Method#call and CLR receivers; fix a rebind loop
  
  Largo
  and
  claude
  committed
  431297d
- Class lookups without locks: a read cache for CLR types' classes, lock-free HasAncestor
  
  Largo
  and
  claude
  committed
  c90d4a3
- Merge sp/classof-cache: class lookups without locks (CLR class read cache, lock-free HasAncestor)
  
  Largo
  and
  claude
  committed
  d7994da
- Merge sp/exceptions: reuse an interpreted frame's catch-site stack walk; cache :exception in raise
  
  Largo
  and
  claude
  committed
  7d31c2e
- Merge sp/fiber: FiberMailbox spin tuning
  
  Largo
  and
  claude
  committed
  b1f2a95
- Array: its own map/collect and select/filter, as in MRI; each without interface calls
  
  Largo
  and
  claude
  committed
  80f0145
- Merge sp/kwargs: more keyword-call speedups
  Largo
  committed
  24abeec
- Merge sp/startup-binder: share rules for Method#call and CLR receivers; fix a rebind loop
  
  Largo
  and
  claude
  committed
  7ba5f3a
- Merge sp/startup-prelude: alias keyword instead of alias_method, cheaper Errno loop, Encoding constants from a table
  Largo
  committed
  228ef04
- Do not copy a block's arguments for a super it cannot make
  
  Largo
  and
  claude
  committed
  97e6ca8
- Take the lowered splat apart without reallocating; build **rest in one pass
  
  Largo
  and
  claude
  committed
  ca6b799
- DLR: reach Exception._data directly instead of the virtual Data property
  
  Largo
  and
  claude
  committed
  de760e0
- Merge sp/compile-pipeline: map method bodies lazily, on first call
  
  Largo
  and
  claude
  committed
  370b4d7
- Gate the block and splat keyword speedups (97e6ca89, ca6b799b)
  
  Largo
  and
  claude
  committed
  06129b6
- Splat `f(**opts)` directly when opts is a Hash
  
  Largo
  and
  claude
  committed
  87bfd70
- Fiber: reuse the threads of finished fibers; release a fiber's mutexes before the hand-back
  
  Largo
  and
  claude
  committed
  a98737a
- Gate the `f(**opts)` splat speedup (87bfd70a)
  
  Largo
  and
  claude
  committed
  7ca39fc
- Merge sp/blocks-yield: Array's own map/collect and select/filter; each without interface calls
  
  Largo
  and
  claude
  committed
  10499d0
- Merge sp/exceptions: reach Exception._data directly (DLR patch update)
  
  Largo
  and
  claude
  committed
  4e2bfca
- Merge sp/fiber: reuse the threads of finished fibers
  
  Largo
  and
  claude
  committed
  5e6f2e7
- Merge sp/kwargs: f(**opts) splat speedup
  
  Largo
  and
  claude
  committed
  2a096fa
- Bridge: f(**opts) splat assigns its argument slot (merge of compile-pipeline's argument array with kwargs' splat lowering)
  
  Largo
  and
  claude
  committed
  29aaec3
- Merge `**h` into a keyword call's own hash in place
  
  Largo
  and
  claude
  committed
  0c26d62
- Array#all?/any?/none?: walk the array, as MRI's do
  
  Largo
  and
  claude
  committed
  5a1d9ba
- Attribute dispatchers: tell an exact RubyObject apart without the interface cast
  
  Largo
  and
  claude
  committed
  c6ea0f5
- Bind respond_to?(:literal) to a constant and send(:literal) as a direct call
  
  Largo
  and
  claude
  committed
  fbed1bd
- Merge sp/respond-send-mm: respond_to?(:literal) as a constant rule, send(:literal) as a direct call
  
  Largo
  and
  claude
  committed
  d7717dd
- Yield: a yield site in a loop reuses its BlockParam
  
  Largo
  and
  claude
  committed
  eb8f1f5
- Capture no backtrace for flow-control unwinders; snapshot interpreted frames without LINQ
  
  Largo
  and
  claude
  committed
  315bd23
- Gate the in-place keyword splat merge (0c26d62d)
  
  Largo
  and
  claude
  committed
  816e30f
- Don't share respond_to?/send rules across receiver classes
  
  Largo
  and
  claude
  committed
  3a6b66d
- Merge sp/blocks-yield: Array#all?/any?/none? walk the array; reuse a yield site's BlockParam
  
  Largo
  and
  claude
  committed
  8415312
- Merge sp/exceptions: no backtrace capture for internal flow-control unwinders
  
  Largo
  and
  claude
  committed
  37ae730
- Merge sp/method-dispatch: attribute dispatcher fast path
  
  Largo
  and
  claude
  committed
  3fdb08c
- Merge sp/kwargs: merge keyword splats into the call's own hash
  
  Largo
  and
  claude
  committed
  2e7cffe
- OSR: bind self into an outlined loop only when its body uses it
  
  Largo
  and
  claude
  committed
  067bf1a
- Dispatcher guard: class and module receivers without the interface cast
  
  Largo
  and
  claude
  committed
  b430571
- Math: Float and Fixnum arguments in C#, the Ruby definitions for everything else
  
  Largo
  and
  claude
  committed
  c5bb31e
- Regexp: work out once whether the pattern has a non-ASCII escape
  
  Largo
  and
  claude
  committed
  88184fb
- Array#sort: Strings, Fixnums and Floats compared directly when <=> is the built-in one
  
  Largo
  and
  claude
  committed
  3bf02fb
- Hash#each: one pass over the entries, no second lookup per key
  
  Largo
  and
  claude
  committed
  5ac5a36
- Array literals: build the content array directly; adopt the one a long literal makes
  
  Largo
  and
  claude
  committed
  33e7775
- JIT: re-specialize after a method table change; module creation no longer stales entries
  
  Largo
  and
  claude
  committed
  271979f
- Smaller calls: keyword hashes without a bucket array; rare scope state out of line
  
  Largo
  and
  claude
  committed
  cb8a572
- Array#reverse_each and #rindex: a plain loop, and MRI's handling of a shrinking array
  
  Largo
  and
  claude
  committed
  fdeb554
- String interpolation: literal parts made once; MRI's result encoding
  
  Largo
  and
  claude
  committed
  843df62
Commits on Oct 13, 2026
- WIP: method JIT specializes methods with keyword parameters
  
  Largo
  and
  claude
  committed
  64f3cf2
- WIP: literal block Proc is its call's flow-control frame; smaller Proc and BlockParam
  
  Largo
  and
  claude
  committed
  61759b2
- WIP: JIT simple initializers - optional literal defaults, arity 6, stored-only params boxed
  
  Largo
  and
  claude
  committed
  981aed3
- Method JIT: specialize methods with keyword parameters
  
  Largo
  and
  claude
  committed
  0e995dd
- WIP: tiered compiled regexes, Integer()/Float() String fast path, conversion action cache
  
  Largo
  and
  claude
  committed
  15d8a02
- Literal block: its Proc is the call's flow-control frame; smaller Proc and BlockParam
  
  Largo
  and
  claude
  committed
  474bdc1
- WIP: JIT keyword entry matches and binds in one call
  
  Largo
  and
  claude
  committed
  76b0873
- WIP: MatchData group count cache + allocation-free offsets in StringScanner; cached regex literal without closure
  
  Largo
  and
  claude
  committed
  dfa68aa
- WIP: BlockParam state packed into 4 bytes (48 B)
  
  Largo
  and
  claude
  committed
  bbc94ee
- WIP: JIT initializers publish their opening ivar run in one slot array
  
  Largo
  and
  claude
  committed
  875e793
- JIT keyword entry: match and bind the keywords in one call
  
  Largo
  and
  claude
  committed
  e19227e
- WIP: a method's keyword prologue no longer turns a positional nil into no keywords
  
  Largo
  and
  claude
  committed
  5377669
- Keyword prologue of a method: a positional nil is not "no keywords"
  
  Largo
  and
  claude
  committed
  ba9d2aa
- Add strscan_tokens benchmark (StringScanner tokenizer loop)
  
  Largo
  and
  claude
  committed
  ef69ce4
- WIP: Proc keeps its converter in the frame field (64 B)
  
  Largo
  and
  claude
  committed
  90d42db
- WIP: keyword calls go straight into a specialized keyword method
  
  Largo
  and
  claude
  committed
  864fc28
- Regexp/StringScanner speedups for ruby-json: gate the three commits below
  
  Largo
  and
  claude
  committed
  cf1ca9f
- WIP: StringScanner #skip/#match?/#exist?/#skip_until defer the MatchData; ASCII literal skip without copying; gsub no-match path
  
  Largo
  and
  claude
  committed
  ee45fe8
- JIT simple initializers: optional literal defaults, arity 6, one-shot ivar run
  
  Largo
  and
  claude
  committed
  c308641
- WIP: JIT array literals of up to five elements
  
  Largo
  and
  claude
  committed
  e00db07
- Proc 64 B, BlockParam 48 B: converter kept in the frame field, small state in bytes
  
  Largo
  and
  claude
  committed
  d630eb8
- StringScanner: defer MatchData for length-answering scans; gate the commit below
  
  Largo
  and
  claude
  committed
  4cf8d3e
- Receiverless keyword calls go straight into a specialized keyword method
  
  Largo
  and
  claude
  committed
  0238aac
- JIT: array literals of up to five elements (gates for the commit before)
  
  Largo
  and
  claude
  committed
  1790353
- Merge sp/w2-ruby-json: StringScanner deferred MatchData and literal skips, regex tier-up, cheaper Integer()/Float() of Strings
  
  Largo
  and
  claude
  committed
  ff8cd43
- Merge sp/w2-block-pass: a literal block's Proc is its own flow-control frame; smaller BlockParam and Proc
  Largo
  committed
  fa27d2d
- Merge sp/w2-object-alloc: JIT simple initializers (optional literal defaults, arity up to 6, initial ivar stores) and short array literals
  Largo
  committed
  4cfdac2
- Merge sp/w2-jit-kwargs: method JIT specializes keyword methods; direct receiverless keyword calls; keyword prologue no longer accepts a positional nil
  
  Largo
  and
  claude
  committed
  d6474b6
- WIP: reuse block scopes (from sp/w2-block-scope) without growing BlockParam/Proc
  
  Largo
  and
  claude
  committed
  b2beaa6
- WIP: keep the reuse bookkeeping off a block's first calls
  
  Largo
  and
  claude
  committed
  1d45fd0
- Reuse block scopes across calls without slowing single-call blocks
  
  Largo
  and
  claude
  committed
  185b9be
- WIP: take a scope kept on the BlockParam inline
  
  Largo
  and
  claude
  committed
  427206c
- Gate the inline BlockParam scope reuse
  
  Largo
  and
  claude
  committed
  dfbb66f
- WIP: take a block scope and its tuple together, after the safe point; drop the proc-kept scope
  
  Largo
  and
  claude
  committed
  3ac3d35
- WIP: inline the block scope leave, test the capture only when parking
  
  Largo
  and
  claude
  committed
  11e1c57
- WIP: no scope reuse for a block with a nested block literal
  
  Largo
  and
  claude
  committed
  f855805
- WIP: mark a scope captured where a non-literal Proc or an eval takes it, not in every Proc
  
  Largo
  and
  claude
  committed
  78d4133
- Gate the block scope reuse fix round (scope and tuple taken together, BlockParam parking only)
  
  Largo
  and
  claude
  committed
  19e596e
- Merge sp/w2b-block-scope: reuse a block's scope across the yields of one call
  
  Largo
  and
  claude
  committed
  844d2cf
- Merge branch 'master' into speedup
  Largo
  authored
  5525cc0

Commits

Commits on Oct 11, 2026

Commits on Oct 12, 2026

Commits on Oct 13, 2026