A distributed counter