Gibreel is a distributed cache