private void sendToCoordinator (Request r) { while (true) { Address coordinator = getCoordinator(); try { channel.send (new Message (coordinator, r)); break; } catch (Exception e) { error ("error " + e.getMessage() + ", retrying"); try { Thread.sleep (MAX_WAIT); } catch (InterruptedException ex) { } } } } private void initChannel (String groupName, String configFile)
public void push (Object key, Object value, long timeout) { getCoordinator(); try { Request r = new Request (Request.PUSH, key, value, timeout); channel.send (new Message (null, r)); Object o = sp.in (r.getUUID(), MAX_OUT_WAIT); if (o == null) throw new SpaceError ("Could not push " + key); } catch (Exception e) { throw new SpaceError (e); } } public void put (Object key, Object value) {
public void put (Object key, Object value, long timeout) { getCoordinator(); try { Request r = new Request (Request.PUT, key, value, timeout); channel.send (new Message (null, r)); Object o = sp.in (r.getUUID(), MAX_OUT_WAIT); if (o == null) throw new SpaceError ("Could not put " + key); } catch (Exception e) { throw new SpaceError (e); } } public Object rdp (Object key) {
public void out (Object key, Object value, long timeout) { getCoordinator(); try { Request r = new Request (Request.OUT, key, value, timeout); channel.send (new Message (null, r)); Object o = sp.in (r.getUUID(), MAX_OUT_WAIT); if (o == null) throw new SpaceError ("Could not out " + key); } catch (Exception e) { throw new SpaceError (e); } } public void push (Object key, Object value) {