State machine and system for data redundancy
First Claim
1. A system for redundantly backing up data, comprising:
- a first storage facility controlled by a first state machine having a finite number of states, each state of the first state machine having a set of allowed operations, and the first state machine including at least one state for controlling the first storage facility to operate as a primary storage facility, the primary storage facility being for storing and updating a primary copy of the data; and
a second storage facility coupled to the first storage facility wherein the second storage facility is controlled by a second state-machine having a finite number of states, each state of the second state machine having a set of allowed operations, and the second state machine having at least one state for controlling the second storage facility to operate as a secondary storage facility, the secondary storage facility being for storing data that is redundant of the primary copy, and at least one state for controlling the second storage facility to operate as the primary storage facility.
1 Assignment
0 Petitions
Accused Products
Abstract
A state machine and system for redundantly backing up data. A first storage facility is controlled by a first state machine having a finite number of states, each state having a set of allowed operations. The first state machine includes at least one state for controlling the first storage facility to operate as a primary storage facility for storing and updating a primary copy of the data. A second storage facility is controlled by a second state-machine that has least one state for controlling the second storage facility to operate as a secondary storage facility for storing redundant data. The second state machine also has at least one state for controlling the second storage facility to operate as the primary storage facility. The second storage facility assumes the role of primary in response to a fault at the first storage facility or based on the origin of request traffic. The first and second state machines may also include states for responding to various fault conditions and may include substantially the same states as the other.
-
Citations
42 Claims
-
1. A system for redundantly backing up data, comprising:
-
a first storage facility controlled by a first state machine having a finite number of states, each state of the first state machine having a set of allowed operations, and the first state machine including at least one state for controlling the first storage facility to operate as a primary storage facility, the primary storage facility being for storing and updating a primary copy of the data; and
a second storage facility coupled to the first storage facility wherein the second storage facility is controlled by a second state-machine having a finite number of states, each state of the second state machine having a set of allowed operations, and the second state machine having at least one state for controlling the second storage facility to operate as a secondary storage facility, the secondary storage facility being for storing data that is redundant of the primary copy, and at least one state for controlling the second storage facility to operate as the primary storage facility. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30)
-
- 31. A state machine for controlling a first data storage facility, the state machine having a finite number of states, each state of the first state machine having a set of allowed operations, the state machine including at least one state for controlling the first data storage facility for generating a primary log of write requests in which write-ordering of the requests is preserved and including at least one state for generating a change record of data changed in response to said write requests in which write-ordering of the requests is not preserved and wherein operation in the state for generating the primary log ceases and operation in the state for generating the change record commences when the primary log exceeds a predetermined capacity.
-
36. A method for verifying a data redundancy system comprising:
-
applying a sequence of one or more events to the system;
performing one or more verifications on the system; and
determining whether a result of the verification is positive, and if the result is not positive, evaluating the system to determine a cause of the result. - View Dependent Claims (37, 38, 39, 40, 41, 42)
-
Specification