Small fixes

fcb: Refactor prepare_fcb_contracts()

Fix contract test

Critical sections were uninitialized and as such caused segfault.
Remove them, since they are not used in any resource.

Start of transaction implementation and tests

Rename fres test binaries to have more unique names

Update fres_transaction API

fcb: Add skeleton of transaction handling

Add test for frsh_transaction_negotiate()

Add the beginning of transaction negotiation test

dummy: Enable use of multiple dummy resources

This is intended for the use in automatic tests which need to work
with multiple resources. The test can initialize several dummy
resources, not just the default one with id 255.

Add transaction manipulation functions (and tests)

Unify parameters of forb_sequence_*()

Convert contract test to wvtest

Finish testing of spare capacity

Tests that VRES has the negotiated parameters

Add convenient functions to get contract budget and period

test: Convert spare capacity test to wvtest

TODO: Add more contracts and check s.c. reallocation.

test: Convert test to C (from C++)

tests: Update negotiation test and fix problems

Move wvtest tests to the previous place

Add options to daemonize FCB and FRM_DUMMY

Mute a warning

Destroy FORB executors thread running allocators in frsh_destroy()

This avoid sporadic segfault in frsh_destroy()

Implement frsh_destroy()

... to make wvtest happy by closing all file desriptors.

C++ fixes

C++ compiler failed / generated warnings at these places.

fig: Change font

fig: fix alignment

resource dependent -> resource-specific

OS Kernel/Schedulers -> OS Kernel/Resource Schedulers

fig: Further updates

fig: Further changes

- three levels
- cmr10 font

fig: Small fixes

fig: upside-down and modify a little bit

doc: Export figure with opaque background

Allow specification of the local CPU ID using environment variable

frm_cgcpu: Fix segmentation fault

disk_bfq: Use highest priority in BE class

Accoring to Fabio, if we use RT class, we get the same behavior as with
CFQ (mainline).

disk_bfq: Set ioprio directly without regard to the contract

There is some problem with calculation of ioprio values, so we set it
to a fixed value.

Add Doxyfile

I found this file somewhere on my disk, so let's add it to the repo.
It may need some modification, I didn't checked it.

disk_bfq: Report ioprio() errors

disk_bfq: Use ulut logging

frm_gui: Compilation fixes

Probably caused by a new version of QT (4.5)

Suppress several warnings

Implemented simple logging in FCB

BFQ: show units with determined throughput

BFQ: Fixed wrong block ID

This caused failure in negotiation.

Convert printf()s in managers to ul_log

bfq: Add check for missing disk parameter

Fix BFQ configuration

Compile disk_bfq manager with large file support

disk_bfq: Make error messages meaninful

Fix disk_bfq segfault

Enable disk resource by default

disk_bfq: Cleaned up Makefile.omk

disk_bfq: Manager updated to work correctly with contract cancelation

This should be updated in commit
9483d1c9372f42d39af18b6615ea13052a5702ed, but for some reason it was not
done.

Fixed race condition in allocator registration

This happened when multiple threads tried to negotiate contracts
simultaneously. The first negotiation triggers registration
of FRA with FCB and the check whether the FRA is already registered
was not protected by any mutex.

Fixed the number of available container blocks

FRES_NUM_BLOCKS was also prefixed with __ to make the name distinguishable
from regular block identifiers.

Fixed printf warnings on 64-bit arch

Fixed "allocation" of dummy VRESes

Dummy VRESes was not represented in application in any way, so it was not
possible for an application to cancel the dummy VRES. This happened in
fwptester.

Check for internal bugs in frsh_contract_negotiate()

fwptester doesn't work properly because this assertion fails. Currently,
I do not know where is exactly the problem.

Added ID of the new FWP contract block

Deadline miss notification signals API changed

Instead of specifying notification signals before negotiation in
frsh_contract_set_timing_reqs(), new function frsh_vres_set_notification()
was created to specify this before bind (after negotiation).

renegobench: Fixed timespec substraction

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