A system and method for logging and restoring the state of execution of resource transactions in a shared system resource by logging and restoration of state machine information. Each state machine logging mechanism includes a state machine log generator for extracting state machine information and generating and storing a state machine log. The resource may include dual, concurrently operating control/processing subsystems and may include corresponding functionally integral but physically separate state machine log mirroring mechanisms for receiving and restoring mirror copies of the state machine information.