Add readLock and writeLock member functions to ISnakeServer and use
synchronized in pull and push member function of SyncSnake class