public void run() {
Event evt;
while (evt_thread != null && event_queue != null) {
try {
evt = (Event) event_queue.remove();
switch (evt.getType()) {
case Event.SUSPECT:
impl.suspect((Address) evt.getArg());
break;
case Event.MERGE:
impl.merge((Vector) evt.getArg());
break;
default:
Trace.error(
"GMS.run()",
"event handler thread encountered event of type "
+ Event.type2String(evt.getType())
+ ": not handled by me !");
break;
}
} catch (QueueClosedException closed) {
break;
} catch (Exception ex) {
Trace.warn("GMS.run()", "exception=" + ex);
}
}
}
public void merge(Vector other_coords) {
synchronized (impl_mutex) {
impl.merge(other_coords);
}
}
