diff options
| author | Paul Buetow <paul@buetow.org> | 2026-03-27 13:05:59 +0200 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-03-27 13:05:59 +0200 |
| commit | f55d67d98dddf5861dc4266564863dde4b0b6ed1 (patch) | |
| tree | b87ad04a444b9873cb9ec0ede643772f160e6012 /src/main/java/protocols | |
| parent | 29252fbc7803e4a660332524d5811ff942e2b0bc (diff) | |
sr: retune Raft replay for faster reelection
Diffstat (limited to 'src/main/java/protocols')
| -rw-r--r-- | src/main/java/protocols/VSAbstractProtocol.java | 1 | ||||
| -rw-r--r-- | src/main/java/protocols/implementations/VSRaftProtocol.java | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/main/java/protocols/VSAbstractProtocol.java b/src/main/java/protocols/VSAbstractProtocol.java index 1695c25..da12d31 100644 --- a/src/main/java/protocols/VSAbstractProtocol.java +++ b/src/main/java/protocols/VSAbstractProtocol.java @@ -333,6 +333,7 @@ abstract public class VSAbstractProtocol extends VSAbstractEvent { VSInternalProcess internalProcess = (VSInternalProcess) process; VSAbstractEvent scheduleEvent = new VSProtocolScheduleEvent(this, currentContextIsServer); + scheduleEvent.init(internalProcess); VSTask scheduleTask = new VSTask(time, internalProcess, scheduleEvent, VSTask.LOCAL); diff --git a/src/main/java/protocols/implementations/VSRaftProtocol.java b/src/main/java/protocols/implementations/VSRaftProtocol.java index 3741e54..c75628d 100644 --- a/src/main/java/protocols/implementations/VSRaftProtocol.java +++ b/src/main/java/protocols/implementations/VSRaftProtocol.java @@ -177,6 +177,7 @@ public class VSRaftProtocol extends VSAbstractProtocol { leaderId = process.getProcessID(); lastHeartbeatTime = process.getTime(); isServer(true); + log("Leader elected: process " + leaderId + " (term " + currentTerm + ")"); if (!getLongKeySet().contains("heartbeatInterval")) { onServerInit(); |