RedisAdapter + bugfix in SemaphoreManager::release()