[fix](user) Avoid throw unknown UserProperty after FE rollback version (apache#28325)

After using SET PROPERTY to modify the user property, if FE rolls back to a version without this property, `Unknown user property` error will be reported when replay EditLog, just ignore it.

Author: xinyiZzz

fe/fe-core/src/main/java/org/apache/doris/mysql/privilege/Auth.java

@@ -953,7 +953,7 @@ public void updateUserPropertyInternal(String user, List<Pair<String, String>> p
             throws UserException {
         writeLock();
         try {
-            propertyMgr.updateUserProperty(user, properties);
+            propertyMgr.updateUserProperty(user, properties, isReplay);
             if (!isReplay) {
                 UserPropertyInfo propertyInfo = new UserPropertyInfo(user, properties);
                 Env.getCurrentEnv().getEditLog().logUpdateUserProperty(propertyInfo);

fe/fe-core/src/main/java/org/apache/doris/mysql/privilege/UserProperty.java

@@ -36,6 +36,8 @@
 import com.google.common.collect.Maps;
 import com.google.common.collect.Sets;
 import org.apache.commons.lang3.StringUtils;
+import org.apache.logging.log4j.LogManager;
+import org.apache.logging.log4j.Logger;
 
 import java.io.DataInput;
 import java.io.DataOutput;
@@ -50,8 +52,13 @@
 /*
  * UserProperty contains properties set for a user
  * This user is just qualified by cluster name, not host which it connected from.
+ *
+ * If UserProperty and SessionVeriable have the same name, UserProperty has a higher priority than SessionVeriable.
+ * This usually means that the cluster administrator force user restrictions.
+ * Users cannot modify these SessionVeriables with the same name.
  */
 public class UserProperty implements Writable {
+    private static final Logger LOG = LogManager.getLogger(UserProperty.class);
     // advanced properties
     private static final String PROP_MAX_USER_CONNECTIONS = "max_user_connections";
     private static final String PROP_MAX_QUERY_INSTANCES = "max_query_instances";
@@ -172,6 +179,10 @@ public long getExecMemLimit() {
     }
 
     public void update(List<Pair<String, String>> properties) throws UserException {
+        update(properties, false);
+    }
+
+    public void update(List<Pair<String, String>> properties, boolean isReplay) throws UserException {
         // copy
         long newMaxConn = this.commonProperties.getMaxConn();
         long newMaxQueryInstances = this.commonProperties.getMaxQueryInstances();
@@ -311,7 +322,14 @@ public void update(List<Pair<String, String>> properties) throws UserException {
                 }
                 workloadGroup = value;
             } else {
-                throw new DdlException("Unknown user property(" + key + ")");
+                if (isReplay) {
+                    // After using SET PROPERTY to modify the user property, if FE rolls back to a version without
+                    // this property, `Unknown user property` error will be reported when replay EditLog,
+                    // just ignore it.
+                    LOG.warn("Unknown user property(" + key + "), maybe FE rolled back version, Ignore it");
+                } else {
+                    throw new DdlException("Unknown user property(" + key + ")");
+                }
             }
         }
 

fe/fe-core/src/main/java/org/apache/doris/mysql/privilege/UserPropertyMgr.java

@@ -72,13 +72,14 @@ public void dropUser(UserIdentity userIdent) {
         }
     }
 
-    public void updateUserProperty(String user, List<Pair<String, String>> properties) throws UserException {
+    public void updateUserProperty(String user, List<Pair<String, String>> properties, boolean isReplay)
+            throws UserException {
         UserProperty property = propertyMap.get(user);
         if (property == null) {
             throw new DdlException("Unknown user(" + user + ")");
         }
 
-        property.update(properties);
+        property.update(properties, isReplay);
     }
 
     public int getQueryTimeout(String qualifiedUser) {