Redis Is there a chance that server.run_id will be repeated?

server.run_id is generated using a random function , what happens if duplicates occur?

getRandomHexChars(server.runid,CONFIG_RUN_ID_SIZE);
server.runid[CONFIG_RUN_ID_SIZE] = '\0';

Comment From: antirez

Can't happen because it is taken from /dev/urandom. Even in the unlikely case it is not available, Redis takes multiple times the current microsecond time (which in new systems have a very good resolution), the pid file, a random pointer, hashing them together, even in this case it is very unlikely we'll see a repeated value, however this is just a fallback and the way to get it is /dev/urandom.