[routing-manager] defer OMR prefix removal with a randomized delay

When `OmrPrefixManager` yields to a more-favored peer prefix, `RemoveLocalFromNetData()` is called immediately, producing back-to-back Network Data version bumps.

According to the OMR section in Thread spec, cooperative (preference-based) removal should use a randomized delay, and not an immediate withdrawal.

This change adds `kToRemove` to `LocalPrefixState` completing the delayed-removal path in openthread#12753.

Author: suveshpratapa

src/core/border_router/routing_manager.cpp

@@ -995,6 +995,11 @@ void RoutingManager::OmrPrefixManager::Evaluate(void)
             break;
         }
 
+        case kToRemove:
+            // No favored prefix; cancel the pending removal and re-add our local prefix.
+            AddLocalToNetData();
+            break;
+
         case kAdded:
         case kToAdd:
             break;
@@ -1013,19 +1018,44 @@ void RoutingManager::OmrPrefixManager::Evaluate(void)
     // we remove our local prefix if it is added or scheduled to be added.
 
     SetFavoredPrefix(favoredPrefix);
-    RemoveLocalFromNetData();
+
+    switch (mLocalInNetDataState)
+    {
+    case kAdded:
+    {
+        uint32_t delay = Random::NonCrypto::GenerateInClosedRange(kMinDelayToRemove, kMaxDelayToRemove);
+
+        mLocalInNetDataState = kToRemove;
+        mTimer.Start(delay);
+        LogInfo("Will remove %s from NetData in %lu msec", LocalToString().AsCString(), ToUlong(delay));
+        break;
+    }
+
+    case kToAdd:
+        // Prefix not yet in Network Data; cancel the pending add.
+        mTimer.Stop();
+        mLocalInNetDataState = kNotAdded;
+        break;
+
+    case kToRemove:
+    case kNotAdded:
+        break;
+    }
 
 exit:
     return;
 }
 
 void RoutingManager::OmrPrefixManager::HandleTimer(void)
 {
-    VerifyOrExit(mLocalInNetDataState == kToAdd);
-    AddLocalToNetData();
-
-exit:
-    return;
+    if (mLocalInNetDataState == kToAdd)
+    {
+        AddLocalToNetData();
+    }
+    else if (mLocalInNetDataState == kToRemove)
+    {
+        RemoveLocalFromNetData();
+    }
 }
 
 bool RoutingManager::OmrPrefixManager::ShouldAdvertiseLocalAsRio(void) const
@@ -1113,6 +1143,8 @@ void RoutingManager::OmrPrefixManager::RemoveLocalFromNetData(void)
     switch (mLocalInNetDataState)
     {
     case kAdded:
+    case kToRemove:
+        mTimer.Stop();
         IgnoreError(Get<NetworkData::Local>().RemoveOnMeshPrefix(mLocalPrefix.GetPrefix()));
         Get<NetworkData::Notifier>().HandleServerDataUpdated();
         LogInfo("Removed %s from NetData", LocalToString().AsCString());

src/core/border_router/routing_manager.hpp

@@ -643,12 +643,16 @@ class RoutingManager : public InstanceLocator
 #endif
 
     private:
-        // All times are in msec
-        static constexpr uint32_t kMinDelayToAdd  = 250;
-        static constexpr uint32_t kMaxDelayToAdd  = kMinDelayToAdd + 3500;
-        static constexpr uint32_t kRetryDelay     = 1500;
-        static constexpr uint16_t kRetryJitter    = 150;
-        static constexpr uint16_t kInfoStringSize = 85;
+        // All times are in msec.
+        static constexpr uint32_t kMinDelayToAdd = 250;
+        static constexpr uint32_t kMaxDelayToAdd =
+            kMinDelayToAdd + OPENTHREAD_CONFIG_NETDATA_PUBLISHER_MAX_DELAY_TO_ADD;
+        static constexpr uint32_t kMinDelayToRemove =
+            kMaxDelayToAdd; // never remove before the peer's add window closes
+        static constexpr uint32_t kMaxDelayToRemove = OPENTHREAD_CONFIG_NETDATA_PUBLISHER_MAX_DELAY_TO_REMOVE;
+        static constexpr uint32_t kRetryDelay       = 1500;
+        static constexpr uint16_t kRetryJitter      = 150;
+        static constexpr uint16_t kInfoStringSize   = 85;
 
         typedef String<kInfoStringSize> InfoString;
 
@@ -664,6 +668,7 @@ class RoutingManager : public InstanceLocator
             kNotAdded,
             kToAdd,
             kAdded,
+            kToRemove,
         };
 
         void       SetFavoredPrefix(const OmrPrefix &aOmrPrefix);