Using redis for more accurate multi-server metrics