CausalCheckerFactory.java

/**
 * Replication Benchmarker
 * https://github.com/score-team/replication-benchmarker/ Copyright (C) 2013
 * LORIA / Inria / SCORE Team
 *
 * This program is free software: you can redistribute it and/or modify it under
 * the terms of the GNU General Public License as published by the Free Software
 * Foundation, either version 3 of the License, or (at your option) any later
 * version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
 * details.
 *
 * You should have received a copy of the GNU General Public License along with
 * this program. If not, see <http://www.gnu.org/licenses/>.
 */
package jbenchmarker.trace;

import collect.VectorClock;
import crdt.CRDT;
import crdt.Operation;
import crdt.simulator.IncorrectTraceException;
import crdt.simulator.TraceOperation;
import java.util.List;
import jbenchmarker.core.MergeAlgorithm;
import jbenchmarker.core.ReplicaFactory;
import jbenchmarker.core.SequenceOperation;
import jbenchmarker.sim.PlaceboFactory.PlaceboDocument;

/**
 * Check that operation are received in causal order.
 *
 * @author urso
 */
@Deprecated
public class CausalCheckerFactory extends ReplicaFactory {
//   @Override

    class CausalCheckerFactoryMessage implements Operation {

        VectorClock v;
        SequenceOperation o;
        int replica;

        public CausalCheckerFactoryMessage(SequenceOperation o, VectorClock v, int replica) {
            this.o = o;
            this.replica = replica; 
            this.v = v;
        }

        public VectorClock getV() {
            return v;
        }

        @Override
        public Operation clone() {
            return this;
        }

        private Operation getOriginalOp() {
            return o;
        }

        private int getReplica() {
            return replica;
        }
    }

    private static class CCMerge extends MergeAlgorithm {

        public CCMerge(int r) {
            super(new PlaceboDocument(), r);
        }
        private VectorClock vc = new VectorClock();

        @Override
        protected void integrateRemote(crdt.Operation message) throws IncorrectTraceException {
            CausalCheckerFactoryMessage ops = (CausalCheckerFactoryMessage) message;
            check(ops);
            this.getDoc().apply(ops.getOriginalOp());
            vc.inc(ops.getReplica());
        }

        /*@Override
         protected List<SequenceMessage> generateLocal(LocalOperation opt) throws IncorrectTraceException {
         check(opt);
         List<SequenceMessage> l = new ArrayList<SequenceMessage>(1);
         SequenceMessage op = new CausalCheckerFactoryMessage(opt,opt.getVectorClock(),this.getReplicaNumber());
         l.add(op);
         this.getDoc().apply(op);
         vc.inc(this.getReplicaNumber());
         return l;
         }*/
        private void check(TraceOperation op) throws IncorrectTraceException {
            if (!vc.readyFor(op.getReplica(), op.getVectorClock())) {
                throw new IncorrectTraceException("Replica " + this.getReplicaNumber() + "[vc:" + this.vc + "] not ready for " + op);
            }
        }

        private void check(CausalCheckerFactoryMessage op) throws IncorrectTraceException {
            if (!vc.readyFor(op.getReplica(), op.getV())) {
                throw new IncorrectTraceException("Replica " + this.getReplicaNumber() + "[vc:" + this.vc + "] not ready for " + op);
            }
        }

        @Override
        public CRDT<String> create() {
            throw new UnsupportedOperationException("Not supported yet.");
        }

        @Override
        protected List<Operation> localInsert(SequenceOperation opt) throws IncorrectTraceException {
            return null;
        }

        @Override
        protected List<Operation> localDelete(SequenceOperation opt) throws IncorrectTraceException {
            return null;
        }
    }

    @Override
    public MergeAlgorithm create(int r) {
        return new CCMerge(r);
    }
}