RedisAdapter added
fixed bug in SemaphoreManager::release()