blob: f6c4afa8a8b9d6fb4119564c31737d81912abb65 (
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
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
|
/*
* VS is (c) 2008 by Paul C. Buetow
* vs@dev.buetow.org
*/
package protocols.implementations;
import core.VSMessage;
import protocols.VSProtocol;
// TODO: Auto-generated Javadoc
/**
* The Class InternalTimeSyncProtocol.
*/
public class InternalTimeSyncProtocol extends VSProtocol {
private static final long serialVersionUID = 1L;
/** The waiting for response. */
private boolean waitingForResponse;
/**
* Instantiates a new internal time sync protocol.
*/
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);
}
/* (non-Javadoc)
* @see events.VSEvent#onInit()
*/
protected void onInit() {
}
/* (non-Javadoc)
* @see protocols.VSProtocol#onClientReset()
*/
protected void onClientReset() {
}
/* (non-Javadoc)
* @see protocols.VSProtocol#onClientStart()
*/
protected void onClientStart() {
waitingForResponse = true;
/* Multicast message to all processes */
VSMessage message = new VSMessage(getClassname());
message.setBoolean("isClientRequest", true);
sendMessage(message);
}
/* (non-Javadoc)
* @see protocols.VSProtocol#onClientRecv(core.VSMessage)
*/
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);
}
/* (non-Javadoc)
* @see protocols.VSProtocol#onServerReset()
*/
protected void onServerReset() {
}
/* (non-Javadoc)
* @see protocols.VSProtocol#onServerRecv(core.VSMessage)
*/
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);
}
/* (non-Javadoc)
* @see protocols.VSProtocol#toString()
*/
public String toString() {
return super.toString();
}
}
|
