]>
rtime.felk.cvut.cz Git - linux-conf-perf.git/log
Michal Sojka [Fri, 26 Feb 2016 14:49:41 +0000 (15:49 +0100)]
Allow importing lcp_django from other python scripts
It is now sufficient to include "import lcp_django" in other python
scripts and then use lcp_django.models...
Karel Kočí [Fri, 20 Nov 2015 11:34:53 +0000 (12:34 +0100)]
Remove configuration options which are not used anymore
Michal Sojka [Fri, 26 Feb 2016 14:33:11 +0000 (15:33 +0100)]
Make Django DB layer working
At this point I'm able to use ./manage.py to interact with the database.
Having Django DB layer available as a module from our scripts remains to
be done.
Karel Kočí [Fri, 20 Nov 2015 10:32:47 +0000 (11:32 +0100)]
Fix previous commit
Django wasn't initialized, this lead to exception when filtering with
foreign key.
Also fixing foreign column name "conf" in "Measure". And changing
initialization to use class names for foreign key columns.
Karel Kočí [Fri, 20 Nov 2015 09:05:51 +0000 (10:05 +0100)]
Implement database using Django framework
Implement current database using Django framework. This changes
database access in project.
W: Only database reimplemented, no other changes. This means breaking
database access in other scripts
Michal Sojka [Mon, 26 Oct 2015 08:19:35 +0000 (09:19 +0100)]
kconfig2sat: Fix single-diff problem generation
We must generate equivalence clauses only for symbol literals. Expression
literals may have different value depending on the "single" variable
symbol.
Therefore, we learn SatLiterals to count the number of symbols so that we
can easily construct the p-line in DIMACS file.
Michal Sojka [Sun, 25 Oct 2015 22:53:48 +0000 (23:53 +0100)]
kconfig2sat: Preliminary support for generating pairs of "single-diff" configurations
i.e. configurations which differ in just one option.
Michal Sojka [Sun, 25 Oct 2015 22:52:28 +0000 (23:52 +0100)]
kconfig2sat: Cleanup
Michal Sojka [Sun, 25 Oct 2015 21:09:21 +0000 (22:09 +0100)]
kconfig2sat: Implement --varopt
Michal Sojka [Sun, 25 Oct 2015 16:50:55 +0000 (17:50 +0100)]
Update dot_measure to remove errors reported by kconfig2sat
Michal Sojka [Sun, 25 Oct 2015 16:50:23 +0000 (17:50 +0100)]
kconfig2sat almost finished
Michal Sojka [Sun, 25 Oct 2015 16:49:12 +0000 (17:49 +0100)]
Sort dot_measure
Michal Sojka [Sun, 25 Oct 2015 16:48:26 +0000 (17:48 +0100)]
Remove CONFIG_ and =. from dot_measure
This is just to make its editing easier.
Michal Sojka [Sat, 24 Oct 2015 19:49:22 +0000 (21:49 +0200)]
Final eval script for RTLWS slides
Michal Sojka [Tue, 20 Oct 2015 09:50:35 +0000 (11:50 +0200)]
kconfig2sat: More work
Michal Sojka [Mon, 19 Oct 2015 20:55:50 +0000 (22:55 +0200)]
kconfig2sat: More work
Michal Sojka [Sun, 18 Oct 2015 22:50:55 +0000 (00:50 +0200)]
kconfig2sat: Prepare for DIMACS CNF generation
Michal Sojka [Sun, 18 Oct 2015 21:02:25 +0000 (23:02 +0200)]
Remove invalid entries from measured (variable) symbols
These were detected by kconfig2sat (previous commit).
Michal Sojka [Sun, 18 Oct 2015 21:01:38 +0000 (23:01 +0200)]
kconfig2sat: Implement reading (and checking) of variable symbols
Michal Sojka [Sun, 18 Oct 2015 16:51:36 +0000 (18:51 +0200)]
kconfig2sat: More features
Michal Sojka [Sun, 18 Oct 2015 15:39:26 +0000 (17:39 +0200)]
Add skeleton for kconfig2sat tool
Michal Sojka [Sun, 18 Oct 2015 14:16:37 +0000 (16:16 +0200)]
Add Kconfig files from Linux v4.2
Michal Sojka [Sat, 17 Oct 2015 20:57:15 +0000 (22:57 +0200)]
Reimplement gen_fixed and call it directly from Makefile
Michal Sojka [Sat, 17 Oct 2015 19:49:46 +0000 (21:49 +0200)]
Make a list of measured options explicit
Michal Sojka [Sat, 17 Oct 2015 14:07:01 +0000 (16:07 +0200)]
Add TODO
Michal Sojka [Sat, 17 Oct 2015 14:05:23 +0000 (16:05 +0200)]
Decrease verbosity of parse_kconfig
Michal Sojka [Sat, 17 Oct 2015 14:01:54 +0000 (16:01 +0200)]
Move parse_kconfig invocation from .py to Makefile
It's more understandable.
Michal Sojka [Sat, 17 Oct 2015 13:44:31 +0000 (15:44 +0200)]
Move directory creation from .py to Makefile
It is much simpler there.
Michal Sojka [Sat, 17 Oct 2015 12:38:14 +0000 (14:38 +0200)]
Print executed commands
Michal Sojka [Sat, 17 Oct 2015 12:19:54 +0000 (14:19 +0200)]
Add missing chdir()
Michal Sojka [Sat, 17 Oct 2015 11:07:38 +0000 (13:07 +0200)]
Simplify execution of allconfig
The same will be done for other Kconfig-based tools
Michal Sojka [Sat, 17 Oct 2015 09:56:03 +0000 (11:56 +0200)]
Simplify toplevel Makefile
Michal Sojka [Sat, 17 Oct 2015 09:01:29 +0000 (11:01 +0200)]
bbb/linux: Disable some .config options
... to compile it faster.
Michal Sojka [Sat, 17 Oct 2015 08:01:22 +0000 (10:01 +0200)]
bbb: Disable modules
The original .config was taken from OSADL QA farm.
Michal Sojka [Sat, 17 Oct 2015 07:22:15 +0000 (09:22 +0200)]
More Emacs config
Michal Sojka [Fri, 16 Oct 2015 22:33:59 +0000 (00:33 +0200)]
database: Use unix socket to avoid the need for db login credentials
Michal Sojka [Fri, 16 Oct 2015 22:32:26 +0000 (00:32 +0200)]
Add Emacs configuration
Michal Sojka [Fri, 16 Oct 2015 21:53:05 +0000 (23:53 +0200)]
Select different BeagleBone target
...and boot quietly - it is faster.
Michal Sojka [Fri, 16 Oct 2015 21:36:07 +0000 (23:36 +0200)]
Build kernel on all available CPUs
Michal Sojka [Fri, 16 Oct 2015 21:35:38 +0000 (23:35 +0200)]
Print kernel build command
Michal Sojka [Fri, 16 Oct 2015 21:35:13 +0000 (23:35 +0200)]
Makefile: Add missing dependencies for configuration
Michal Sojka [Fri, 16 Oct 2015 21:12:53 +0000 (23:12 +0200)]
Makefile: Only rebuild ramdisk if it doesn't exist or config changes
Michal Sojka [Fri, 16 Oct 2015 21:05:11 +0000 (23:05 +0200)]
Makefile: Remove check whether Buildroot is up-to-date
It is always false.
Michal Sojka [Fri, 16 Oct 2015 20:54:39 +0000 (22:54 +0200)]
Makefile: Do not ignore errors in configuration
Michal Sojka [Fri, 16 Oct 2015 20:20:24 +0000 (22:20 +0200)]
Simplify conf.py
Michal Sojka [Fri, 16 Oct 2015 20:02:20 +0000 (22:02 +0200)]
Fix toplevel Makefile
Michal Sojka [Sun, 11 Oct 2015 22:13:29 +0000 (00:13 +0200)]
Update evaluation script
Michal Sojka [Sun, 11 Oct 2015 22:13:13 +0000 (00:13 +0200)]
Update Makefile for C++
This is forgotten commit from yesterday.
Michal Sojka [Sun, 11 Oct 2015 07:44:30 +0000 (09:44 +0200)]
kconfig2dot: Eliminate parallel edges between common expressions
Michal Sojka [Sun, 11 Oct 2015 07:09:35 +0000 (09:09 +0200)]
kconfig2dot: Convert to C++
Michal Sojka [Sun, 11 Oct 2015 07:06:15 +0000 (09:06 +0200)]
kconfig2dot: Minor changes
Michal Sojka [Sat, 10 Oct 2015 23:35:06 +0000 (01:35 +0200)]
Update evaluation script
Michal Sojka [Sat, 10 Oct 2015 21:54:58 +0000 (23:54 +0200)]
kconfig2dot: Few fixes + added TODO (rev_dep)
Michal Sojka [Sat, 10 Oct 2015 21:03:23 +0000 (23:03 +0200)]
Add kconfig2dot tool
Michal Sojka [Sat, 10 Oct 2015 15:54:41 +0000 (17:54 +0200)]
Simplify parse.c
Michal Sojka [Sat, 10 Oct 2015 15:20:44 +0000 (17:20 +0200)]
Simplify Makefile
Michal Sojka [Sat, 10 Oct 2015 15:12:22 +0000 (17:12 +0200)]
More meaningful error message
Michal Sojka [Mon, 28 Sep 2015 22:53:47 +0000 (00:53 +0200)]
Add database-based evaluation and helper functions
Note: This is only a skeleton - we will need more magic to get meaningful
results.
Karel Kočí [Mon, 28 Sep 2015 13:50:06 +0000 (15:50 +0200)]
Add information why option can't be measured
When initialization is executed and measurability checked, only output
was that some configuration option can't be measured. This adds message
about why. (If it can't be selected or otherwise can't be unselected)
Karel Kočí [Mon, 28 Sep 2015 13:45:42 +0000 (15:45 +0200)]
Add name of configuration option to generator name for single-sat
When generated with single-sat generator, configuration in database
haven't had information about what configuration option was used as
forced input while generating.
Michal Sojka [Mon, 28 Sep 2015 07:39:47 +0000 (09:39 +0200)]
cyclictest: Simplify startup (init) script
Michal Sojka [Mon, 28 Sep 2015 07:38:11 +0000 (09:38 +0200)]
Update parse script for cyclictest
Previously, some successfully executed measurements had no value in the
database. Let's use explicit parsing script, which may (or may not) solve
this problem.
Michal Sojka [Mon, 28 Sep 2015 06:45:15 +0000 (08:45 +0200)]
buildroot: Declare external sources in a better way
Previously used relative path in .br-external was always rewritten to
an absolute path. This was annoying as git reported that this file was
changed.
Michal Sojka [Mon, 28 Sep 2015 06:33:13 +0000 (08:33 +0200)]
Remove false comment
Karel Kočí [Fri, 25 Sep 2015 13:44:02 +0000 (15:44 +0200)]
Rewrite root makefile documentation
Karel Kočí [Fri, 25 Sep 2015 13:24:03 +0000 (15:24 +0200)]
Add bbb target for BeagleBone Black
Buildroot configuration is now generated from base configuration and
configuration defined by specified target. And initram is now build
automatically for test target and all target.
Karel Kočí [Tue, 22 Sep 2015 14:42:27 +0000 (16:42 +0200)]
Fix commit ad69a1
Karel Kočí [Tue, 22 Sep 2015 10:56:30 +0000 (12:56 +0200)]
Execute checkmeasure only once
Karel Kočí [Tue, 22 Sep 2015 10:19:14 +0000 (12:19 +0200)]
Fix bug described in commit 5ef685
Karel Kočí [Mon, 21 Sep 2015 17:49:51 +0000 (19:49 +0200)]
Ignore decode error from subprocess
Karel Kočí [Mon, 21 Sep 2015 12:00:05 +0000 (14:00 +0200)]
Potential fix of wrong input data format exception
Karel Kočí [Fri, 18 Sep 2015 12:57:55 +0000 (14:57 +0200)]
Disable multithreading for ryuglab target
Multithreading is problematic and needs fixing. So again it is disabled
for measuring purposes.
Karel Kočí [Fri, 18 Sep 2015 12:13:50 +0000 (14:13 +0200)]
Fix list of fixed configurations for ryuglab target
In list of fixed configuration options was option PREEMPT_RT_FULL
listed with CONFIG_ prefix.
Karel Kočí [Fri, 18 Sep 2015 08:59:50 +0000 (10:59 +0200)]
Clean repository
Remove some unused files.
Karel Kočí [Fri, 18 Sep 2015 08:53:47 +0000 (10:53 +0200)]
Move buildroot submodule to script folder
Novaboot, picosat,... are in script directory. Only buildroot was in
root directory.
Karel Kočí [Fri, 18 Sep 2015 07:39:29 +0000 (09:39 +0200)]
Fix target/ryuglab/linux submodule
We expect to use realtime branch, but master was committed to git.
Karel Kočí [Fri, 18 Sep 2015 07:31:18 +0000 (09:31 +0200)]
Add scripts buildcnf
This script is for debugging purposes only. It should be launched only
in jobfiles folder and it's generating file cnf.
Karel Kočí [Thu, 17 Sep 2015 16:11:47 +0000 (18:11 +0200)]
Update submodule target/ryuglab/linux
New commit contains new configuration, that will be used for measuring
kernel folder configuration options.
Karel Kočí [Thu, 17 Sep 2015 16:09:53 +0000 (18:09 +0200)]
Add measurable check while initialization
Some configurations options can't be measured. While initialization are
detected and warning is printed.
Karel Kočí [Thu, 17 Sep 2015 11:03:02 +0000 (13:03 +0200)]
Fix parse_kconfig symbol default
Generated rules for symbols default values was used without information
about their order. Kconfig documentation specifies that only first
valid default value specification should be used.
Karel Kočí [Mon, 14 Sep 2015 13:04:49 +0000 (15:04 +0200)]
Remove image after measurement
Image should be removed after it was measured. Otherwise Linux images
are piling up in jobfolder.
Karel Kočí [Mon, 14 Sep 2015 12:56:23 +0000 (14:56 +0200)]
Enable multithreading for ryuglab target
Karel Kočí [Mon, 14 Sep 2015 12:51:31 +0000 (14:51 +0200)]
Fix multithreading
When multithreading was enabled, same configuration could been build
multiple times. Adding list of built configurations and filtering list
of configurations sourced from database solves this problem. Now script
is aware of configurations that was prepared and not yet been measured.
Karel Kočí [Mon, 14 Sep 2015 09:50:22 +0000 (11:50 +0200)]
Export int values to conf.mk
Generated configuration file for makefile did not contain int values.
But they were used. This is new feature but also fix.
Karel Kočí [Mon, 14 Sep 2015 09:45:32 +0000 (11:45 +0200)]
Add makefile target psql
This new target allows direct access to database wit parameters set in
conf.py and conf.py of selected target. This is simple fast access to
database.
Karel Kočí [Mon, 14 Sep 2015 09:26:36 +0000 (11:26 +0200)]
Change boot to execute only one scripts
Boot is now executing only lcpinit script. /init scripts is not used
during measurements. Booting without boot script, only using novaboot
scripts, results in using /init script. This helps to access cli in
booted machine without editing any files.
Karel Kočí [Mon, 14 Sep 2015 08:28:24 +0000 (10:28 +0200)]
Fix empty temporally file for config generation
Generated temporally configuration file was read.
Karel Kočí [Sat, 12 Sep 2015 09:46:26 +0000 (11:46 +0200)]
Fix parse_kconfig choice parsing
Parsing choices was implemented wrong. For non-optional choice output
rules must contain also dependency of all choice symbols. Because if no
choice symbol has fulfilled dependencies, than choice shouldn't be
selected.
Karel Kočí [Sat, 12 Sep 2015 09:23:42 +0000 (11:23 +0200)]
Fix fromfolder script
Script ended with exception when no file with list of non-remove
configuration options was provided.
Karel Kočí [Fri, 28 Aug 2015 15:45:26 +0000 (17:45 +0200)]
Reimplement fromfolder script
Removing configuration options from configuration file according to
definition folder. New implementation allows to specify required
configuration options that shouldn't be removed in any case.
Karel Kočí [Fri, 28 Aug 2015 10:05:27 +0000 (12:05 +0200)]
Ryuglab target update linux
Setup Linux of ryuglab to realtime branch.
Karel Kočí [Wed, 26 Aug 2015 19:42:00 +0000 (21:42 +0200)]
Fix terminate variable for single thread mode
Latest changes for multithreading broke single thread mode.
Karel Kočí [Wed, 26 Aug 2015 19:37:17 +0000 (21:37 +0200)]
Disable multithread for ryuglab target
Multithreading is not working properly yet. So it won't be used for
active measuring.
Karel Kočí [Wed, 26 Aug 2015 19:23:58 +0000 (21:23 +0200)]
Use event for thread synchronization in multithread mode
Karel Kočí [Wed, 26 Aug 2015 17:28:41 +0000 (19:28 +0200)]
Fix thread alive check
Karel Kočí [Wed, 26 Aug 2015 17:15:02 +0000 (19:15 +0200)]
Add print to signal thread start and stop in multithread mode
Karel Kočí [Wed, 26 Aug 2015 17:09:10 +0000 (19:09 +0200)]
Fix multithread locking and terminating
Karel Kočí [Wed, 26 Aug 2015 14:57:29 +0000 (16:57 +0200)]
Fix configuration generation
Karel Kočí [Wed, 26 Aug 2015 14:00:09 +0000 (16:00 +0200)]
Fix multithreading
Karel Kočí [Wed, 26 Aug 2015 09:15:50 +0000 (11:15 +0200)]
Fix random configuration generator
Picosat is as default using 0 as seed for random generator. This lead
on same configuration every time.