Bethel stacks


I recently decided to go back to CPS for Swanson. At the same time, I decided to go with three stacks. But I really liked how the four-stack setup used a nice power of 2 for the number of stacks.

Continuation-passing S₀: The return

Four stacks

Porque no los dos?

So, S₀ will go back to being CPS, where an ‘invoke’ instruction is terminal. One of the stacks is primarily intended to be used for continuation quotations, avoiding the juggling problem of a stack-based CPS language. One of the stacks is for locals / enclosed values; this stack must be empty at each ‘invoke’ instruction, and the values enclosed in a quotation replace this stack as control transfers to the chosen quotation branch. But to go from three stacks to four, we'll have two “working” stacks. Each object/invocation will have a “preferred” stack where it will typically be invoked from, and where it will place itself when passing itself back to its continuation. It will expect any “inputs” (and pass any “outputs” to its continuation) on the other working stack.

  • Stack 0: Working stack
  • Stack 1: Working stack
  • Stack 2: Locals stack
  • Stack 3: Continuation stack

Also, I'm definitely spinning my wheels here, making never-ending changes to the stack layout and set of primitive instructions. Maybe if I give this most recent design a snappier name it will stick. So let's call these “Bethel stacks”, since I'm typing this at Sunday River.