A mutex that is shared through redis