State information in a processor is managed using a lookup table that has
multiple memory circuits, each with multiple entries. Items of state
information belonging to a current state version are stored in a first
group of entries in the memory circuits. To create an updated state
version, a virtual copy of each of the items of state information is
created in a second group of entries in the memory circuits, and the
virtual copy of the item being updated is replaced with a real copy of
the item from the first group of entries. The item in the first group of
entries is then updated.