Added cpu_spare_capacity test

VRESes are created/changed in a specific order

commit_contracts() now returns the schedulable contract in the following
order (which is the order of how VRESes are created/changed):
1. Cancelation requests
2. Renegotiations with decreased utilization
3. New negotiations and renegotiations with increased utilization

Formerly, the contracts were returned more or less in random order.

The consequence of this change should be less errors in AQuoSA's FRA, because
the in-kernel schedulability test should not fail when e.g. budget increase in
one VRES is applied before another VRES cancelation.

Handle errors (fix segfault) in cancel_reservations()

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb/dario

frm_gui learned -l (--loglevel) option

frm_gui has its own orb_id

Better error message in FRM

Add loglevel option to negotiation test

FCB acts as FORB's redistributor of HELLO packets

ASuoSA now supports multiple CPUs in distributed systems

FCB produces more meaningful error messages now

Better error message when allocator is not registered

Added FWP negotiation and cancelation test

Make FRM and AQuoSA agree with respect to the scheduling test.

Fixed some compilation warnings

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

FCB uses fixed ID and TCP port when INET is default FORB protocol

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb/dario

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Fixes to allow compilation without distributed support

To disable distributed support just put
FRSH_DISTRIBUTED_MODULE_SUPPORTED=false to config.omk or config.target.

aqcputest updated to test get_vres_from_label feature as well.

Fixes minor bugs in LCD allocator and disk BFQ manager.

Fixed an old BUG still outstanding in searching a resource via its label.

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Ensure that logdomains of different resources and managers are registered.

Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>

Do not call qres_cleanup if there has not been qres_init called.

The call has been forgotten there during movement of code
to aqcpu_fra_activate(). On the other hand there should
be qres_cleanup if atexit fails.

Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>

CPUCG allocator got in par with other allocators a little more.

Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>

Corrected build of CG version of CPU allocator.

Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>

FCB learned option to change verbosity

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

FCB can work when FORB is configured with INET protocol as default

Fixed "uninitialized variable" warnings in FCB

Fixed link errors when configured without Aquosa

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Updated error checking of forb_sequence_alloc_buf()

Fix uninitialized memory access when contract deserialization fails

Attempt to fix double-free error on 64-bit system

frm_aqcpu: Export utilization so that frm_gui can display it

frm_aqcpu: Fix printing of admission test results

frm_dummy updates utilization only if the scenario is schedulable

frm_gui displays human understandable resource names

frm_gui: Displays contract labels in the contracts list box

frm_gui: Do not redraw resource list all the times

frm_gui: Do not crash when resource manager disappears

Better error reporting of FORB exceptions

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Conflicts:
frsh_api/frsh_power.c

Aquosa is initialized only when it is really needed

Now, the framework can bi compiled with Aquosa supoprt, but test not
requring aquosa can run without aquosa kernel. Aquosa is initialized
just before the first contract for CPU is negotiated.

Spare capacity now works

Currently only discrete granularity is supported.

Do not link to ACPI resources when not configured in.

Signed-off-by: Martin <molnam1@fel.cvut.cz>

Fixed smartdimmer usage for LCD brightness setting.

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

FCB peer discovery: ignore peers with NULL identifier.

They are for sure not FCB relatives.
The reason, why empty identifier is sent by frm_gui
should be checked as well.

Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>

Dummy resource manager uses utilization based admission test

This is used for testing of spare capacity distribution.

Fix FRSH error message to print what it really is

Handle properly errors when manager is not registered

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb/dario

Fixed compilation error when compiling without ACPI_CPU and _LCD

Merge branch 'master' of sojka@rtime.felk.cvut.cz:/var/git/frescor/frsh_forb

Bugfixes in the video demo.

Added new version, thread-based of the video playing demo.

A new video playing demo has been added.

This realizes video playing with an external program (mplayer)
and it is realized by means of two processes.

Another example, this time using pthreads will come in short while.

Small fixes and added errorchecking in energy management functions.

Added speed reading functions.

frsh_resource_get_speed() function (and their implementations for CPU and
LCD) are added by this commit.
They can be used to retreive the ratio between the speed of a power level
and the maximum achievable speed for that resource.

Test cases are added and updated accordingly.

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Preliminary implementation of spare capacity redistribution

There are still some issues with the code, so it is not enabled.

Added test for spare capacity

Currently, the test only tests conversion of SC blocks to strings. The
functionality is almost the same as in negotiation.c The implementation
of spare capacity redistribution is still not finished, so that it
doesn't test that the spare capacity is redistributed correctly.

Added fres_container_copy()

Implemented variants in frsh_contract_set_reclamation_params()

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Implemented fres_block_spare_capacity_to_string()

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb/dario

Possible fix FCB crash on spare capacity contracts

FCB crash was reported by Tommaso and I cannot reproduce it on my
system. It was probably caused by some uninitialized fields in spare
capacity block.

Fixed a typo in CPU power level change logging facilities.

Added the missing functions for the spare capacity block descriptor.

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Fixed protector defines in acpi_battery.h

Fix attributes for the diskbfq resource manager.

Bugfix in LCD initialization.

Fix (again) AQuoSA compilation.

This should --definitely-- fix all the still open issues with
compiling the framework while having AQuoSA installed in non-standard
(i.e., non /usr or /usr/local) path.

Fix bug in governor discovery.

Fix a bug in the governors list traversal.

Small fixes.

Some small fixes in the energy management implementation.

FCB measures time elapsed time before other nodes are discovered

This is to implement FRESCOR requirement 2.2B.

FCB detects distributed nodes joined to the system

Updated to the change in forb_init()

Fixed warnings caused by the previous merge

Make acpi_battery linked conditionally

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb/dario

Conflicts:
frsh_api/Makefile.omk
frsh_api/frsh_contract.c
frsh_api/frsh_power.c
resources/acpi_cpu/Makefile.omk
resources/acpi_lcd/Makefile.omk

Make the framework compilable without acpi_xxx libraries

This commit introduces CONFIG_ACPI_XXX config parameters which can be
used to compile the framework for platforms, where ACPI is not
available.

Fixed error reporting in aqcputest

Improved error reporting in frsh_init()

If the some function return -1, then frsh_init() returns the value of
errno.

Added fra_get()

This functions might be used later by frsh_resource_(set|get)_power_level()
to implement this functionality by virtual functions.

In my opinion, set/get_poer_level functions should not be part of FRSH API.
It is not clear (to me) what happens when one application set one
power-level and second application different level. I think this function
should only be used internally (e.g. by contract broker) to achieve the
requirements specified by frsh_contract_set_min_expiration() and similar
functions.

Additional FRA functionality implemented by virtual functions

The new virtual functions are:
- (un)bind_thread
- vres_get_XXX_usage
- support for feedback module

In d9964709b8f6fe7ebf97535daaf1a3c52f519f89, these functions were called
from switch statements in FRSH API and it was not possible to compile the
framework without DISK support (there were missing #ifdefs).

Added a comment about inappropriate power-managemnt implementation

Fixed compilation warnings and errors

There were some warnings and errors in in Dario's code. This is a simple
fix of them.

Large commit with power management related fixes and features.

This is a very (too much, probably!) large commit including:
- redesigned per-resource power management logic;
- test cases for battery status reading;
- test case for CPU and LCD power management;
- full implementation of battery related functions and of
  their implications for core and contract functions;
- bugfixes in existent power managemtnt code

Fixed AQuoSA CPU resource management.

AQuoSA based CPU manager implementation was affected by quite
serious bugs, mainly with respect to vres modification (during)
renegotiation and removal (during cancellation).

This commit seems able to fix all these issues.

Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb

Revert deletion of commens in "Power Management contract facilities."

This reverts a part of commit 5e3f0e32ce9e01ed4e244a8df78dc3c806db1cbe.