1
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
|
package simulator.builder;
import simulator.*;
import core.*;
import prefs.*;
import events.*;
import events.internal.*;
import serialize.VSSerialize;
import java.io.*;
import java.lang.reflect.*;
import java.util.*;
import java.util.ArrayList;
/**
* Builder for creating DS-Sim simulations programmatically without GUI.
*
* Example usage:
* <pre>
* SimulationBuilder builder = new SimulationBuilder()
* .withProcesses(5)
* .withProtocol("protocols.implementations.VSRaftProtocol")
* .activateServers(0, 1, 2)
* .activateClients(3, 4)
* .addCrashEvent(0, 2000)
* .addRecoveryEvent(0, 3000)
* .save("saved-simulations/my-raft.dat");
* </pre>
*/
public class SimulationBuilder {
private VSDefaultPrefs prefs;
private VSSimulator simulator;
private VSSimulatorVisualization visualization;
private VSTaskManager taskManager;
private String protocolClass;
private int numProcesses = 3; // default
private List<ScheduledTask> scheduledTasks = new ArrayList<>();
private int simulationDuration = 10000; // default 10 seconds
/**
* Internal class to hold task scheduling information
*/
private static class ScheduledTask {
long time;
int processId;
VSAbstractEvent event;
boolean isGlobalTimed;
ScheduledTask(long time, int processId, VSAbstractEvent event, boolean isGlobalTimed) {
this.time = time;
this.processId = processId;
this.event = event;
this.isGlobalTimed = isGlobalTimed;
}
}
/**
* Initialize the builder with default preferences
*/
public SimulationBuilder() throws Exception {
// Initialize preferences
prefs = new VSDefaultPrefs();
prefs.fillWithDefaults();
// Initialize registered events
VSRegisteredEvents.init(prefs);
}
/**
* Set the simulation duration in milliseconds
*/
public SimulationBuilder withDuration(int durationMs) {
this.simulationDuration = durationMs;
return this;
}
/**
* Set the number of processes in the simulation
*/
public SimulationBuilder withProcesses(int count) {
this.numProcesses = count;
return this;
}
/**
* Set the protocol class to use
*/
public SimulationBuilder withProtocol(String protocolClassName) {
this.protocolClass = protocolClassName;
return this;
}
/**
* Activate protocol as server on specified processes
*/
public SimulationBuilder activateServers(int... processIds) {
for (int pid : processIds) {
VSProtocolEvent event = new VSProtocolEvent();
event.onInit(); // Initialize the event first
setProtocolClassname(event, protocolClass);
setIsServer(event, true);
scheduledTasks.add(new ScheduledTask(0, pid, event, true));
}
return this;
}
/**
* Activate protocol as client on specified processes
*/
public SimulationBuilder activateClients(int... processIds) {
return activateClients(500, processIds); // default delay
}
/**
* Activate protocol as client on specified processes with custom start time
*/
public SimulationBuilder activateClients(long startTime, int... processIds) {
for (int i = 0; i < processIds.length; i++) {
VSProtocolEvent event = new VSProtocolEvent();
event.onInit(); // Initialize the event first
setProtocolClassname(event, protocolClass);
setIsServer(event, false);
// Stagger client starts
long time = startTime + (i * 200);
scheduledTasks.add(new ScheduledTask(time, processIds[i], event, true));
}
return this;
}
/**
* Add a process crash event
*/
public SimulationBuilder addCrashEvent(int processId, long time) {
try {
// Use reflection to create crash event
Class<?> crashClass = Class.forName("events.implementations.VSProcessCrashEvent");
VSAbstractEvent crashEvent = (VSAbstractEvent) crashClass.getDeclaredConstructor().newInstance();
scheduledTasks.add(new ScheduledTask(time, processId, crashEvent, true));
} catch (Exception e) {
throw new RuntimeException("Failed to create crash event", e);
}
return this;
}
/**
* Add a process recovery event
*/
public SimulationBuilder addRecoveryEvent(int processId, long time) {
try {
// Use reflection to create recovery event
Class<?> recoverClass = Class.forName("events.implementations.VSProcessRecoverEvent");
VSAbstractEvent recoverEvent = (VSAbstractEvent) recoverClass.getDeclaredConstructor().newInstance();
scheduledTasks.add(new ScheduledTask(time, processId, recoverEvent, true));
} catch (Exception e) {
throw new RuntimeException("Failed to create recovery event", e);
}
return this;
}
/**
* Add a custom event
*/
public SimulationBuilder addEvent(String eventClassName, int processId, long time) {
try {
Class<?> eventClass = Class.forName(eventClassName);
VSAbstractEvent event = (VSAbstractEvent) eventClass.getDeclaredConstructor().newInstance();
scheduledTasks.add(new ScheduledTask(time, processId, event, true));
} catch (Exception e) {
throw new RuntimeException("Failed to create event: " + eventClassName, e);
}
return this;
}
/**
* Set protocol classname using reflection (since field is private)
*/
private void setProtocolClassname(VSProtocolEvent event, String classname) {
try {
Field field = VSProtocolEvent.class.getDeclaredField("protocolClassname");
field.setAccessible(true);
field.set(event, classname);
} catch (Exception e) {
throw new RuntimeException("Failed to set protocol classname", e);
}
}
/**
* Set isServer flag using reflection (field is called isClientProtocol)
*/
private void setIsServer(VSProtocolEvent event, boolean isServer) {
try {
// The field is actually called isClientProtocol, and server = !client
Field field = VSProtocolEvent.class.getDeclaredField("isClientProtocol");
field.setAccessible(true);
field.set(event, !isServer); // Invert: server means NOT client
// Also set protocol activation to true
Field activationField = VSProtocolEvent.class.getDeclaredField("isProtocolActivation");
activationField.setAccessible(true);
activationField.set(event, true);
} catch (Exception e) {
throw new RuntimeException("Failed to set protocol flags", e);
}
}
/**
* Build the simulation (must be called before save)
*/
private void build() throws Exception {
if (simulator != null) {
return; // Already built
}
// Set simulation duration
prefs.setInteger("sim.seconds", simulationDuration / 1000);
// Set network delay parameters for message delivery
prefs.setInteger("process.msg.delay.min", 10); // 10ms minimum delay
prefs.setInteger("process.msg.delay.max", 50); // 50ms maximum delay
// Create simulator without frame for headless
simulator = new VSSimulator(prefs, null);
// Create visualization without GUI
VSLogging logging = new VSLogging();
visualization = new VSSimulatorVisualization(prefs, simulator, logging);
// Set visualization in simulator using reflection
Field vizField = VSSimulator.class.getDeclaredField("simulatorVisualization");
vizField.setAccessible(true);
vizField.set(simulator, visualization);
// Add processes if needed (default is 3)
Method addProcessMethod = VSSimulatorVisualization.class.getDeclaredMethod("addProcess");
addProcessMethod.setAccessible(true);
// Remove default processes if we want fewer
if (numProcesses < 3) {
Field processesField = VSSimulatorVisualization.class.getDeclaredField("processes");
processesField.setAccessible(true);
ArrayList<VSInternalProcess> processes = (ArrayList<VSInternalProcess>) processesField.get(visualization);
while (processes.size() > numProcesses) {
processes.remove(processes.size() - 1);
}
}
// Add more processes if needed
for (int i = 3; i < numProcesses; i++) {
addProcessMethod.invoke(visualization);
}
// Get task manager
taskManager = visualization.getTaskManager();
// Initialize all events with their processes
for (ScheduledTask st : scheduledTasks) {
VSInternalProcess process = visualization.getProcess(st.processId);
st.event.init(process);
// For protocol events, update the shortname after init
if (st.event instanceof VSProtocolEvent) {
VSProtocolEvent protocolEvent = (VSProtocolEvent) st.event;
// Force shortname update by calling the method via reflection
try {
Method createShortname = VSProtocolEvent.class.getDeclaredMethod("createShortname", String.class);
createShortname.setAccessible(true);
String shortname = (String) createShortname.invoke(protocolEvent, (String)null);
protocolEvent.setShortname(shortname);
} catch (Exception e) {
// Ignore
}
}
// Create task
VSTask task = new VSTask(st.time, process, st.event,
st.isGlobalTimed ? VSTask.GLOBAL : VSTask.LOCAL);
taskManager.addTask(task);
}
}
/**
* Save the simulation to a file
*/
public SimulationBuilder save(String filename) throws Exception {
build();
File outputFile = new File(filename);
outputFile.getParentFile().mkdirs();
VSSerialize serialize = new VSSerialize();
// Save using the serializer
try {
FileOutputStream fos = new FileOutputStream(outputFile);
ObjectOutputStream oos = new ObjectOutputStream(fos);
// Create serializable prefs from our prefs
VSSerializablePrefs serializablePrefs = new VSSerializablePrefs();
// Copy all preferences
for (String key : prefs.getIntegerKeySet()) {
serializablePrefs.initInteger(key, prefs.getInteger(key));
}
for (String key : prefs.getBooleanKeySet()) {
serializablePrefs.initBoolean(key, prefs.getBoolean(key));
}
for (String key : prefs.getStringKeySet()) {
serializablePrefs.initString(key, prefs.getString(key));
}
for (String key : prefs.getFloatKeySet()) {
serializablePrefs.initFloat(key, prefs.getFloat(key));
}
for (String key : prefs.getColorKeySet()) {
serializablePrefs.initColor(key, prefs.getColor(key));
}
for (String key : prefs.getVectorKeySet()) {
serializablePrefs.initVector(key, prefs.getVector(key));
}
for (String key : prefs.getLongKeySet()) {
serializablePrefs.initLong(key, prefs.getLong(key));
}
// Serialize preferences first
serializablePrefs.serialize(serialize, oos);
// Then serialize simulator
simulator.serialize(serialize, oos);
oos.close();
fos.close();
System.out.println("Simulation saved to: " + outputFile.getAbsolutePath());
} catch (Exception e) {
throw new RuntimeException("Failed to save simulation", e);
}
return this;
}
/**
* Get the built simulator (for testing/verification)
*/
public VSSimulator getSimulator() throws Exception {
build();
return simulator;
}
/**
* Fluent API for common protocol setups
*/
public static class Protocols {
public static final String RAFT = "protocols.implementations.VSRaftProtocol";
public static final String PING_PONG = "protocols.implementations.VSPingPongProtocol";
public static final String BERKLEY_TIME = "protocols.implementations.VSBerkelyTimeProtocol";
public static final String BROADCAST = "protocols.implementations.VSBroadcastProtocol";
public static final String ONE_PHASE_COMMIT = "protocols.implementations.VSOnePhaseCommitProtocol";
public static final String TWO_PHASE_COMMIT = "protocols.implementations.VSTwoPhaseCommitProtocol";
public static final String RELIABLE_MULTICAST = "protocols.implementations.VSReliableMulticastProtocol";
}
}
|