我有一堆包含事件日志和它们的向量时钟的日志文件。现在,当比较任意两个事件的向量时钟时,将每个向量时钟的每个组件的平方和的根相加是否正确,并使用结果与另一个进行比较,然后得出值更小的事件先于另一个事件的结论?
我有一堆包含事件日志和它们的向量时钟的日志文件。现在,当比较任意两个事件的向量时钟时,将每个向量时钟的每个组件的平方和的根相加是否正确,并使用结果与另一个进行比较,然后得出值更小的事件先于另一个事件的结论?
class VectorClock {
private long[] clocks;
...
/**
* This is before other iff both conditions are met:
* - each process's clock is less-than-or-equal-to its own clock in other; and
* - there is at least one process's clock which is strictly less-than its
* own clock in other
*/
public boolean isBefore(VectorClock other) {
boolean isBefore = false;
for (int i = 0; i < clocks.length; i++) {
int cmp = Long.compare(clocks[i], other.clocks[i]);
if (cmp > 0)
return false; // note, could return false even if isBefore is true
else if (cmp < 0)
isBefore = true;
}
return isBefore;
}
}
您可以只使用最小值和最大值进行不太精确的处理:
class VectorClockSummary {
private long min, max;
...
public tribool isBefore(VectorClockSummary other) {
if (max < other.min)
return true;
else if (min > other.max)
return false;
else
return maybe;
}
}