Added renegotiation and spare capacity demos for dummy resource

Fix typo

Added NULL checks to get functions in frsh_distributed

Fixed segmentation fault in FCB when negotiating dummy contracts

Fixed bug in frsh_contract_set_basic_params()

Added frsh_contract_destroy() function

FCB can print all log domains when invoked with -l '?'

Do not allocate dummy contracts

Added fres_contract_get_type() helper function

Added contract logging to FCB

Added fres_contract_to_string2()

This function is almost equal to fres_contract_to_string() with additional
parameters indent and flags.

Implemented more precise calculation in negobench

The previous version used float arithmetics which caused the results to
be incorrect because of rounding errors -- especially on fast computers.
This version uses exact time calculations.

Negobench was enhanced to accept the number of contracts from command line

frm_dummy properly handles -h switch

Added OS/scheduler block to the diagram

Added figure with representation of contract

Fixed a warning when dummy resource is compiled as non-verbose

Fixed a int to pointer conversion warning on 64 bit systems

Added more benchmarks

- to benchmark renegotiation depending on the number of negotiated
  contracts
- to benchmark spare capacity reallocation

dummy resource manager gained an option to accept all contracts

Added a more compact version of negotiation figure

Added cpu_renegotiation test

This test renegotiates its CPU contract every 5 seconds.

Changed budgets in cpu_spare_capacity

Now it can be shown how nicely this works:
- After first run the allocated capacity is 50%.
- After second run 50% + 20%
- After third run 20% + 20% + 20%
- After fourth run 20% + 20% + 20% + 20%
- Fifth run is rejected

By exiting the applications by Ctrl-C (in random order), the capacity is
increased back to the remaining applications.

GUI: Added missing check for FORB exception

cpu_spare_capacity handles -l switch

Aquosa's FRA updates correctly vres->percieved on VRES change

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.