E.4. Concepts

This section offers formal definitions for some basic concepts related to the protocol.

Router

For our purposes, we characterize a router by the IP addresses of its interfaces and the routing relevant protocols its supports. In this specific sense, we define a router as an ordered pair consisting of the set of IP addresses and supported protocols:

< {ip1, ip2, ..., ipn}, {p1, p2, ..., pn}>.

We refer to the set of IP addresses associated with the interfaces of a router as its iset and the supported protocols as its pset. We represent the iset and pset of a router r as

iset(r)

and

pset(r).

Virtual Router

We define a virtual router as a tuple (or as an ordered set) consisting of

  • authentication information

  • advertisement interval

  • preemption ...

Get VRRP: Increasing Reliability and Failover with the Virtual Router Redundance Protocol now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial