Example #1
0
 // Priority handling, otherwise GMS.down(DISCONNECT) would block !
 // Similar to FLUSH protocol
 public void receiveDownEvent(Event evt) {
   if (evt.getType() == Event.BLOCK_OK) {
     passDown(evt);
     return;
   }
   super.receiveDownEvent(evt);
 }
Example #2
0
  public void start() throws Exception {
    super.start();
    if (checkForViewEnforcer(up_prot) == false) {
      Trace.warn(
          "GMS.start()",
          "I need protocol layer "
              + "VIEW_ENFORCER above me to discard messages sent to me while I'm "
              + "not yet a group member ! Otherwise, these messages will be delivered "
              + "to the application without checking...\n");
    }

    if (_corr != null) _corr.setDeadlockDetection(true);
    else throw new Exception("GMS.start(): cannot set deadlock detection in corr, as it is null !");
  }