A distributed, redundant, reliable timer service.