Design a globally distributed URL shortening service capable of handling extremely high read throughput (millions of redirects per second) and providing high availability for billions of persistent mappings, focusing on efficient ID generation and low-latency data retrieval.