That could be done, but generally precise collectors keep a fixed set of tables outside the stack, that way they only need to figure out which method frames are

That could be done, but generally precise collectors keep a fixed set of tables outside the stack, that way they only need to figure out which method frames are on the stack and then consult those tables. That incurs fewer writes.