]>
rtime.felk.cvut.cz Git - linux-conf-perf.git/log
Karel Kočí [Fri, 24 Jul 2015 16:07:45 +0000 (18:07 +0200)]
kernel.config rewritten to use utils.callsubprocess and support new implementation of write_config
Also unused function config_noprogram commented.
Karel Kočí [Fri, 24 Jul 2015 15:43:30 +0000 (17:43 +0200)]
Adding targets in root makefile
Part of the initialize target should be also initialization of database.
Target distclean should clean project to state as it is in git repository.
Karel Kočí [Fri, 24 Jul 2015 15:30:56 +0000 (17:30 +0200)]
Ignore configurations folder
Karel Kočí [Fri, 24 Jul 2015 15:30:17 +0000 (17:30 +0200)]
Remove unused function from utils
build_conf_map is not used anywhere. And plan is to change files with which it works. So it doesn't have any sense to keeping it there or even rewriting it.
Karel Kočí [Fri, 24 Jul 2015 15:25:31 +0000 (17:25 +0200)]
Change log files position
Log files won't be in only one folder. Every program have its own folder.
Karel Kočí [Fri, 24 Jul 2015 15:24:04 +0000 (17:24 +0200)]
Fix big amount of bugs in recently commited code
Recently committed code wasn't tested, because most of the required infrastructure wasn't yet written.
So bugs must be fixed after more parts of system are reimplemented.
Karel Kočí [Fri, 24 Jul 2015 15:19:22 +0000 (17:19 +0200)]
Rewrite write_config
Write config don't need to load jobfiles any more.
We only have to load file passed via argument and save using kconfig code.
Configuration checking is disabled. It needs more editing.
Karel Kočí [Fri, 24 Jul 2015 12:54:00 +0000 (14:54 +0200)]
Rewrite configuration script
THIS MAKES SCRIPT INCONSISTENT AND PROJECT IS NOT WORKING UNTIL OTHER COMMIT MESSAGE SAYS OTHERWISE.
Configurations are now generated to separated folder and have syntax compatible with linux configuration files.
This way applying new configuration is not necessary.
Also script is now communicating with database.
Functions are prepared for multiple different generating possibilities.
Also configuration generation is removed from initialize script.
Karel Kočí [Fri, 24 Jul 2015 12:45:18 +0000 (14:45 +0200)]
Fix bugs in initialise script
Added missing import.
Every folder creation must have it's own exception block.
Removed additional import of exceptions.
Karel Kočí [Fri, 24 Jul 2015 08:46:28 +0000 (10:46 +0200)]
Remove unused configurations
These configuration were left here probably by mistake after deleting code for which they were used.
Karel Kočí [Fri, 24 Jul 2015 08:44:31 +0000 (10:44 +0200)]
Return timestamp to subprocess execution log
When script is running, this function could be executed multiple times in same second.
If it would happen, it wouldn't be easy find where starts which execution.
Karel Kočí [Fri, 24 Jul 2015 08:29:21 +0000 (10:29 +0200)]
Add dot_config target to root Makefile
allconfig is used for generating full configuration.
In default is this file expected in root project directory with name dot_config.
User should remove configuration options that should be measured.
So dot_config file should contains only configuration options with fixed value.
Karel Kočí [Fri, 24 Jul 2015 06:38:40 +0000 (08:38 +0200)]
Change logging method
Now every execution is in separated file.
Also logging folder creation moved from callprocess tto initialize.base
Karel Kočí [Wed, 22 Jul 2015 10:32:04 +0000 (12:32 +0200)]
Rename solution script to configurations
New name more better resembles what script does.
Karel Kočí [Wed, 22 Jul 2015 09:47:51 +0000 (11:47 +0200)]
Remove permute_conf
permute_conf was only temporally program for generating dot_config file.
Its main function now has program allconfig.
This program has also some text interface, but it wasn't optimal and in the end wasn't used at all.
Karel Kočí [Wed, 22 Jul 2015 09:28:57 +0000 (11:28 +0200)]
Add database initialisation check
On object creation, when connection to server is established, is now implemented check if database has all tables as it should have.
Karel Kočí [Wed, 22 Jul 2015 09:12:24 +0000 (11:12 +0200)]
Makefile configuration is now automatically generated and more changes
Makefile configuration file is now generated automatically and contains all
string config options.
Separated tables drop from databaseinit.sql to file databaseclean.sql.
Also add clean and init target for database.
For this reason is also separated output and result from normal clean.
From now on won't be results removed on standard clean.
ARCH config variable is renamed to kernel_arch to make name more clear.
Karel Kočí [Wed, 22 Jul 2015 08:01:31 +0000 (10:01 +0200)]
Implemented database
Database will be used for storing measured data.
Karel Kočí [Fri, 17 Jul 2015 12:03:08 +0000 (14:03 +0200)]
Fix gen_required config source check
Karel Kočí [Fri, 17 Jul 2015 11:42:03 +0000 (13:42 +0200)]
Integrate allconfig
allconfig is now integrated in project.
It is going to replace permute_conf for generating.
For this reason is default behaviour changed to print only changeable configurtaion options.
Previous behaviour can be used with --all switch.
Also add .gitignore and remove compiled file from repository.
Karel Kočí [Fri, 17 Jul 2015 09:50:04 +0000 (11:50 +0200)]
Remove possibility of generating next solution in loop.
Only possibility now is generating all solutions on initialisation.
Remove solution generating phase.
Karel Kočí [Fri, 17 Jul 2015 09:41:50 +0000 (11:41 +0200)]
Simplify parse_kconfig generated CNF formulas
Not isn't now generated using additional variable.
All head formulas for all configuration options are now printed directly as formulas. Not build using functions.
Karel Kočí [Fri, 17 Jul 2015 09:37:53 +0000 (11:37 +0200)]
Add simple bash script to remove configs options from full configuration
Options are removed if they are found in selected folder (variable FOLDER).
Karel Kočí [Fri, 17 Jul 2015 09:36:12 +0000 (11:36 +0200)]
Add small program for generating complete configuration
This program generates complete configuration.
Written because permute_conf is only writing out configs that are chargeable.
Michal Sojka [Fri, 17 Jul 2015 09:16:25 +0000 (11:16 +0200)]
Add rootfs configuration for cyclictest
Karel Kočí [Fri, 22 May 2015 00:31:00 +0000 (02:31 +0200)]
Makefile fix distclean target
Karel Kočí [Fri, 22 May 2015 00:21:13 +0000 (02:21 +0200)]
Fix problem with swapped columns numbering
Karel Kočí [Thu, 21 May 2015 23:58:57 +0000 (01:58 +0200)]
Add simple readme
Karel Kočí [Thu, 21 May 2015 17:24:24 +0000 (19:24 +0200)]
Rename program permute to permute_conf
Karel Kočí [Thu, 21 May 2015 17:19:27 +0000 (19:19 +0200)]
Add license
Karel Kočí [Thu, 21 May 2015 17:19:01 +0000 (19:19 +0200)]
Fix problem of cleaning scripts/nbscript
Karel Kočí [Thu, 21 May 2015 17:16:07 +0000 (19:16 +0200)]
Document conf.py and remove spare variable SRCARCH
Karel Kočí [Wed, 20 May 2015 19:37:05 +0000 (21:37 +0200)]
Fix evaluate script
Karel Kočí [Wed, 20 May 2015 09:16:04 +0000 (11:16 +0200)]
Add multiple bases support
Karel Kočí [Wed, 20 May 2015 09:07:15 +0000 (11:07 +0200)]
Add base reduction for evaluate
Karel Kočí [Wed, 20 May 2015 09:06:43 +0000 (11:06 +0200)]
Fix Makefile clean
Karel Kočí [Mon, 18 May 2015 11:21:07 +0000 (13:21 +0200)]
Make nbscript not generated
Karel Kočí [Sat, 16 May 2015 13:30:02 +0000 (15:30 +0200)]
Set root Makefile to start evaluate script
Karel Kočí [Sat, 16 May 2015 13:20:36 +0000 (15:20 +0200)]
Fix NoAppliableSolution in loop and changed looping phase
Karel Kočí [Sat, 16 May 2015 13:13:50 +0000 (15:13 +0200)]
Divide evaluete script to functions
Karel Kočí [Sat, 16 May 2015 12:32:32 +0000 (14:32 +0200)]
Implement evaluate
Karel Kočí [Fri, 15 May 2015 10:49:45 +0000 (12:49 +0200)]
Add result folder to .gitignore
Karel Kočí [Thu, 14 May 2015 23:38:34 +0000 (01:38 +0200)]
Rewrite write_config solution check and fix apply
solution.apply failed in case of last solution.
Karel Kočí [Thu, 14 May 2015 20:51:15 +0000 (22:51 +0200)]
Fix error in utils script
Karel Kočí [Thu, 14 May 2015 20:49:23 +0000 (22:49 +0200)]
Fix error in solution apply
Karel Kočí [Thu, 14 May 2015 20:46:43 +0000 (22:46 +0200)]
Fix solution generation in case of gen_all_solution_oninit
Karel Kočí [Thu, 14 May 2015 20:41:26 +0000 (22:41 +0200)]
Ezecute initialize parse_kconfig only in case of missing files
Karel Kočí [Thu, 14 May 2015 15:37:53 +0000 (17:37 +0200)]
Add dot_config to gitignore
Karel Kočí [Thu, 14 May 2015 15:37:18 +0000 (17:37 +0200)]
Fix booting process and test target
Test target wasn't working properly. Now it should work.
Karel Kočí [Thu, 14 May 2015 15:35:48 +0000 (17:35 +0200)]
Clean makefile and remove dependency on buildroot initram
Removing dependency can lead to problems.
But if buildroot should not be forced for possible alternatives.
Karel Kočí [Thu, 14 May 2015 13:20:34 +0000 (15:20 +0200)]
Fix problems with permute
Permute should now reading and loading configurations right.
In case of configuration change, forces save.
Karel Kočí [Thu, 14 May 2015 08:50:34 +0000 (10:50 +0200)]
Fix problems with configurations genration
Karel Kočí [Wed, 13 May 2015 17:49:33 +0000 (19:49 +0200)]
Add mpermute target for executing command permute
Karel Kočí [Wed, 13 May 2015 16:46:36 +0000 (18:46 +0200)]
Add kernel_env setting
Karel Kočí [Wed, 13 May 2015 16:16:13 +0000 (18:16 +0200)]
Swap some lines in conf.py
Karel Kočí [Wed, 13 May 2015 16:04:36 +0000 (18:04 +0200)]
Fix conf.py
Karel Kočí [Wed, 13 May 2015 16:00:57 +0000 (18:00 +0200)]
Fix ARCH env variable
Karel Kočí [Wed, 13 May 2015 15:56:44 +0000 (17:56 +0200)]
Fix env
Karel Kočí [Sun, 10 May 2015 14:03:15 +0000 (16:03 +0200)]
Add initialize messages and initialize sourcing from dot_config not from linux/.config
Karel Kočí [Sun, 10 May 2015 14:02:25 +0000 (16:02 +0200)]
Add saving and loading of dot_config file in permute program
Karel Kočí [Sun, 10 May 2015 14:01:02 +0000 (16:01 +0200)]
Fix buildroot Makefile dependency
Karel Kočí [Thu, 7 May 2015 11:34:33 +0000 (13:34 +0200)]
permute fix makefile
Karel Kočí [Thu, 7 May 2015 11:33:40 +0000 (13:33 +0200)]
Add permute to root Makefile
Karel Kočí [Thu, 7 May 2015 11:31:09 +0000 (13:31 +0200)]
Rename setpermute to permute
Karel Kočí [Wed, 6 May 2015 09:55:16 +0000 (11:55 +0200)]
Add initial implementation of setpermute
Karel Kočí [Thu, 7 May 2015 11:25:04 +0000 (13:25 +0200)]
Add implementation of hash indexing of configurations
Karel Kočí [Thu, 7 May 2015 11:20:04 +0000 (13:20 +0200)]
Add gitignores
Karel Kočí [Wed, 6 May 2015 19:57:33 +0000 (21:57 +0200)]
Rename build folder to jobfiles
Karel Kočí [Wed, 6 May 2015 19:18:38 +0000 (21:18 +0200)]
Add generation of all solutions in initialization phase
Karel Kočí [Wed, 6 May 2015 19:17:23 +0000 (21:17 +0200)]
Add possibility of calling pahe_set from outside of loop.py
Karel Kočí [Wed, 6 May 2015 19:16:18 +0000 (21:16 +0200)]
Add Makefile initialize dependencies
Karel Kočí [Wed, 6 May 2015 15:28:39 +0000 (17:28 +0200)]
Fix some comments and if in solution
These changes were forgotten after change from minisat to picosat
Karel Kočí [Wed, 6 May 2015 15:20:32 +0000 (17:20 +0200)]
Add label for debugging configs
Karel Kočí [Wed, 6 May 2015 15:12:48 +0000 (17:12 +0200)]
Add PHONY targets
Karel Kočí [Wed, 6 May 2015 15:12:15 +0000 (17:12 +0200)]
Change message in generated nbscript
Karel Kočí [Wed, 6 May 2015 15:10:38 +0000 (17:10 +0200)]
Move buildroot configs in conf.py
Karel Kočí [Wed, 6 May 2015 15:10:16 +0000 (17:10 +0200)]
Separate initialisation
Initialisation now can be executed without loop it self.
Karel Kočí [Wed, 6 May 2015 15:08:30 +0000 (17:08 +0200)]
Remove automatic initram build
Not initram must be set and created manually by user.
Karel Kočí [Wed, 6 May 2015 09:56:19 +0000 (11:56 +0200)]
Move buildroot submodule
Karel Kočí [Tue, 5 May 2015 15:41:23 +0000 (17:41 +0200)]
Replace minisat with picosat
Picosat is distributed with this project.
Karel Kočí [Tue, 5 May 2015 10:01:07 +0000 (12:01 +0200)]
Add gitignore for picosat
Karel Kočí [Tue, 5 May 2015 09:58:26 +0000 (11:58 +0200)]
Add picosat version 959
Karel Kočí [Tue, 5 May 2015 09:45:40 +0000 (11:45 +0200)]
Add minisat config
Karel Kočí [Tue, 5 May 2015 09:22:50 +0000 (11:22 +0200)]
parse_kconfig fix problems with choice configs
Choice configs has now own boolean expression.
Also fixing problem with i variable. That causes that for some variables no cfn equations were build.
Karel Kočí [Mon, 4 May 2015 20:50:48 +0000 (22:50 +0200)]
Small change in parse_kconfig Makefile
Hide warnings. I am not going to solve them now.
Karel Kočí [Mon, 4 May 2015 20:49:05 +0000 (22:49 +0200)]
Karel Kočí [Mon, 4 May 2015 20:47:53 +0000 (22:47 +0200)]
parse_kconfig change module decode value
In case of default value are modules taken as yes in case of boolean.
Karel Kočí [Mon, 4 May 2015 20:47:00 +0000 (22:47 +0200)]
Add some configuration options and clean write_conf
Karel Kočí [Mon, 4 May 2015 19:57:57 +0000 (21:57 +0200)]
parse_kconfig fix problem with generated rules
Generated rules were unsatisfiable all the time.
Problem was default value of vis variable.
Karel Kočí [Mon, 4 May 2015 18:19:57 +0000 (20:19 +0200)]
parse_kconfig adding proper visibility dependency
For unknown reasons, output rules with generated default solution are not satisfiable.
Karel Kočí [Sat, 2 May 2015 11:29:49 +0000 (13:29 +0200)]
parse_kconfig fix problems with generated rules to be UNSAT
Karel Kočí [Sat, 2 May 2015 11:28:56 +0000 (13:28 +0200)]
parse_kconfig add debug output of boolexpr
Karel Kočí [Sat, 2 May 2015 11:28:08 +0000 (13:28 +0200)]
Fixes in scripts and add minisat_args
Karel Kočí [Fri, 1 May 2015 20:40:43 +0000 (22:40 +0200)]
parse_kconfig add missing rule
Karel Kočí [Fri, 1 May 2015 20:40:16 +0000 (22:40 +0200)]
parse_kconfig fix boolexpr_not
Karel Kočí [Fri, 1 May 2015 20:08:21 +0000 (22:08 +0200)]
parse_kconfig move debug output before action
Karel Kočí [Fri, 1 May 2015 19:53:19 +0000 (21:53 +0200)]
Fix Dprintf macro
Karel Kočí [Fri, 1 May 2015 19:53:01 +0000 (21:53 +0200)]
Fix parse_kconfig symlist_el variables type
Karel Kočí [Fri, 1 May 2015 19:52:27 +0000 (21:52 +0200)]
parse_kconfig add debug outputs
Karel Kočí [Fri, 1 May 2015 19:51:49 +0000 (21:51 +0200)]
Add DEBUG and Wall to parse_kconfig