public interface Synchronizer {
        public void initialize();// initialize the synchronizer
        public void sendMessage(int destId, String tag, int msg);
        public void nextPulse();// block for the next pulse 
}