Example #1
0
 private void handleLeaveEvent(LeaveEvent ev) {
   try {
     ev.go();
   } catch (AppiaEventException e) {
     e.printStackTrace();
   }
 }
 /** @param event */
 private void handleBCast(SendableEvent event) {
   try {
     event.go();
   } catch (AppiaEventException e) {
     e.printStackTrace();
   }
 }
  private void allCorrect() {
    int reg;
    for (reg = 0; reg < NUM_REGISTERS; reg++) {

      boolean allAcks = true;
      int i;
      for (i = 0; (i < correct.getSize()) && allAcks; i++) {
        SampleProcess p = correct.getProcess(i);
        if (p.isCorrect() && !writeSet.get(reg).contains(p)) allAcks = false;
      }
      if (allAcks) {
        writeSet.get(reg).clear();

        try {
          SharedWriteReturn ev = new SharedWriteReturn(mainchannel, Direction.UP, this);
          ev.reg = reg;
          ev.go();

          debug("Sent WriteReturn");
        } catch (AppiaEventException ex) {
          ex.printStackTrace();
        }
      }
    }
  }
Example #4
0
 /** Sets a timer to delay a message that came from the network. */
 private void setTimer(ListContainer container, long timeout, ViewID vid) {
   try {
     log.debug("TIME Container: " + container.header.getTime());
     SETOTimer timer =
         new SETOTimer(
             timeout / 1000,
             container.event.getChannel(),
             Direction.DOWN,
             this,
             EventQualifier.ON,
             container,
             vid);
     timer.go();
     if (log.isDebugEnabled())
       log.debug(
           "Setting new timer. NOW is "
               + timeProvider.currentTimeMillis()
               + " timer to "
               + timer.getTimeout());
   } catch (AppiaEventException e) {
     e.printStackTrace();
   } catch (AppiaException e) {
     e.printStackTrace();
   }
 }
Example #5
0
 /** Tries to deliver Uniform messages. */
 private void deliverUniform() {
   log.debug("Trying to deliver FINAL messages!");
   ListIterator it = G.listIterator();
   while (it.hasNext()) {
     ListSEQContainer nextMsg = (ListSEQContainer) it.next();
     if (isUniform(nextMsg.header)) {
       ListContainer msgContainer = getRemoveMessage(nextMsg.header, R);
       log.debug("Resending message to Appl: " + msgContainer.event);
       log.debug(
           "["
               + ls.my_rank
               + "] Delivering final "
               + msgContainer.header.id
               + ":"
               + msgContainer.header.sn
               + " timestamp "
               + timeProvider.currentTimeMillis());
       try {
         // deliver uniform notification
         UniformServiceEvent use =
             new UniformServiceEvent(
                 msgContainer.event.getChannel(),
                 Direction.UP,
                 this,
                 msgContainer.event.getMessage());
         use.go();
       } catch (AppiaEventException e) {
         e.printStackTrace();
       }
       it.remove();
     }
   }
 }
Example #6
0
  private void handleGroupSendableEvent(GroupSendableEvent ev) {
    if (ev instanceof Send) {
      try {
        ev.go();
      } catch (AppiaEventException ex) {
        ex.printStackTrace();
      }
      return;
    }

    if (ev.getDir() == Direction.DOWN) {
      last_recv[ls.my_rank] = round;
      if (debugFull) log.debug("Sent msg (" + ev + ") in round " + round);
    } else {
      last_recv[ev.orig] = round;
      if (debugFull) log.debug("Recv msg from " + ev.orig + " in round " + round);
    }

    if (ev instanceof Alive) return;

    try {
      ev.go();
    } catch (AppiaEventException ex) {
      ex.printStackTrace();
    }
  }
Example #7
0
  /**
   * Deliver a DATA event received from the network.
   *
   * @param event the event received from the network.
   */
  private void reliableDATADeliver(GroupSendableEvent event) {
    Message msg = event.getMessage();
    long[] uniformInfo = new long[vs.view.length];
    for (int i = uniformInfo.length; i > 0; i--) uniformInfo[i - 1] = msg.popLong();
    mergeUniformInfo(uniformInfo);
    DATAHeader header = DATAHeader.pop(event.getMessage());
    log.debug(
        "Received DATA message: "
            + header.id
            + ":"
            + header.sn
            + " timestpamp is "
            + timeProvider.currentTimeMillis());
    header.setTime(delay[header.id] + timeProvider.currentTimeMillis());
    ListContainer container = new ListContainer(event, header);
    // add the event to the RECEIVED list...
    R.addLast(container);
    // ... and set a timer to be delivered later, according to the delay that came with the message
    setTimer(container, delay[header.id], vs.id);

    // Deliver event to the upper layer (spontaneous order)
    try {
      event.go();
    } catch (AppiaEventException e) {
      e.printStackTrace();
    }
  }
Example #8
0
  private void deliverPendingView() {
    try {
      pendingView.go();
    } catch (AppiaEventException e) {
      e.printStackTrace();
    }

    if (!pendingMessages.isEmpty()) {
      log.debug("Delivering " + pendingMessages.size() + " pending messages");
      for (GroupSendableEvent event : pendingMessages) {
        reliableDATADeliver(event);
      }
      pendingMessages.clear();
    }

    if (!utSet) {
      try {
        UniformTimer ut =
            new UniformTimer(
                UNIFORM_INFO_PERIOD,
                pendingView.getChannel(),
                Direction.DOWN,
                this,
                EventQualifier.ON);
        ut.go();
        utSet = true;
      } catch (AppiaEventException e) {
        e.printStackTrace();
      } catch (AppiaException e) {
        e.printStackTrace();
      }
    }

    pendingView = null;
  }
Example #9
0
  private void handleFIFOUndeliveredEvent(FIFOUndeliveredEvent ev) {
    try {
      ev.go();
    } catch (AppiaEventException ex) {
      ex.printStackTrace();
    }

    if (vs == null) return;

    if (!(ev.getEvent() instanceof GroupSendableEvent)) return;

    final GroupSendableEvent event = (GroupSendableEvent) ev.getEvent();

    if (!vs.group.equals(event.group)) {
      log.debug("Ignored FIFOUndelivered due to wrong group");
      return;
    }

    if (!vs.id.equals(event.view_id)) {
      log.debug("Ignored FIFOUndelivered due to wrong view id");
      return;
    }

    if (event.dest instanceof InetSocketAddress)
      undelivered((InetSocketAddress) event.dest, ev.getChannel());
    else if (event.dest instanceof AppiaMulticast) {
      Object[] dests = ((AppiaMulticast) event.dest).getDestinations();
      for (int i = 0; i < dests.length; i++) {
        if (dests[i] instanceof InetSocketAddress)
          undelivered((InetSocketAddress) dests[i], ev.getChannel());
      }
    } else log.debug("Received FIFOUndelivered with unknown destination address. Ignoring it.");
  }
Example #10
0
  private void handleView(View ev) {
    vs = ev.vs;
    ls = ev.ls;

    try {
      ev.go();
    } catch (AppiaEventException ex) {
      ex.printStackTrace();
    }

    if (round == 0) {
      try {
        SuspectTimer periodic =
            new SuspectTimer("Suspect Timer", suspect_sweep, ev.getChannel(), this);
        periodic.go();
      } catch (AppiaException ex) {
        ex.printStackTrace();
        System.err.println(
            "appia:group:SuspectSession: impossible to set SuspectTimer, SuspectSession will be idle");
      }
    }

    if (vs.view.length != last_recv.length) {
      last_recv = new long[vs.view.length];
    }
    round = 1;
    Arrays.fill(last_recv, round);
  }
  /** @param init */
  private void handleChannelInit(ChannelInit init) {
    try {
      init.go();
    } catch (AppiaEventException e) {
      e.printStackTrace();
    }
    channel = init.getChannel();

    try {
      // sends this event to open a socket in the layer that is used has
      // perfect
      // point to point
      // channels or unreliable point to point channels.
      RegisterSocketEvent rse = new RegisterSocketEvent(channel, Direction.DOWN, this);
      rse.port = ((InetSocketAddress) processes.getSelfProcess().getSocketAddress()).getPort();
      rse.localHost =
          ((InetSocketAddress) processes.getSelfProcess().getSocketAddress()).getAddress();
      rse.go();
      ProcessInitEvent processInit = new ProcessInitEvent(channel, Direction.DOWN, this);
      processInit.setProcessSet(processes);
      processInit.go();
    } catch (AppiaEventException e1) {
      e1.printStackTrace();
    }
    System.out.println("Channel is open.");
  }
Example #12
0
 private void handleChannelClose(ChannelClose close) {
   log.warn("Channel is closing!");
   try {
     close.go();
   } catch (AppiaEventException e) {
     e.printStackTrace();
   }
 }
 /** @param close */
 private void handleChannelClose(ChannelClose close) {
   channels.put(close.getChannel(), null);
   try {
     close.go();
   } catch (AppiaEventException e) {
     e.printStackTrace();
   }
 }
Example #14
0
 /*
  * handles ChannelInit
  * @param init
  */
 private void handleChannelInit(ChannelInit init) {
   try {
     init.go();
   } catch (AppiaEventException e) {
     e.printStackTrace();
   }
   time = init.getChannel().getTimeProvider();
 }
 /** @param init */
 private void handleChannelInit(ChannelInit init) {
   channels.put(init.getChannel(), null);
   try {
     init.go();
   } catch (AppiaEventException e) {
     e.printStackTrace();
   }
 }
Example #16
0
 /** Delivers a message to the layer above. */
 private void delivery(GroupSendableEvent event) {
   try {
     event.setSource(this);
     event.init();
     event.go();
   } catch (AppiaEventException e) {
     e.printStackTrace();
   }
 }
 private void handleProcessInit(ProcessInitEvent event) {
   correct = event.getProcessSet();
   init();
   try {
     event.go();
   } catch (AppiaEventException ex) {
     ex.printStackTrace();
   }
 }
Example #18
0
 private void sendFail(boolean[] failed, Channel channel) {
   try {
     Fail ev = new Fail(failed, vs.group, vs.id);
     EchoEvent echo = new EchoEvent(ev, channel, Direction.DOWN, this);
     echo.go();
   } catch (AppiaEventException ex) {
     ex.printStackTrace();
     System.err.println("appia:group:SuspectSession: impossible to inform locally of failure");
   }
 }
 private void handleSharedRead(SharedRead event) {
   try {
     SharedReadReturn ev = new SharedReadReturn(mainchannel, Direction.UP, this);
     ev.reg = event.reg;
     ev.value = value[event.reg];
     ev.go();
   } catch (AppiaEventException ex) {
     ex.printStackTrace();
   }
 }
Example #20
0
  private void sendAlive(Channel channel) {
    if (vs.view.length < 2) return;

    try {
      Alive alive = new Alive(channel, Direction.DOWN, this, vs.group, vs.id);
      alive.go();
    } catch (AppiaEventException ex) {
      ex.printStackTrace();
      log.warn("Impossible to send alive");
    }
  }
Example #21
0
 private void sendSuspect(boolean[] failed, Channel channel) {
   try {
     Suspect ev = new Suspect(failed, channel, Direction.DOWN, this, vs.group, vs.id);
     ArrayOptimized.pushArrayBoolean(ls.failed, ev.getMessage());
     // ev.getObjectsMessage().push(ls.failed);
     ev.go();
   } catch (AppiaEventException ex) {
     ex.printStackTrace();
     log.warn("Impossible to send Suspect");
   }
 }
  private void handleCrash(Crash event) {
    correct.setCorrect(event.getCrashedProcess(), false);

    try {
      event.go();
    } catch (AppiaEventException ex) {
      ex.printStackTrace();
    }

    allCorrect();
  }
 /** @param ok */
 private void handleBlockOk(BlockOk ok) {
   log.debug("Collecting blockok events :: counter = " + blockOkCounter);
   if ((--blockOkCounter) == 0) {
     try {
       log.debug("Delivering blockok on channel: " + ok.getChannel().getChannelID());
       ok.go();
     } catch (AppiaEventException e) {
       e.printStackTrace();
     }
   }
 }
Example #24
0
  /**
   * The group os blocked. It is going to change view.
   *
   * @param ok
   */
  private void handleBlockOk(BlockOk ok) {
    log.debug("The group is blocked.");
    log.debug("Impossible to send messages. Waiting for a new View");
    isBlocked = true;

    try {
      ok.go();
    } catch (AppiaEventException e) {
      e.printStackTrace();
    }
  }
Example #25
0
  private void handleTcpUndeliveredEvent(TcpUndeliveredEvent ev) {
    try {
      ev.go();
    } catch (AppiaEventException ex) {
      ex.printStackTrace();
    }

    if (vs == null) return;

    undelivered((InetSocketAddress) ev.getFailedAddress(), ev.getChannel());
  }
Example #26
0
 /**
  * This is the protocol's main event handler. It accepts the following events:
  *
  * <ul>
  *   <li>net.sf.appia.protocols.group.leave.LeaveEvent
  *   <li>net.sf.appia.protocols.group.events.GroupSendableEvent
  *   <li>net.sf.appia.protocols.group.intra.View
  * </ul>
  *
  * @param event the event to handle.
  * @see net.sf.appia.core.Session#handle(net.sf.appia.core.Event)
  */
 public void handle(Event event) {
   if (event instanceof View) handleView((View) event);
   else if (event instanceof LeaveEvent) handleLeaveEvent((LeaveEvent) event);
   else if (event instanceof GroupSendableEvent)
     handleGroupSendableEvent((GroupSendableEvent) event);
   else
     try {
       event.go();
     } catch (AppiaEventException e) {
       e.printStackTrace();
     }
 }
  private void handleSharedWrite(SharedWrite event) {
    debug("received SharedWrite");

    try {
      WriteEvent ev = new WriteEvent(mainchannel, Direction.DOWN, this);
      ev.getMessage().pushObject(event.value);
      ev.getMessage().pushInt(event.reg);
      ev.go();
    } catch (AppiaEventException ex) {
      ex.printStackTrace();
    }
  }
Example #28
0
 private void ackView(Channel ch) {
   try {
     AckViewEvent ack = new AckViewEvent(ch, Direction.DOWN, this, vs.group, vs.id);
     //            int dest[] = new int[survivors.length];
     //            for (int i = 0; i < dest.length; i++)
     //                dest[i] = vs.getRank(survivors[i]);
     // ack.dest = dest;
     ack.go();
   } catch (AppiaEventException e) {
     e.printStackTrace();
   }
   ackCounter = 0;
 }
 public void handle(Event e) {
   if (e instanceof GroupSendableEvent) handleGroupSendable((GroupSendableEvent) e);
   else if (e instanceof EchoEvent) handleEchoEvent((EchoEvent) e);
   else if (e instanceof View) handleView((View) e);
   else if (e instanceof BlockOk) handleBlockOk((BlockOk) e);
   else if (e instanceof ChannelInit) handleChannelInit((ChannelInit) e);
   else if (e instanceof ChannelClose) handleChannelClose((ChannelClose) e);
   else
     try {
       e.go();
     } catch (AppiaEventException e1) {
       e1.printStackTrace();
     }
 }
Example #30
0
 /**
  * Handles all received event
  *
  * @param ev
  */
 public void handle(Event ev) {
   if (ev instanceof TextEvent
       || ev instanceof DrawEvent
       || ev instanceof ImageEvent
       || ev instanceof ClearWhiteBoardEvent
       || ev instanceof MouseButtonEvent) handleInterestingEvent((GroupSendableEvent) ev);
   else {
     try {
       ev.go();
     } catch (AppiaEventException ex) {
       ex.printStackTrace();
     }
   }
 }