| CPC H04L 67/1095 (2013.01) [G06F 16/2358 (2019.01); G06F 16/27 (2019.01)] | 20 Claims |

|
1. A computer-implemented method of operating a leader server in a leader server-follower server log replication configuration, the method comprising:
(i) storing a current master state of a system and maintaining a master log relating to the current master state, wherein the master log comprises a plurality of log entries each having a respective log index, wherein each log entry indicates a respective change to the master state of the system;
(ii) performing a log compaction procedure to remove from the master log any log entry for which the respective change to the master state of the system has been overridden by a change to the master state in a subsequent log entry;
(iii) storing a compaction index that is the highest log index of the log entries removed in the log compaction procedure;
(iv) storing an override index that is the highest log index of the log entries for which the respective change to the master state overrode a change to the master state by an earlier log entry; and
(v) sending the compaction index and the override index to one or more follower servers that are to store a replica of the master log relating to the current master state.
|