A redundant route monitor for Unix operating system