Tail recursion

suggest change

Many recursive algorithms can be expressed using iteration. For instance, the greatest common denominator function can be written recursively:

def gdc (x, y)
  return x if y == 0
  return gdc(y, x%y)
end

or iteratively:

def gdc_iter (x, y)
  while y != 0 do
    x, y = y, x%y
  end

  return x
end

The two algorithms are equivalent in theory, but the recursive version risks a SystemStackError. However, since the recursive method ends with a call to itself, it could be optimized to avoid a stack overflow. Another way to put it: the recursive algorithm can result in the same machine code as the iterative if the compiler knows to look for the recursive method call at the end of the method. Ruby doesn’t do tail call optimization by default, but you can turn it on with:

RubyVM::InstructionSequence.compile_option = {
  tailcall_optimization: true,
  trace_instruction: false
}

In addition to turning on tail-call optimization, you also need to turn off instruction tracing. Unfortunately, these options only apply at compile time, so you either need to require the recursive method from another file or eval the method definition:

RubyVM::InstructionSequence.new(<<-EOF).eval
  def me_myself_and_i
    me_myself_and_i
  end
EOF
me_myself_and_i # Infinite loop, not stack overflow

Finally, the final return call must return the method and only the method. That means you’ll need to re-write the standard factorial function:

def fact(x)
  return 1 if x <= 1
  return x*fact(x-1)
end

To something like:

def fact(x, acc=1)
  return acc if x <= 1
  return fact(x-1, x*acc)
end

This version passes the accumulated sum via a second (optional) argument that defaults to 1.

Further reading: Tail Call Optimization in Ruby and Tailin’ Ruby.

Feedback about page:

Feedback:
Optional: your email if you want me to get back to you:



Table Of Contents