io.datakernel.crdt.primitives.GCounterInt Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of datakernel-crdt Show documentation
Show all versions of datakernel-crdt Show documentation
Conflict-free replicated data type implementation for DataKernel Framework.
/*
* Copyright (C) 2015-2018 SoftIndex LLC.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package io.datakernel.crdt.primitives;
import io.datakernel.serializer.BinarySerializer;
import io.datakernel.serializer.util.BinaryInput;
import io.datakernel.serializer.util.BinaryOutput;
import static java.lang.Math.max;
public final class GCounterInt implements CrdtMergable {
public static final BinarySerializer SERIALIZER = new Serializer();
private final int[] state;
private GCounterInt(int[] state) {
this.state = state;
}
public GCounterInt(int nodes) {
this(new int[nodes]);
}
public void increment(int id) {
state[id]++;
}
public int value() {
int v = 0;
for (int c : state) {
v += c;
}
return v;
}
@Override
public GCounterInt merge(GCounterInt other) {
assert state.length == other.state.length;
int[] newState = new int[state.length];
for (int i = 0; i < newState.length; i++) {
newState[i] = max(state[i], other.state[i]);
}
return new GCounterInt(newState);
}
@Override
public String toString() {
return Integer.toString(value());
}
private static class Serializer implements BinarySerializer {
@Override
public void encode(BinaryOutput out, GCounterInt item) {
int[] state = item.state;
out.writeVarInt(state.length);
for (int c : state) {
out.writeInt(c);
}
}
@Override
public GCounterInt decode(BinaryInput in) {
int[] state = new int[in.readVarInt()];
for (int i = 0; i < state.length; i++) {
state[i] = in.readInt();
}
return new GCounterInt(state);
}
}
}