+#!/usr/bin/env python3
import os
import sys
import subprocess
import shutil
import utils
+import database
from conf import conf
from conf import sf
import exceptions
+import configurations
-def parse_kconfig():
- "Execute parse_kconfig in linux_sources directory."
- env = dict(os.environ)
+def all():
+ try:
+ utils.dirtycheck()
+ except exceptions.DirtyRepository as e:
+ print("Warning: " + str(e))
+ gen_fixed()
+ checkmeasure()
+ database.database() # check if database is initialized
+
+def __gen_allconfig_fixed__():
wd = os.getcwd()
os.chdir(sf(conf.linux_sources))
- if conf.parse_kconfig_output:
- subprocess.call([sf(conf.parse_kconfig), sf(conf.linux_kconfig_head), sf(conf.build_folder), "-v", "-v"], env=utils.get_kernel_env())
- else:
- subprocess.call([sf(conf.parse_kconfig), sf(conf.linux_kconfig_head), sf(conf.build_folder)], env=utils.get_kernel_env())
-
+ allconfig_cmd = [sf(conf.allconfig)]
+ allconfig_cmd += ['Kconfig', sf(conf.dot_config), sf(conf.dot_measure_file)]
+ allconfig_cmd += ['--inv']
+ utils.callsubprocess("allconfig_fixed", allconfig_cmd, False,
+ env = utils.get_kernel_env())
os.chdir(wd)
-def gen_requred():
- "Generates required depenpency from .config file in linux source tree."
+def gen_fixed():
+ "Generates fixed depenpency from dot_config file."
+ print('Generating required configuration...')
- if not os.path.isfile(sf(conf.linux_dot_config)):
- raise exceptions.MissingFile(sf(conf.linux_dot_config),
- 'Generate initial configuration. Execute make defconfig in linux folder. Or use make menuconfig and change configuration.')
+ if not os.path.isfile(sf(conf.dot_config)):
+ raise exceptions.MissingFile(sf(conf.dot_config),
+ 'Generate fixed configuration. Use make dot_config.')
utils.build_symbol_map() # Ensure smap existence
- srmap = {value:key for key, value in utils.smap.items()}
+ srmap = {value:key for key, value in utils.smap.items()} # swap dictionary
- try:
- os.remove(sf(conf.required_file))
- os.remove(sf(conf.dot_config_fragment_file))
- except OSError:
- pass
-
- shutil.copy(sf(conf.linux_dot_config), sf(conf.dot_config_back_file))
-
- with open(sf(conf.linux_dot_config), 'r') as f:
- with open(sf(conf.required_file), 'w') as freq:
- with open(sf(conf.dot_config_fragment_file), 'w') as fconf:
- for line in f:
- if (line[0] == '#') or (not '=' in line):
- continue
- indx = line.index('=')
- if (line[7:indx] == "MODULES"): # skip if modules set
- raise exceptions.ConfigurationError("Initial kernel configuration must have MODULES disabled.")
- if (line[indx + 1] == 'y'):
- freq.write(srmap[line[7:indx]] + "\n")
- elif (line[indx + 1] == 'n' or line[indx + 1] == 'm'):
- freq.write("-" + srmap[line[7:indx]] + "\n")
- else:
- fconf.write(line);
- freq.write("-" + srmap["MODULES"] + "\n"); # force modules no
+ shutil.copy(sf(conf.dot_config), sf(conf.dot_config_back_file))
+ __gen_allconfig_fixed__()
+
+ with open(sf(conf.dot_config), 'r') as f:
+ with open(sf(conf.fixed_file), 'w') as ffix:
+ for line in f:
+ if (line[0] == '#') or (not '=' in line):
+ continue
+ indx = line.index('=')
+ if (line[indx + 1] == 'y'):
+ if line[7:indx] == "MODULES": # exception if modules set
+ raise exceptions.ConfigurationError("Fixed kernel configuration must have MODULES disabled.")
+ ffix.write(str(srmap[line[7:indx]]) + "\n")
+ elif (line[indx + 1] == 'n' or line[indx + 1] == 'm'):
+ ffix.write("-" + str(srmap[line[7:indx]]) + "\n")
+ with open(sf(conf.dot_measure_file), 'r') as f:
+ with open(sf(conf.measure_file), 'w') as fmes:
+ for line in f:
+ if (line[0] == '#') or (not '=' in line):
+ continue
+ indx = line.index('=')
+ if line[7:indx] == "MODULES":
+ raise exceptions.ConfigurationError("Can't measure configuraion option MODULES. Not supported.")
+ fmes.write(str(srmap[line[7:indx]]) + "\n")
+
+def checkmeasure():
+ if os.path.isfile(sf(conf.measurechecked_file)):
+ print("Checking if all configurations can be measured skiped.")
+ print(" For new check remove file " + sf(conf.measurechecked_file))
+ return
+ print("Checking if all configurations can be measured...")
+ utils.build_symbol_map()
+ measure_list = set()
+ with open(sf(conf.variable_count_file)) as f:
+ var_num = f.readline().rstrip()
+ conf_num = f.readline().rstrip()
+ with open(sf(conf.measure_file), 'r') as fi:
+ for ln in fi:
+ measure_list.add(int(ln))
+ for measure in measure_list:
+ tfile1 = configurations.__buildtempcnf__(var_num, (sf(conf.rules_file),
+ sf(conf.fixed_file)), [str(measure)])
+ tfile2 = configurations.__buildtempcnf__(var_num, (sf(conf.rules_file),
+ sf(conf.fixed_file)), [str(-1 * measure)])
+ try:
+ configurations.__exec_sat__(tfile1, [], conf_num)
+ except exceptions.NoSolution:
+ print("W: " + utils.smap[measure] + " won't be measured! Can't select.")
+ try:
+ configurations.__exec_sat__(tfile2, [], conf_num)
+ except exceptions.NoSolution:
+ print("W: " + utils.smap[measure] + " won't be measured! Can't unselect.")
+ with open(sf(conf.measurechecked_file), 'w') as f:
+ f.write("Remove this file if you wanna execute check if all configurations can be measured once again.\n")
+
+#################################################################################
+
+if __name__ == '__main__':
+ all()
projects / linux-conf-perf.git / blobdiff