Karel Kočí [Tue, 18 Aug 2015 08:41:40 +0000 (10:41 +0200)]
Generate configuration as ditionary in picosat function
Picosat output is parsed and automatically is resolved to dictionary
with configuration option name as key and boolean value. This makes all
configurations in script of same type. All are dictionaries this way.
Karel Kočí [Tue, 18 Aug 2015 08:20:48 +0000 (10:20 +0200)]
Fix bug in wrong input type to CNF file generator
This caused that instead of multiple numbers was parsed only one number
including every single number character as separated number. Because of
this was generated wrong CNF file and sometimes if zero was in number
picosat failed with error.
Karel Kočí [Mon, 17 Aug 2015 16:35:12 +0000 (18:35 +0200)]
Generated configuration is now fully stored to database
Managing configurations in files and in database could cause
inconsistence. Adding all generated configurations to database allow us
to clean project files without loosing data.
Karel Kočí [Thu, 13 Aug 2015 13:53:06 +0000 (15:53 +0200)]
Merge branch 'measuring'
Removing measuring branch. Idea was to make measuring configuration
separate from master. But keeping changes in master and measuring
branch consistent was pain.
If generating single throw NoSolution exception, randomly generated CNF
file is removed. But finally statement tries to remove it once again.
Solution is to not remove CNF file in exception handling, but only by
finally statement.
Karel Kočí [Thu, 13 Aug 2015 07:59:33 +0000 (09:59 +0200)]
Change hash calculating function
Previous method of calculating hash wasn't work (wouldn't give same
result for same configuration) if there would be added
new configuration options to hashconfigsort file.
Karel Kočí [Thu, 13 Aug 2015 07:59:33 +0000 (09:59 +0200)]
Change hash calculating function
Previous method of calculating hash wasn't work (wouldn't give same
result for same configuration) if there would be added
new configuration options to hashconfigsort file.
Karel Kočí [Tue, 28 Jul 2015 08:42:19 +0000 (10:42 +0200)]
Scripts changed to use database.
Also initial implementation of multithread execution.
A lot of functionality changed.
Phases removed.
Output parsing is now part of measure (boot) process.
Utils cleared.
Add dot_measure file for inverted dot_config.
Configuration generating is now prepared for multiple generating types. Fist implemented is generating configurations with single selected configuration.
Test is modified to be compatible with new changes.
Karel Kočí [Tue, 28 Jul 2015 08:31:56 +0000 (10:31 +0200)]
Change root Makefile
Add check for recursive makefile calls.
Also add removing of dot_config to clean_measure target.
run and initialize now requires all target. This allow dependency on all programs not only selected. This is done for simplification.
Karel Kočí [Tue, 28 Jul 2015 08:23:29 +0000 (10:23 +0200)]
Allconfig add inv option
Added inv option for generating inverted configurations.
Inverted configuration contains configuration options that are not in original configuration file.
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: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 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 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čí [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: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.