A C / Java library to efficiently ping thousands of hosts.