Changeset 15d0046 in mainline for tools/config.py

Timestamp:

2014-09-12T13:22:33Z (10 years ago)

Author:

Vojtech Horky <vojtechhorky@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

9b20126

Parents:

8db09e4 (diff), 105d8d6 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge mainline changes

File:

• tools/config.py (modified) (3 diffs)

tools/config.py

@@ -40 +40 @@
 import subprocess
 import xtui
+import random
 
 RULES_FILE = sys.argv[1]
@@ -256 +257 @@
         
         return True
+
+## Fill the configuration with random (but valid) values.
+#
+# The random selection takes next rule and if the condition does
+# not violate existing configuration, random value of the variable
+# is selected.
+# This happens recursively as long as there are more rules.
+# If a conflict is found, we backtrack and try other settings of the
+# variable or ignoring the variable altogether.
+#
+# @param config Configuration to work on
+# @param rules  Rules
+# @param start_index With which rule to start (initial call must specify 0 here).
+# @return True if able to find a valid configuration 
+def random_choices(config, rules, start_index):
+        "Fill the configuration with random (but valid) values."
+        if start_index >= len(rules):
+                return True
+        
+        varname, vartype, name, choices, cond = rules[start_index]
+
+        # First check that this rule would make sense   
+        if cond:
+                if not check_condition(cond, config, rules):
+                        return random_choices(config, rules, start_index + 1)
+        
+        # Remember previous choices for backtracking
+        yes_no = 0
+        choices_indexes = range(0, len(choices))
+        random.shuffle(choices_indexes)
+        
+        # Remember current configuration value
+        old_value = None
+        try:
+                old_value = config[varname]
+        except KeyError:
+                old_value = None
+        
+        # For yes/no choices, we ran the loop at most 2 times, for select
+        # choices as many times as there are options.
+        try_counter = 0
+        while True:
+                if vartype == 'choice':
+                        if try_counter >= len(choices_indexes):
+                                break
+                        value = choices[choices_indexes[try_counter]][0]
+                elif vartype == 'y' or vartype == 'n':
+                        if try_counter > 0:
+                                break
+                        value = vartype
+                elif vartype == 'y/n' or vartype == 'n/y':
+                        if try_counter == 0:
+                                yes_no = random.randint(0, 1)
+                        elif try_counter == 1:
+                                yes_no = 1 - yes_no
+                        else:
+                                break
+                        if yes_no == 0:
+                                value = 'n'
+                        else:
+                                value = 'y'
+                else:
+                        raise RuntimeError("Unknown variable type: %s" % vartype)
+        
+                config[varname] = value
+                
+                ok = random_choices(config, rules, start_index + 1)
+                if ok:
+                        return True
+                
+                try_counter = try_counter + 1
+        
+        # Restore the old value and backtrack
+        # (need to delete to prevent "ghost" variables that do not exist under
+        # certain configurations)
+        config[varname] = old_value
+        if old_value is None:
+                del config[varname]
+        
+        return random_choices(config, rules, start_index + 1)
+        
 
 ## Get default value from a rule.
@@ -555 +637 @@
                 return 1
         
+        # Random mode
+        if (len(sys.argv) == 3) and (sys.argv[2] == 'random'):
+                ok = random_choices(config, rules, 0)
+                if not ok:
+                        sys.stderr.write("Internal error: unable to generate random config.\n")
+                        return 2
+                if not infer_verify_choices(config, rules):
+                        sys.stderr.write("Internal error: random configuration not consistent.\n")
+                        return 2
+                preprocess_config(config, rules)
+                create_output(MAKEFILE, MACROS, config, rules)
+                
+                return 0        
+        
         screen = xtui.screen_init()
         try: