Deriving unique server IDs from IP addresses
AWK scripts for converting between IP addresses and decimal numbers – and why this makes a reliable source of unique server IDs for MySQL replication clusters and other distributed systems.
Awk
AWK and GAWK for fast, scriptable processing of large text and data files.