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
|
/*
* VS is (c) 2008 by Paul C. Buetow
* vs@dev.buetow.org
*/
package protocols.implementations;
import protocols.VSAbstractProtocol;
import core.VSMessage;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.Vector;
/**
* The Class BerkelyTimeProtocol.
*/
public class BerkelyTimeProtocol extends VSAbstractProtocol {
private static final long serialVersionUID = 1L;
/* Berkely Server variables */
/** Integer: Process ID, Long: Local time of the process */
private HashMap<Integer,Long> processTimes = new HashMap<Integer,Long>();
/** Integer: Process ID, Long: Time of receiving the response from the process */
private HashMap<Integer,Long> recvTimes = new HashMap<Integer,Long>();
/** Integer: Process ID, Long: Calculated process times (using the RTT) */
private HashMap<Integer,Long> realTimesRTT = new HashMap<Integer,Long>();
/** Contains all process IDs of processes which want to justify their time */
private ArrayList<Integer> peers = new ArrayList<Integer>();
/** Time the request/response has started */
private long requestTime;
/**
* Instantiates a new berkely time protocol.
*/
public BerkelyTimeProtocol() {
setClassname(getClass().toString());
/* Those prefs are editable through the VSAbstractProtocol VSAbstractEditor GUI. */
Vector<Integer> vec = new Vector<Integer>();
vec.add(2);
vec.add(3);
initVector("processPIDs", vec, "PIDs beteiliger Prozesse");
}
/* (non-Javadoc)
* @see events.VSAbstractEvent#onInit()
*/
protected void onInit() {
}
/* (non-Javadoc)
* @see protocols.VSAbstractProtocol#onClientReset()
*/
protected void onClientReset() {
processTimes.clear();
recvTimes.clear();
realTimesRTT.clear();
peers.clear();
peers.addAll(getVector("processPIDs"));
}
/* (non-Javadoc)
* @see protocols.VSAbstractProtocol#onClientStart()
*/
protected void onClientStart() {
peers.addAll(getVector("processPIDs"));
requestTime = process.getTime();
VSMessage message = new VSMessage();
message.setBoolean("isRequest", true);
sendMessage(message);
}
/* (non-Javadoc)
* @see protocols.VSAbstractProtocol#onClientRecv(core.VSMessage)
*/
protected void onClientRecv(VSMessage recvMessage) {
/* Ignore all protocol messages which are not a response message, e.g. itself */
if (!recvMessage.getBoolean("isResponse"))
return;
Integer processID = recvMessage.getIntegerObj("processID");
if (peers.contains(processID))
peers.remove(processID);
else
return; /* Process has been handled already or is not listed */
Long time = new Long(recvMessage.getLong("time"));
processTimes.put(processID, time);
recvTimes.put(processID, new Long(process.getTime()));
/* All peers have told their times */
if (peers.size() == 0) {
long avgTime = calculateAverageTime();
/* Set the local's process time to the new avg reference time */
process.setTime(avgTime);
/* Tell all other processes what to do in order to justify their times */
sendJustifyRequests(avgTime);
/* Start "clean" next time */
onClientReset();
}
}
/* (non-Javadoc)
* @see protocols.VSAbstractProtocol#onClientSchedule()
*/
protected void onClientSchedule() {
}
/**
* Calculate the new average time.
*
* @return the long
*/
private long calculateAverageTime() {
long sum = 0;
for (Integer processID : processTimes.keySet()) {
Long localTime = processTimes.get(processID);
Long recvTime = recvTimes.get(processID);
long rtt = recvTime.longValue() - requestTime;
long realProcessTime = localTime + (long) (rtt / 2);
realTimesRTT.put(processID, new Long(realProcessTime));
sum += realProcessTime;
}
/* Include the time of the local process */
sum += process.getTime();
return (long) sum / (getVector("processPIDs").size() + 1);
}
/**
* Sends to all clients a value to justify their local clocks.
*
* @param avgTime the avg time
*/
private void sendJustifyRequests(long avgTime) {
for (Integer processID : processTimes.keySet()) {
long realProcessTime = realTimesRTT.get(processID).longValue();
long diff = avgTime - realProcessTime;
VSMessage message = new VSMessage();
message.setBoolean("isJustify", true);
message.setLong("timeDiff", diff);
message.setInteger("receiverProcessID", processID);
sendMessage(message);
}
}
/* (non-Javadoc)
* @see protocols.VSAbstractProtocol#onServerReset()
*/
protected void onServerReset() {
}
/* (non-Javadoc)
* @see protocols.VSAbstractProtocol#onServerRecv(core.VSMessage)
*/
protected void onServerRecv(VSMessage recvMessage) {
if (recvMessage.getBoolean("isRequest")) {
VSMessage message = new VSMessage();
message.setInteger("processID", process.getProcessID());
message.setLong("time", process.getTime());
message.setBoolean("isResponse", true);
sendMessage(message);
} else if (recvMessage.getBoolean("isJustify")) {
/* Check if it's "my" justify message */
if (recvMessage.getInteger("receiverProcessID") != process.getProcessID())
return;
long timeDiff = recvMessage.getLong("timeDiff");
long recvTime = process.getTime();
long newTime = process.getTime() + timeDiff;
logg("Neue Zeit: " + newTime);
process.setTime(newTime);
}
}
/* (non-Javadoc)
* @see protocols.VSAbstractProtocol#onServerSchedule()
*/
protected void onServerSchedule() {
}
/* (non-Javadoc)
* @see protocols.VSAbstractProtocol#toString()
*/
public String toString() {
return super.toString();
}
}
|
