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.

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

Suppress uninitialized warning

GCC is not smart enough to see that we use key2 correctly.

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

aquosa: Do not overwrite errno on initialization

Added minimum contract duration.

As prescribed by the energy management module, it is now possible to ask
a contract to be negotiated only if the system lifetime is greater than
a certain value, specified by means of the energy management API.

Added stub LCD power management.

Added stub functions for performing LCD brightness level setting.

Bugfixes in DISK resource manager.

Minor bugs fixed in the throughput measuring logic inside the
DISK resource manager.

Minor bugfixes.

Some fixes in feedback and power modules.

Fix in getting number of power levels.

The number of power levels was being returned --which is wrong-- instead of
copied inside the proper argument.

DISK throughput measurement during manager initialization.

Throughput measurement has been added during the BFQ disk resource
manager initialization.

This is fundamental in order to have meaningful weight assignement and,
thus correct bandwidth enforcing.

Fix critical bugs in FRSH Feedback module.

Some critical bugs was present in the feedback module implementation.

First of all, the module was not being compiled, thus a lot of comilation
error were in place, and anybody has never noticed them.
Also, the name of the spare bandwidth setting functions (for CPU and DISK)
were totally wrong.
Finally, the registration of the spare capacity block was not being performed.

Add support for multi (CPU and DISK) resources.

This quite disruptive commit the support for multiple
resources is introduced into the FRSH-FORB architecture.

For now, only CPU and DISK resources are supported, but, as usual,
the framework is flexible enough to make the adding of new resources
as easy as possible.

Unfortunately, we have not been able (yet), mainly for time reasons,
to go with the framework's usual ORB and virtual function based approach,
and some switch/case logic has been added in FRSH API implementation. :-(
We think this approach could anyway be valuable, at least for now...
Refinements and more "clean" solutions may come in the future, and any
kind of suggestion is welcome with this respect.

Added VRES type to the key of thread/VRES repository.

Since more than one single resource type has to be supported, it
came out that using only the thread-ID as the key of the trhead/VRES
repository (i.e., where the mapping between thread and vreses is kept)
is not enough.
In fact, what would happen if the user tries to bind _the_same_ thread
to two different vreses, each one associated to a different resource?

For that reason, the repository (and its accessor functions) has been
modified such that also the vres type is part of the key. Thus, the
same thread could be safely bound to one vres for each resource
we have in the system.

Disk resource allocator initialization.

This commit adds to frsh_init() the proper call to initialize
the DISK resource allocator.

Effective admission test for AQuoSA CPU manager.

This commit properly implements the admission test the AQuoSA CPU
resource manager, which was only a stub since now.

FRSH API for power management.

This commit implements a subset of the FRSH API for power management.
It only (for now) support CPU and make use of the special "resource"
acpi_cpu added by previous commits.

BFQ based disk bandwidth resource.

This commit augments the framework with the capability of dealing with
disk bandwidth, by means of a special disk scheduling algorithm, BFQ
(http://feanor.sssup.it/~fabio/linux/bfq/, provided it is present
in the kernel).

Notice that this commit is not enough to make disk contracts usable,
and some of the upcoming one are needed in order of "activate" them.

Fix typo in function name.

Fix typo in function frsh_contract_get_resource_and_label in frsh_contract.c.

Power Management contract facilities.

This commit adds to fres contracts what is needed to support
the FRSH power management module.

ACPI CPU related functions.

This commit adds the basic ACPI functions for get/set
system battery status and CPU frequency.

Implemented frsh_contract_renegotiate_sync()

Implemented change_vres() callback in dummy allocator

Implemented support for contract renegotiation

This patch changes significantly the interface between FCB and resource
managers and allocators. There no longer exist cancel_* method. The main
negotiation methods (manager.reserve_contracts, allocator.change_vreses) now
use an interface which supports the semantic offered by
frsh_group_change_mode_sync() i.e. in one negotiation operation, there might
be a combination of multiple requests to negotiate, renegotiate or cancel
contracts. Resource managers process these requests atomically, i.e.  either
all requests succeed or none of them.

The interface for implementing individual resource managers and allocators
remains the same with one exception - fres_sa_scenario_for_each_contract()
was replaced by fres_sa_scenario_for_each_no_cancel_contract().

Generic allocator: unify terminology (scheduler/allocator)

In the past allocator was called scheduler and this name was not
completely replaced in the sources until now.

Added contract merge operation

Added some container handling function

doc: Updated figure labels

cpucg: Fixed compilation warning in printf() format

CPU resource managers renamed to frm_*

Added FIXME comments to Dario's spare capacity stub

Stub spare capacity module implementation.

First stub of the implementation of the spare capacity module.
Only the frsh_contract_set_reclamation_params() and
frsh_contract_get_reclamation_params() functions have been implemented
since now, since we need them also for feedback module.

Fix compilation of frsh_cpucg.

Some more consideration about conditions which
require parameters update should be checked.

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

Updated frsh_vresperiod_wait() definition according to current FRSH sources

Generic resource manager verbosity can be controlled from outside

Dummy resource verbosity in now configurable

Added negotiation overhead benchmark

Link with AQuoSA libraries only when they exist

Fixes of AQuoSA resource manager and build system.

Some glaring typos and bugs were in place becaouse of some weired mess
in branches and repositories... Now they are fixed.

Also, something in the OMK was not correct. In fact the path of the
AQuoSA components was hard-coded and not parametrized in AQUOSA_PATH.

Signed-off-by: Tommaso Cucinotta
Signed-off-by: Dario Faggioli
Signed-off-by: Michal Sojka <sojkam1@fel.cvut.cz>

Small changes in pinpong test

added statistics to pinpong test

Added Makefile.omk to pingpong test

Added time measurement to pingpong test

Corrected frsh test compilation

Added ping-pong test

Remove old test files

Fixed typos in a comment

Merge branch 'dario'

This is a merge of patches sent by Dario with some fixes and comments added by me.

* Merged commits:
  First stub of the feedback API.
  Different solution for dedaling with csects serialization.
  Added comment for a possible bug
  Better dealing with attr = NULL bug.
  Memory leak in shared objects removed.
  Small fixes from the prev. commit.
  Testcase and bugfixes for synchronization and shared objects.
  Added comments on possible changes in csect IDL block
  Shared Objects.
  Synchronization objects.
  Updates to the previous commit: added documentation and fixed bugs
  Further improvements in core API implementation.
  Resource independent thread functions and synch/shared objects stub.
  Bugfix and FRSH thread function generalization.

First stub of the feedback API.

FRSH Feedback is implemented in this commit. It only is in place for
AQuoSA based CPU resource manager, since CGroups still lacks the basics
for having it up and running (it can be done, but it will be the focus
of future work... Not enough time to deal with it now!).

Something is still missing, like retreival and renegotiation of the fake
spare_contract used for the feedback. Some more discussion is needed in
order of deciding how to realize it.

Different solution for dedaling with csects serialization.

The functions for the de/serialization of the frsh_group_csects_t data
type have been rethinked and rewritten.

Serialization and deserialization of memory areas and function pointers
are still missing, and probably need some more thinking in order to
decide what to do with respect to them.

Added comment for a possible bug

Better dealing with attr = NULL bug.

Differently cope with the possibility of the thread attributes being
NULL during thread_create_and_bind. This new solution initializes it
internally, thus avoiding a potential non-initialized used of variable
p, containing thread priority.

Memory leak in shared objects removed.

The memory leak in write operation for protected critical sections has
been solved. Now the backup storage is an automatic variable for the
critical section invocation, and all the memory is allocated and freed
therein.

It is true that this cause much more overhead at each invocation, but
this is still better than undefinitely leaking memory, also because it
can be accounted for (if calculated) in blocking time (not implemented
yet).

Small fixes from the prev. commit.

Some data structures present in frsh_sharedobj.c are not needed nor
used, and have been left there because of mistake.
The same happened in the Makefile, where a rule for a not yet committed
test application is removed by this commit.

Testcase and bugfixes for synchronization and shared objects.

Testcases have been added for FRES synchronization and shared objects.
Thanks to them, a couple of glaring bugs in the code have been found and
fixed.

Higher (FRSH) level test programs will come in the next commits.

Added comments on possible changes in csect IDL block

Shared Objects.

This commit introduces shared objects. The implementation is fully
resource manager independent, and thus can be used with dummy, AQuoSA,
CGroups, or whatever else.

A small uncompliance with the FRSH API semantic is present, since we
need the user not to create an external mutex that will be associated
with the shared object. Instead, we create the mutex along with the
shared object and return it to the user together with the shared object
handle.
This issue will be further analyzed to find out if it would be possible
to remove it...

Moreover, this commit does not fully implemente serialization and
deserialization for the critical sections contract block, since more
discussion is needed to address the issue. Thus, we only provide some
stubs here, just to make the framework compile and run some simple
tests.

Signed-off-by: Michal Sojka <sojkam1@fel.cvut.cz>

Synchronization objects.

This commit introduces synchronization objects and thus complete the
core API implementation. There still are some minor functions that are
not-implemented, and they will be addressed later.

Synchronization objects basics are implemented at FRES layer, then the
FRSH API uses these services to provide compliant semantic to the
application.
Implementation is done on top of FOSA mutexes and condition variables,
so that is as much portable as it is possible (we hope!).

Updates to the previous commit: added documentation and fixed bugs

Further improvements in core API implementation.

Almost all the core API is implemented via this commit, with the only
exception of synchronization object.

In order to make it possible to retreive a vres ID by the thread ID of
the thread that is bound to it, a new GAVL has been added inside the
reasource allocator (FRES layer) containing all the threads that are
bound to any virtual resource.

Insertion in the tree is done during the frsh_thread_bind, deletion
during frsh_thread_unbind. It may still exist a leak if someone cancel a
contract (and thus the associated vres) without unbinding the threads
first. It is well known and a solution will be provided soon.

Signed-off-by: Michal Sojka <sojkam1@fel.cvut.cz>

Resource independent thread functions and synch/shared objects stub.

The frsh_thread.c file is added to generic, manager independent, FRSH
core implementation. It basically adds frsh_thread_create_in_background
function, while service thread tuning functions are not supported yet.

Also, first stub of the code needed to handle synchronization and shared
object is added, and will be filled in the next commits.

Bugfix and FRSH thread function generalization.

Some bugs introduced in my previous commit have been fixed. More
important, some functions related to thread creation and management in
FRSH have been moved from resource managers to frsh_forb.

These functions are, for example frsh_thread_create_in_background, or
frsh_{set, get}_service_thread_data. This avoid code duplication inside
resource managers.

Signed-off-by: Michal Sojka <sojkam1@fel.cvut.cz>

Added .gitignore

Added license headers and authorship info

Extended fwptest for more parameters

FRM is compiled by OMK

Therefore it it is not necessary to modify absolute paths in frm_gui.pro.

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

Conflicts:

frsh_api/tests/Makefile.omk

Added fwp test with frsh_forb

Error handling and parameters retrival functions added.

The error handling (especially in case of bad arguments) of the FRSH
core API functions dealing with contract parameters. All the
frsh_contract_get_* variants of the (already present)
frsh_contract_set_* functions have been added too.

Signed-off-by: Michal Sojka <sojkam1@fel.cvut.cz>

Added fwp sender and receiver test programs

FRM: Utilization for GUI moved to scenarie, where admission test can access it

FRM publishes resource utilization for GUI