URL Shortener Key Generation Tradeoffs

Choosing a short-key generation strategy for a URL shortener involves tradeoffs in collisions, coordination, and scalability.

You're designing a URL shortener that must generate unique short codes at high write throughput across many servers. Which approach best balances uniqueness guarantees with avoiding a collision-check bottleneck at scale?