io.atomix.core.transaction.impl.RepeatableReadsTransactionalSet Maven / Gradle / Ivy
/*
* Copyright 2018-present Open Networking Foundation
*
* 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.atomix.core.transaction.impl;
import com.google.common.collect.Lists;
import com.google.common.collect.Maps;
import io.atomix.core.set.AsyncDistributedSet;
import io.atomix.core.set.impl.SetUpdate;
import io.atomix.core.transaction.TransactionId;
import io.atomix.core.transaction.TransactionLog;
import io.atomix.primitive.protocol.ProxyProtocol;
import java.util.Map;
import java.util.concurrent.CompletableFuture;
/**
* Repeatable reads transactional set.
*/
public class RepeatableReadsTransactionalSet extends TransactionalSetParticipant {
private final Map> cache = Maps.newConcurrentMap();
private final Map> updates = Maps.newConcurrentMap();
public RepeatableReadsTransactionalSet(TransactionId transactionId, AsyncDistributedSet set) {
super(transactionId, set);
}
@Override
public ProxyProtocol protocol() {
return (ProxyProtocol) set.protocol();
}
private CompletableFuture read(E element) {
return cache.computeIfAbsent(element, set::contains);
}
@Override
public CompletableFuture add(E e) {
SetUpdate update = updates.get(e);
if (update != null) {
switch (update.type()) {
case ADD:
return CompletableFuture.completedFuture(false);
case REMOVE:
case NOT_CONTAINS:
updates.put(e, new SetUpdate<>(SetUpdate.Type.ADD, e));
return CompletableFuture.completedFuture(true);
case CONTAINS:
return CompletableFuture.completedFuture(false);
default:
throw new AssertionError();
}
} else {
return read(e)
.thenApply(exists -> {
if (exists) {
updates.put(e, new SetUpdate<>(SetUpdate.Type.CONTAINS, e));
return false;
} else {
updates.put(e, new SetUpdate<>(SetUpdate.Type.ADD, e));
return true;
}
});
}
}
@Override
public CompletableFuture remove(E e) {
SetUpdate update = updates.get(e);
if (update != null) {
switch (update.type()) {
case ADD:
updates.put(e, new SetUpdate<>(SetUpdate.Type.NOT_CONTAINS, e));
return CompletableFuture.completedFuture(true);
case REMOVE:
case NOT_CONTAINS:
return CompletableFuture.completedFuture(false);
case CONTAINS:
updates.put(e, new SetUpdate<>(SetUpdate.Type.REMOVE, e));
return CompletableFuture.completedFuture(true);
default:
throw new AssertionError();
}
} else {
return read(e)
.thenApply(exists -> {
if (exists) {
updates.put(e, new SetUpdate<>(SetUpdate.Type.REMOVE, e));
return true;
} else {
updates.put(e, new SetUpdate<>(SetUpdate.Type.NOT_CONTAINS, e));
return false;
}
});
}
}
@Override
public CompletableFuture contains(E e) {
SetUpdate update = updates.get(e);
if (update != null) {
switch (update.type()) {
case ADD:
case CONTAINS:
return CompletableFuture.completedFuture(true);
case REMOVE:
case NOT_CONTAINS:
return CompletableFuture.completedFuture(false);
default:
throw new AssertionError();
}
}
return read(e);
}
@Override
public TransactionLog> log() {
return new TransactionLog<>(transactionId, 0, Lists.newArrayList(updates.values()));
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy