]>
rtime.felk.cvut.cz Git - frescor/frsh-forb.git/log
Michal Sojka [Fri, 25 Jun 2010 07:44:34 +0000 (09:44 +0200)]
fcb: Deallocate res_array properly
Michal Sojka [Thu, 24 Jun 2010 22:53:17 +0000 (00:53 +0200)]
Progress on transaction negotiation
Michal Sojka [Thu, 24 Jun 2010 22:41:01 +0000 (00:41 +0200)]
Do not use random contract IDs
Instead use a counter in FCB which is used as a value of a contracts ID.
Currently, we have a centralized FCB, so this is no harm for us and we get
a more readable log output as well as repeatable ID for testing.
Michal Sojka [Thu, 24 Jun 2010 21:04:34 +0000 (23:04 +0200)]
fcb: Correct bug to pass the test suite
FCB didn't detect rejected contracts.
Michal Sojka [Thu, 24 Jun 2010 14:56:46 +0000 (16:56 +0200)]
fcb: Add reserve_resource helper function
TODO: Fix a bug in the implementation - test suite fails!
Michal Sojka [Thu, 24 Jun 2010 13:38:20 +0000 (15:38 +0200)]
fcb: Refactor resource reserve/commit
This allows sharing some code with transaction negotiation.
Michal Sojka [Wed, 23 Jun 2010 23:23:00 +0000 (01:23 +0200)]
fcb: Work on transaction support continues
Michal Sojka [Wed, 23 Jun 2010 21:56:37 +0000 (23:56 +0200)]
Small fixes
Michal Sojka [Wed, 23 Jun 2010 21:56:10 +0000 (23:56 +0200)]
fcb: Refactor prepare_fcb_contracts()
Michal Sojka [Wed, 23 Jun 2010 20:30:22 +0000 (22:30 +0200)]
Fix contract test
Critical sections were uninitialized and as such caused segfault.
Remove them, since they are not used in any resource.
Michal Sojka [Wed, 23 Jun 2010 15:37:49 +0000 (17:37 +0200)]
Start of transaction implementation and tests
Michal Sojka [Wed, 23 Jun 2010 15:33:44 +0000 (17:33 +0200)]
Rename fres test binaries to have more unique names
Michal Sojka [Wed, 23 Jun 2010 15:32:26 +0000 (17:32 +0200)]
Update fres_transaction API
Michal Sojka [Wed, 23 Jun 2010 15:31:33 +0000 (17:31 +0200)]
fcb: Add skeleton of transaction handling
Michal Sojka [Tue, 22 Jun 2010 15:30:45 +0000 (17:30 +0200)]
Add test for frsh_transaction_negotiate()
Michal Sojka [Tue, 22 Jun 2010 14:53:27 +0000 (16:53 +0200)]
Add the beginning of transaction negotiation test
Michal Sojka [Tue, 22 Jun 2010 14:50:37 +0000 (16:50 +0200)]
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.
Michal Sojka [Tue, 22 Jun 2010 13:23:16 +0000 (15:23 +0200)]
Add transaction manipulation functions (and tests)
Michal Sojka [Tue, 22 Jun 2010 11:05:18 +0000 (13:05 +0200)]
Unify parameters of forb_sequence_*()
Michal Sojka [Tue, 22 Jun 2010 09:08:06 +0000 (11:08 +0200)]
Convert contract test to wvtest
Michal Sojka [Sun, 20 Jun 2010 15:05:24 +0000 (17:05 +0200)]
Finish testing of spare capacity
Michal Sojka [Sun, 20 Jun 2010 14:48:15 +0000 (16:48 +0200)]
Tests that VRES has the negotiated parameters
Michal Sojka [Sun, 20 Jun 2010 14:47:40 +0000 (16:47 +0200)]
Add convenient functions to get contract budget and period
Michal Sojka [Sun, 20 Jun 2010 13:11:36 +0000 (15:11 +0200)]
test: Convert spare capacity test to wvtest
TODO: Add more contracts and check s.c. reallocation.
Michal Sojka [Sun, 20 Jun 2010 12:15:46 +0000 (14:15 +0200)]
test: Convert test to C (from C++)
Michal Sojka [Sun, 20 Jun 2010 10:31:16 +0000 (12:31 +0200)]
tests: Update negotiation test and fix problems
Michal Sojka [Sun, 20 Jun 2010 09:49:51 +0000 (11:49 +0200)]
Move wvtest tests to the previous place
Michal Sojka [Fri, 18 Jun 2010 23:39:07 +0000 (01:39 +0200)]
Add options to daemonize FCB and FRM_DUMMY
Michal Sojka [Fri, 18 Jun 2010 15:08:26 +0000 (17:08 +0200)]
Mute a warning
Michal Sojka [Fri, 18 Jun 2010 15:08:04 +0000 (17:08 +0200)]
Destroy FORB executors thread running allocators in frsh_destroy()
This avoid sporadic segfault in frsh_destroy()
Michal Sojka [Fri, 18 Jun 2010 14:15:23 +0000 (16:15 +0200)]
Implement frsh_destroy()
... to make wvtest happy by closing all file desriptors.
Michal Sojka [Fri, 18 Jun 2010 14:14:23 +0000 (16:14 +0200)]
C++ fixes
C++ compiler failed / generated warnings at these places.
Michal Sojka [Tue, 8 Jun 2010 11:36:22 +0000 (13:36 +0200)]
fig: Change font
Michal Sojka [Fri, 4 Jun 2010 08:14:37 +0000 (10:14 +0200)]
fig: fix alignment
Michal Sojka [Fri, 4 Jun 2010 08:10:15 +0000 (10:10 +0200)]
resource dependent -> resource-specific
Michal Sojka [Fri, 4 Jun 2010 07:59:14 +0000 (09:59 +0200)]
OS Kernel/Schedulers -> OS Kernel/Resource Schedulers
Michal Sojka [Thu, 3 Jun 2010 14:15:37 +0000 (16:15 +0200)]
fig: Further updates
Michal Sojka [Thu, 3 Jun 2010 13:36:58 +0000 (15:36 +0200)]
fig: Further changes
- three levels
- cmr10 font
Michal Sojka [Thu, 3 Jun 2010 13:10:16 +0000 (15:10 +0200)]
fig: Small fixes
Michal Sojka [Thu, 3 Jun 2010 13:10:04 +0000 (15:10 +0200)]
fig: upside-down and modify a little bit
Michal Sojka [Mon, 31 May 2010 13:04:21 +0000 (15:04 +0200)]
doc: Export figure with opaque background
Michal Sojka [Thu, 20 May 2010 13:05:28 +0000 (15:05 +0200)]
Allow specification of the local CPU ID using environment variable
Michal Sojka [Thu, 20 May 2010 12:29:20 +0000 (14:29 +0200)]
frm_cgcpu: Fix segmentation fault
Michal Sojka [Mon, 17 May 2010 12:08:28 +0000 (14:08 +0200)]
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).
Michal Sojka [Fri, 14 May 2010 18:28:57 +0000 (20:28 +0200)]
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.
Michal Sojka [Fri, 14 May 2010 16:11:44 +0000 (18:11 +0200)]
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.
Michal Sojka [Fri, 14 May 2010 15:53:26 +0000 (17:53 +0200)]
disk_bfq: Report ioprio() errors
Michal Sojka [Fri, 14 May 2010 15:50:18 +0000 (17:50 +0200)]
disk_bfq: Use ulut logging
Michal Sojka [Tue, 13 Apr 2010 12:42:56 +0000 (14:42 +0200)]
frm_gui: Compilation fixes
Probably caused by a new version of QT (4.5)
Michal Sojka [Tue, 8 Dec 2009 15:59:43 +0000 (16:59 +0100)]
Suppress several warnings
Michal Sojka [Tue, 1 Dec 2009 17:24:24 +0000 (18:24 +0100)]
Implemented simple logging in FCB
Michal Sojka [Fri, 27 Nov 2009 16:45:01 +0000 (17:45 +0100)]
BFQ: show units with determined throughput
Michal Sojka [Fri, 27 Nov 2009 11:21:49 +0000 (12:21 +0100)]
BFQ: Fixed wrong block ID
This caused failure in negotiation.
Michal Sojka [Fri, 27 Nov 2009 11:11:52 +0000 (12:11 +0100)]
Convert printf()s in managers to ul_log
Michal Sojka [Thu, 26 Nov 2009 20:57:57 +0000 (21:57 +0100)]
bfq: Add check for missing disk parameter
Michal Sojka [Thu, 26 Nov 2009 20:50:22 +0000 (21:50 +0100)]
Fix BFQ configuration
Michal Sojka [Thu, 26 Nov 2009 20:36:56 +0000 (21:36 +0100)]
Compile disk_bfq manager with large file support
Michal Sojka [Thu, 26 Nov 2009 20:35:56 +0000 (21:35 +0100)]
disk_bfq: Make error messages meaninful
Michal Sojka [Thu, 26 Nov 2009 20:35:05 +0000 (21:35 +0100)]
Fix disk_bfq segfault
Michal Sojka [Thu, 26 Nov 2009 19:35:38 +0000 (20:35 +0100)]
Enable disk resource by default
Michal Sojka [Tue, 17 Nov 2009 20:16:44 +0000 (21:16 +0100)]
disk_bfq: Cleaned up Makefile.omk
Michal Sojka [Tue, 17 Nov 2009 20:13:40 +0000 (21:13 +0100)]
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.
Michal Sojka [Tue, 10 Nov 2009 13:35:51 +0000 (14:35 +0100)]
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.
Michal Sojka [Tue, 27 Oct 2009 15:08:25 +0000 (16:08 +0100)]
Fixed the number of available container blocks
FRES_NUM_BLOCKS was also prefixed with __ to make the name distinguishable
from regular block identifiers.
Michal Sojka [Tue, 27 Oct 2009 09:08:09 +0000 (10:08 +0100)]
Fixed printf warnings on 64-bit arch
Michal Sojka [Tue, 27 Oct 2009 09:05:24 +0000 (10:05 +0100)]
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.
Michal Sojka [Mon, 26 Oct 2009 17:02:24 +0000 (18:02 +0100)]
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.
Michal Sojka [Mon, 26 Oct 2009 16:59:53 +0000 (17:59 +0100)]
Added ID of the new FWP contract block
Michal Sojka [Mon, 19 Oct 2009 13:29:14 +0000 (15:29 +0200)]
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).
Michal Sojka [Thu, 15 Oct 2009 15:36:54 +0000 (17:36 +0200)]
renegobench: Fixed timespec substraction
Michal Sojka [Mon, 24 Aug 2009 13:08:09 +0000 (15:08 +0200)]
Added renegotiation and spare capacity demos for dummy resource
Michal Sojka [Tue, 11 Aug 2009 16:33:04 +0000 (18:33 +0200)]
Fix typo
Michal Sojka [Tue, 11 Aug 2009 15:54:46 +0000 (17:54 +0200)]
Added NULL checks to get functions in frsh_distributed
Michal Sojka [Tue, 11 Aug 2009 13:00:57 +0000 (15:00 +0200)]
Fixed segmentation fault in FCB when negotiating dummy contracts
Michal Sojka [Mon, 10 Aug 2009 16:05:28 +0000 (18:05 +0200)]
Fixed bug in frsh_contract_set_basic_params()
Michal Sojka [Mon, 10 Aug 2009 16:04:57 +0000 (18:04 +0200)]
Added frsh_contract_destroy() function
Michal Sojka [Mon, 10 Aug 2009 16:04:01 +0000 (18:04 +0200)]
FCB can print all log domains when invoked with -l '?'
Michal Sojka [Mon, 10 Aug 2009 16:03:03 +0000 (18:03 +0200)]
Do not allocate dummy contracts
Michal Sojka [Mon, 10 Aug 2009 16:04:41 +0000 (18:04 +0200)]
Added fres_contract_get_type() helper function
Michal Sojka [Mon, 10 Aug 2009 16:00:33 +0000 (18:00 +0200)]
Added contract logging to FCB
Michal Sojka [Mon, 10 Aug 2009 16:02:40 +0000 (18:02 +0200)]
Added fres_contract_to_string2()
This function is almost equal to fres_contract_to_string() with additional
parameters indent and flags.
Michal Sojka [Wed, 29 Jul 2009 15:35:03 +0000 (17:35 +0200)]
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.
Michal Sojka [Wed, 29 Jul 2009 15:06:43 +0000 (17:06 +0200)]
Negobench was enhanced to accept the number of contracts from command line
Michal Sojka [Wed, 29 Jul 2009 13:41:57 +0000 (15:41 +0200)]
frm_dummy properly handles -h switch
Michal Sojka [Wed, 29 Jul 2009 12:36:37 +0000 (14:36 +0200)]
Added OS/scheduler block to the diagram
Michal Sojka [Mon, 20 Jul 2009 13:06:21 +0000 (15:06 +0200)]
Added figure with representation of contract
Michal Sojka [Sun, 12 Jul 2009 14:51:41 +0000 (16:51 +0200)]
Fixed a warning when dummy resource is compiled as non-verbose
Michal Sojka [Sun, 12 Jul 2009 14:50:58 +0000 (16:50 +0200)]
Fixed a int to pointer conversion warning on 64 bit systems
Michal Sojka [Wed, 17 Jun 2009 16:41:26 +0000 (18:41 +0200)]
Added more benchmarks
- to benchmark renegotiation depending on the number of negotiated
contracts
- to benchmark spare capacity reallocation
Michal Sojka [Wed, 17 Jun 2009 16:40:10 +0000 (18:40 +0200)]
dummy resource manager gained an option to accept all contracts
Michal Sojka [Tue, 16 Jun 2009 10:39:55 +0000 (12:39 +0200)]
Added a more compact version of negotiation figure
Michal Sojka [Thu, 28 May 2009 14:23:53 +0000 (16:23 +0200)]
Added cpu_renegotiation test
This test renegotiates its CPU contract every 5 seconds.
Michal Sojka [Thu, 28 May 2009 13:46:00 +0000 (15:46 +0200)]
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.
Michal Sojka [Thu, 28 May 2009 13:26:25 +0000 (15:26 +0200)]
GUI: Added missing check for FORB exception
Michal Sojka [Thu, 28 May 2009 13:09:57 +0000 (15:09 +0200)]
cpu_spare_capacity handles -l switch
Michal Sojka [Thu, 28 May 2009 13:05:19 +0000 (15:05 +0200)]
Aquosa's FRA updates correctly vres->percieved on VRES change
Michal Sojka [Thu, 28 May 2009 10:14:32 +0000 (12:14 +0200)]
Added cpu_spare_capacity test
Michal Sojka [Thu, 28 May 2009 12:15:38 +0000 (14:15 +0200)]
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.
Michal Sojka [Thu, 28 May 2009 11:01:35 +0000 (13:01 +0200)]
Handle errors (fix segfault) in cancel_reservations()
Michal Sojka [Thu, 28 May 2009 09:42:57 +0000 (11:42 +0200)]
Merge branch 'master' of git://rtime.felk.cvut.cz/frescor/frsh_forb/dario