diff --git a/product_docs/docs/efm/4/04_configuring_efm/05_using_vip_addresses.mdx b/product_docs/docs/efm/4/04_configuring_efm/05_using_vip_addresses.mdx
index 338df1dec86..bbc543874e2 100644
--- a/product_docs/docs/efm/4/04_configuring_efm/05_using_vip_addresses.mdx
+++ b/product_docs/docs/efm/4/04_configuring_efm/05_using_vip_addresses.mdx
@@ -10,36 +10,62 @@ legacyRedirectsGenerated:
-Failover Manager uses the `efm_address` script to assign or release a virtual IP address.
+Failover Manager can be used along with a virtual IP address (VIP) for routing requests to the current primary node.
!!! Note "Cloud provider support and alternatives"
Virtual IP addresses aren't supported by many cloud providers. In those environments, use another mechanism, such as an elastic IP address on AWS, that can be changed when needed by a fencing or post-promotion script.
-!!! Note "Behavior when the agent is stopped"
- Failover Manager will not drop the Virtual IP address (if used) from the primary node when the agent is stopped. As a convenience for testing, the primary agent will acquire the VIP at startup if the node does not already have it, but otherwise starting and stopping Failover Manager has no effect on the node having the virtual IP address.
+## Behavior during shutdown of an EFM agent
+
+Failover Manager will not drop the virtual IP address from the primary node when the agent for that node shuts down. As a convenience for testing, the primary node's agent will *acquire* the VIP during startup if the node does not already have it, but otherwise starting and stopping Failover Manager has no effect on whether the node holds the virtual IP address.
+
+This allows you to upgrade and perform maintenance on EFM services without interrupting access to the database.
+
+## Behavior during promotion of a node from standby to primary
+
+The VIP should be initially assigned to the primary node. When EFM detects failure of the primary node's database, it will release the VIP and then assign it to a standby node as that node is promoted to be the new primary.
+
+EFM verifies (via the command configured via the [`ping.server.command`](01_cluster_properties.mdx#ping_server_command) cluster property) that the VIP is not currently in use during promotion of a standby, and will not promote a new primary node until or unless the ping indicates the VIP is unreachable. You can disable this behavior via the [`check.vip.before.promotion`](01_cluster_properties.mdx#check_vip_before_promotion) cluster property.
+
+!!!tip "Meaning of the ping command exit code"
+ Failover Manager uses the exit code of the ping command to determine whether an address is reachable. A zero exit code indicates the address is reachable (in this context, this means the VIP is assigned). A non-zero exit code indicates the address isn't reachable (in this context, this means the VIP is unassigned).
+
+ This matches the behavior of the standard [`ping(8)`](https://manned.org/ping.8) command; if you configure a different command via the [`ping.server.command`](01_cluster_properties.mdx#ping_server_command) cluster property, it should also conform to this behavior.
+
+## Configuring Postgres when using multiple addresses for nodes
+
+If a VIP address or any address other than the `bind.address` is assigned to a node, the operating system can choose the source address used when contacting the database. Be sure to modify the `pg_hba.conf` file on all monitored databases to allow contact from all addresses within your replication scenario.
+
+## Using multiple interfaces
+
+The network interface used for the VIP doesn't have to be the same interface used for the Failover Manager agent's [`bind.address`](01_cluster_properties.mdx#bind_address) value. The primary agent drops the VIP as needed during a failover, and Failover Manager verifies that the VIP is no longer available before promoting a standby. A failure of the bind address network leads to primary isolation and failover.
-By default, the script resides in:
+If the VIP uses a different interface from the `bind.address`, you might encounter a timing condition in which the rest of the cluster checks for a reachable VIP before the primary agent drops it. In this case, Failover Manager retries the VIP check for the number of seconds specified in the [`node.timeout`](01_cluster_properties.mdx#node_timeout) property to help ensure that a failover happens as expected.
- `/usr/edb/efm-4./bin/efm_address`
+## The efm_address script
+
+Failover Manager uses the `efm_address` script to assign or release a virtual IP address.
+
+The script resides in: `/usr/edb/efm-4./bin/efm_address`
Failover Manager uses the following command variations to assign or release an IPv4 or IPv6 IP address.
To assign a virtual IPv4 IP address:
-```text
-# efm_address add4 /
+```console
+efm_address add4 /
```
To assign a virtual IPv6 IP address:
-```text
-# efm_address add6 /
+```console
+efm_address add6 /
```
To release a virtual address:
-```text
-# efm_address del
+```console
+efm_address del
```
Where:
@@ -54,12 +80,12 @@ For more information about properties that describe a virtual IP address, see [T
Invoke the `efm_address` script as the root user. The efm user is created during the installation and is granted privileges in the sudoers file to run the `efm_address` script. For more information about the `sudoers` file, see [Extending Failover Manager permissions](04_extending_efm_permissions/#extending_efm_permissions).
-!!! Note
- If a VIP address or any address other than the `bind.address` is assigned to a node, the operating system can choose the source address used when contacting the database. Be sure to modify the `pg_hba.conf` file on all monitored databases to allow contact from all addresses within your replication scenario.
-
## Testing the VIP
-When using a virtual IP (VIP) address with Failover Manager, it's important to test the VIP functionality manually before starting Failover Manager. This catches any network-related issues before they cause a problem during an actual failover. While testing the VIP, make sure that Failover Manager isn't running.
+When using a virtual IP (VIP) address with Failover Manager, it's important to test the VIP functionality manually before starting Failover Manager. This catches any network-related issues before they cause a problem during an actual failover.
+
+!!!important
+ While testing the VIP, make sure that Failover Manager isn't running.
The following steps test the actions that Failover Manager takes. The example uses the following property values:
@@ -73,28 +99,30 @@ ping.server.command=/bin/ping -q -c3 -w5
!!! Note
The `virtual.ip.prefix` specifies the number of significant bits in the virtual IP address.
-When instructed to ping the VIP from a node, use the command defined by the `ping.server.command` property.
+When instructed to ping the VIP from a node, use the command defined by the [`ping.server.command`](01_cluster_properties.mdx#ping_server_command) property and run it from the machine configured in EFM for the appropriate role (primary / secondary / witness).
1. Ping the VIP from all nodes to confirm that the address isn't already in use:
- ```text
- # /bin/ping -q -c3 -w5 172.24.38.239
+ ```console
+ /bin/ping -q -c3 -w5 172.24.38.239
+ __OUTPUT__
PING 172.24.38.239 (172.24.38.239) 56(84) bytes of data.
--- 172.24.38.239 ping statistics ---
4 packets transmitted, 0 received, +3 errors, 100% packet loss,
time 3000ms
```
- You see 100% packet loss.
-
- !!!important
- Failover Manager uses the exit code of the ping command to determine whether the address was reachable. In this case, the exit code isn't zero. If you're using a command other than ping, it must return a non-zero exit code if the address isn't reachable.
+ You will see 100% packet loss when the address is unused.
+
+ !!!tip "Meaning of the ping command exit code for unreachable addresses"
+ Failover Manager uses the exit code of the ping command to determine whether the address was reachable. In this case, the exit code isn't zero. If you're using a command other than ping, it must return a non-zero exit code when the address isn't reachable.
-2. Run the `efm_address add4` command on the primary node to assign the VIP, and then confirm with ip address:
+2. Run the `efm_address add4` command on the machine configured as the primary node to assign the VIP, and then confirm with ip address:
- ```text
- # efm_address add4 eth0 172.24.38.239/24
- # ip address
+ ```console
+ efm_address add4 eth0 172.24.38.239/24
+ ip address
+ __OUTPUT__