Redis

We implement message queues on top of Redis to make time-consuming
tasks asynchronous.