parsanol 1.3.68 → 1.3.69

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5917e9971751a101c27984a0ccec6aa6254813b77d18a45eea7f6a5538ead517
-  data.tar.gz: 9513f097d858d7c394a10c8002e372523212bf11629813867ec59a91dacbc41d
+  metadata.gz: 263a808dabf8497185a7c4712796b5cb2e29e4318092a8b0eaeccbb5f7d4d7fd
+  data.tar.gz: d4fa28dc6c85cbb2b7de27e983e5920571c34f638c1ec1d2f12ed86286453a40
 SHA512:
-  metadata.gz: 65cf06e07d16879100effb50a7ed8012e95774ed6b8c86f97c997d3b6ce7a41525a07e3943d4670dc3c6f65e91d587953e719668decba35f90610bdf29a7c011
-  data.tar.gz: 84cd53317231f028e6510d90c7c426379566e47570594e960b022766ae45fffb8305afdcc5f044339fbbdb3a30c74e44e25ce03a735c7e3672221f70f26b0ab1
+  metadata.gz: de302ffc7dce0ad7f949267421ad6277d82096a1a3269ea60dafcf95d6383a8c35f7bd6387e0bc7ca19f065dd59589e618a1115938e4d4d2bd20cd9bc3c04947
+  data.tar.gz: 0741e977cb3deaba13193c67e8c37ec9e4d24b904667ddd984a7659bbcd67fd928e8256a6bb80a82e47afe47ebfdd2cf0582727e544f97c4f02a4f15f4c351e7

data/lib/parsanol/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Parsanol
-  VERSION = "1.3.68"
+  VERSION = "1.3.69"
 end

data/lib/parsanol/vm.rb

@@ -84,6 +84,14 @@ module Parsanol
     STEP_BUDGET_FIXED = 10_000
     MEMO_BUDGET_FACTOR = 4_096
     MEMO_BUDGET_CELLS_FACTOR = 16
+    # Wall-clock ceiling for the memoized retry pass. Step budgets assume
+    # sub-microsecond steps; pathological grammars make each step
+    # expensive enough that a step budget alone mispredicts wall time by
+    # orders of magnitude (parsanol-ruby#147: a 6-line skip-injected
+    # document ground ~146s inside its memo budget where the interpreter
+    # answers in milliseconds). Bounded wall time surrenders the grammar
+    # to the interpreter, the source of truth, instead of burning CPU.
+    MEMO_WALL_BUDGET_SECONDS = 5.0
 
     # Compiled-program and heavy-flag caches hold at most this many
     # grammars. A process rarely uses more than a handful concurrently;
@@ -130,7 +138,10 @@ module Parsanol
           end
         cache[root] = program
         trim_cache(cache)
-        program.equal?(:fallback) ? nil : program
+        # :fallback = VM-incompatible; :oversize even non-inlined means
+        # the grammar is beyond the program cap — the interpreter
+        # handles both.
+        program.equal?(:fallback) || program.equal?(:oversize) ? nil : program
       end
 
       # Marks a grammar as VM-incompatible after a runtime failure.
@@ -197,6 +208,10 @@ module Parsanol
         end
 
         compiler.to_program
+      rescue Compiler::ProgramTooLarge
+        # Emission aborted at the cap: discard and let the caller
+        # decide (compile retries non-inlined).
+        :oversize
       end
 
       # Returns violation descriptions for this atom's ordered-choice
@@ -679,7 +694,19 @@ module Parsanol
 
       private
 
+      # Raised mid-emission once the program passes MAX_PROGRAM: abort
+      # the build immediately instead of materializing millions of
+      # instructions only to discover the overflow in to_program
+      # (parsanol-ruby#147: an inline pass on a skip-injected grammar
+      # reached 6.3M instructions / 16M with subroutines before the
+      # post-hoc check discarded them — minutes of compile time and
+      # gigabytes of transient allocations for a program that is
+      # thrown away and rebuilt non-inlined anyway).
+      class ProgramTooLarge < StandardError; end
+
       def emit(op, a = nil, b = nil, c = nil) # rubocop:disable Naming/MethodParameterName -- opcode operand slots
+        raise ProgramTooLarge if @ops.size > MAX_PROGRAM
+
         @ops << [op, a, b, c]
         @ops.size - 1
       end
@@ -902,6 +929,9 @@ module Parsanol
                    (STEP_BUDGET_FACTOR * n) + STEP_BUDGET_FIXED
                  end
         steps = 0
+        wall_deadline = if @memoize
+                          Process.clock_gettime(Process::CLOCK_MONOTONIC) + MEMO_WALL_BUDGET_SECONDS
+                        end
 
         pc = 0
         pos = 0
@@ -917,6 +947,13 @@ module Parsanol
         # rubocop:disable Metrics/BlockLength -- the dispatch loop IS execute
         loop do
           steps += 1
+          # Checked every 1024 steps: a monotonic clock read per
+          # millisecond of ordinary work costs nothing measurable.
+          if wall_deadline && steps.nobits?(0x3FF) &&
+              Process.clock_gettime(Process::CLOCK_MONOTONIC) > wall_deadline
+            return BUDGET
+          end
+
           if steps > budget
             if trace
               warn "BUDGET at steps=#{steps} pc=#{pc} pos=#{pos} rstack=#{rstack.size} bt=#{bt.size} calls=#{calls.size}"

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: parsanol
 version: !ruby/object:Gem::Version
-  version: 1.3.68
+  version: 1.3.69
 platform: ruby
 authors:
 - Ribose Inc.