blob: 22dd80989c88b0b8d6dfa9ae7756f4cd5d21454a (
plain)
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
|
package protocols.implementations;
import core.VSMessage;
import prefs.VSPrefs;
import protocols.VSProtocol;
public class InternalTimeSyncProtocol extends VSProtocol {
private boolean waitingForResponse;
public InternalTimeSyncProtocol() {
setClassname(getClass().toString());
/* Those prefs are editable through the VSProtocol VSEditor GUI. t_min and t_max in milliseconds */
setLong("t_min", 500);
setLong("t_max", 2000);
}
protected void onInit() {
}
protected void onClientReset() {
}
protected void onClientStart() {
waitingForResponse = true;
/* Multicast message to all processes */
VSMessage message = new VSMessage(getClassname());
message.setBoolean("isClientRequest", true);
sendMessage(message);
}
protected void onClientRecv(VSMessage recvMessage) {
/* Ignore all protocol messages which are not a response message, e.g. itself */
if (!recvMessage.getBoolean("isServerResponse"))
return;
if (waitingForResponse)
waitingForResponse = false;
else
return;
long tMax = getLong("t_max");
long tMin = getLong("t_min");
long serverTime = recvMessage.getLong("time");
long newTime = serverTime + (long) ((tMax + tMin) / 2 );
logg("Server Zeit: " + serverTime + "; (t_min,t_max): (" + tMin + "," + tMax
+ "); Alte Zeit: " + process.getTime() + "; Neue Zeit: " + newTime
+ "; Offset: " + (process.getTime() - newTime));
process.setTime(newTime);
}
protected void onServerReset() {
}
protected void onServerRecv(VSMessage recvMessage) {
/* Ignore all protocol messages which are not a request message, e.g. itself */
if (!recvMessage.getBoolean("isClientRequest"))
return;
/* Multicast message to all processes */
VSMessage message = new VSMessage(getClassname());
message.setLong("time", process.getTime());
message.setBoolean("isServerResponse", true);
sendMessage(message);
}
public String toString() {
return super.toString();
}
}
|
