]>
rtime.felk.cvut.cz Git - frescor/frsh-forb.git/log
Michal Sojka [Tue, 14 Sep 2010 13:15:14 +0000 (15:15 +0200)]
Add prerequisites to README
Michal Sojka [Mon, 30 Aug 2010 14:28:02 +0000 (16:28 +0200)]
README: Add how to test the framework
Michal Sojka [Thu, 8 Jul 2010 14:17:13 +0000 (16:17 +0200)]
Figure: Remove DTM and change "Data exchange" to "Communication"
Michal Sojka [Sun, 27 Jun 2010 12:48:44 +0000 (14:48 +0200)]
Add elisp helper function for easier editing
Michal Sojka [Sat, 26 Jun 2010 21:13:02 +0000 (23:13 +0200)]
Add a comment with elisp helper function
I have this function defined in my .emacs and it automatically updates
frsh_error.c with the current list of errors. Whenever I add a new error,
I place the point after ")" and press C-x C-e to execute the function.
Michal Sojka [Fri, 25 Jun 2010 23:16:40 +0000 (01:16 +0200)]
Add basic transaction support
Michal Sojka [Fri, 25 Jun 2010 23:16:14 +0000 (01:16 +0200)]
Update transaction API
Michal Sojka [Fri, 25 Jun 2010 22:54:47 +0000 (00:54 +0200)]
Log time
Michal Sojka [Fri, 25 Jun 2010 22:54:17 +0000 (00:54 +0200)]
Allow specifying loglevels in environment
Michal Sojka [Fri, 25 Jun 2010 22:51:35 +0000 (00:51 +0200)]
Add ul_log to executor
Michal Sojka [Fri, 25 Jun 2010 21:46:56 +0000 (23:46 +0200)]
fcb: Do not allow multiple allocations of the same VRES (within a transaction)
Michal Sojka [Fri, 25 Jun 2010 21:29:23 +0000 (23:29 +0200)]
fcb: Reject direct contract manipulation in transactions
Michal Sojka [Fri, 25 Jun 2010 21:05:10 +0000 (23:05 +0200)]
frsh_transaction_alloc_vres works
Michal Sojka [Fri, 25 Jun 2010 20:12:09 +0000 (22:12 +0200)]
gui: Fix compile error caused by change in fres_contract.h
Michal Sojka [Fri, 25 Jun 2010 14:41:17 +0000 (16:41 +0200)]
Started implementation of frsh_transaction_alloc_vres()
Michal Sojka [Fri, 25 Jun 2010 14:18:34 +0000 (16:18 +0200)]
fcb: Handle transaction cancelation - not tested
Michal Sojka [Fri, 25 Jun 2010 12:38:08 +0000 (14:38 +0200)]
negotiate_transaction() hopefully completed
Michal Sojka [Fri, 25 Jun 2010 08:47:01 +0000 (10:47 +0200)]
Add fcb_remember_contracts() to simplify the code
Michal Sojka [Fri, 25 Jun 2010 07:45:33 +0000 (09:45 +0200)]
Suppress warning in fres_contract_id_to_string() on 64 bit system
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 22:38:26 +0000 (00:38 +0200)]
Get compilable output for sequences of a typedeffed type
This change is a workaround rather than a real fix. This way be generate
unnecessarily more [de]serialization functions even if they do the same
as the function of the original type.
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:39:26 +0000 (17:39 +0200)]
Transaction support - part 1
* src/forb
1e0ff4c ...
0f6c74a (1):
> test: Sequence is initilized to zero
* src/frsh
45d3688 ...
cd50efb (4):
> 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
* src/frsh-include
a2be805 ...
4057d7b (1):
> Add FRSH API for transactions
Michal Sojka [Wed, 23 Jun 2010 15:38:09 +0000 (17:38 +0200)]
Add FRSH API for transactions
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 [Wed, 23 Jun 2010 11:16:28 +0000 (13:16 +0200)]
test: Sequence is initilized to zero
Michal Sojka [Tue, 22 Jun 2010 15:31:35 +0000 (17:31 +0200)]
Beginning of transaction support
* src/forb
ce815fc ...
1e0ff4c (1):
> Add forb_sequence_ensure_allocated()
* src/frsh
435a5e8 ...
45d3688 (4):
> Add test for frsh_transaction_negotiate()
> Add the beginning of transaction negotiation test
> dummy: Enable use of multiple dummy resources
> Add transaction manipulation functions (and tests)
* src/frsh-include
af6c4fb ...
a2be805 (1):
> Add frsh_transaction.h
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 15:30:19 +0000 (17:30 +0200)]
Add forb_sequence_ensure_allocated()
Michal Sojka [Tue, 22 Jun 2010 15:28:56 +0000 (17:28 +0200)]
Add frsh_transaction.h
Michal Sojka [Tue, 22 Jun 2010 14:55:17 +0000 (16:55 +0200)]
wvtest: Do not check open fds at the end
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:21:29 +0000 (13:21 +0200)]
wvtestrun: Do not use colors on dumb terminals
Michal Sojka [Tue, 22 Jun 2010 11:05:42 +0000 (13:05 +0200)]
Unify parameters of forb_sequence_*()
Michal Sojka [Tue, 22 Jun 2010 11:05:18 +0000 (13:05 +0200)]
Unify parameters of forb_sequence_*()
Michal Sojka [Tue, 22 Jun 2010 11:04:32 +0000 (13:04 +0200)]
Unify parameters of forb_sequence_*()
Now, all macros take the pointer to the sequence.
Michal Sojka [Tue, 22 Jun 2010 11:03:18 +0000 (13:03 +0200)]
Use up-to-date kernelcfg2mk
Michal Sojka [Tue, 22 Jun 2010 09:08:06 +0000 (11:08 +0200)]
Convert contract test to wvtest
Michal Sojka [Mon, 21 Jun 2010 17:05:01 +0000 (19:05 +0200)]
Update submodules
* src/forb
c5eae94 ...
bb52ced (2):
> Add sequence tests
> Add more sequence helper macros
* src/frsh
d1d4b43 ...
7272cec (3):
> Finish testing of spare capacity
> Tests that VRES has the negotiated parameters
> Add convenient functions to get contract budget and period
* src/frsh-include
a25accf ...
af6c4fb (1):
> Add distributed transaction manager (dtm) header
Michal Sojka [Mon, 21 Jun 2010 16:45:04 +0000 (18:45 +0200)]
Add sequence tests
Michal Sojka [Mon, 21 Jun 2010 16:44:46 +0000 (18:44 +0200)]
Add more sequence helper macros
Michal Sojka [Mon, 21 Jun 2010 16:19:33 +0000 (18:19 +0200)]
Update Makefile.rules
Michal Sojka [Mon, 21 Jun 2010 15:58:01 +0000 (17:58 +0200)]
wvtest: Move FRSH specific code to a separate file
This is needed to test programs which do not link libfrsh. Without this
change, linker complained about missing frsh_strerror.
Michal Sojka [Mon, 21 Jun 2010 11:50:04 +0000 (13:50 +0200)]
Add distributed transaction manager (dtm) header
This is taken from FRESCOR Subversion repository
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:12:30 +0000 (15:12 +0200)]
Update submodules
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:58:32 +0000 (14:58 +0200)]
wvtest: Implement C API
We cannot use C++ API since g++ doesn't support "Designated Initializers"
(GNU C language extension).
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 10:08:47 +0000 (12:08 +0200)]
wvtest: Correct setting of PATH to _compiled/bin*
Michal Sojka [Sun, 20 Jun 2010 09:53:33 +0000 (11:53 +0200)]
Move tests back to submodules
Now, when wvtest is integrated with OMK, it is not necessary to have
all tests in a single central directory.
Michal Sojka [Sun, 20 Jun 2010 09:49:51 +0000 (11:49 +0200)]
Move wvtest tests to the previous place
Michal Sojka [Sun, 20 Jun 2010 09:37:42 +0000 (11:37 +0200)]
Integrate wvtest with its support in OMK
Michal Sojka [Sun, 20 Jun 2010 08:45:14 +0000 (10:45 +0200)]
Document forb_daemon_ready()
Michal Sojka [Sat, 19 Jun 2010 07:30:35 +0000 (09:30 +0200)]
test: Split test to subtests
Michal Sojka [Fri, 18 Jun 2010 23:42:02 +0000 (01:42 +0200)]
Optionally daemonize FRSH components (used in tests)
Now, it is not necessary to sleep in test to wait for fcb to initialize.
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 23:37:51 +0000 (01:37 +0200)]
Add helper functions for daemonizing servers
Michal Sojka [Fri, 18 Jun 2010 21:49:27 +0000 (23:49 +0200)]
Add .gitignore
Michal Sojka [Fri, 18 Jun 2010 21:48:18 +0000 (23:48 +0200)]
Start of automated test suite
Run make test in tests directory
Michal Sojka [Fri, 18 Jun 2010 15:27:11 +0000 (17:27 +0200)]
Update submodules
* src/forb
b9fa3cf ...
2c4c9c7 (2):
> Remove no longer valid comment (forb_destroy())
> Do not destroy forb automatically on exit
* src/frsh
8a45c97 ...
d63b2c7 (12):
> Mute a warning
> Destroy FORB executors thread running allocators in frsh_destroy()
> Implement frsh_destroy()
> C++ fixes
> fig: Change font
> fig: fix alignment
> resource dependent -> resource-specific
> OS Kernel/Schedulers -> OS Kernel/Resource Schedulers
> fig: Further updates
> fig: Further changes
> fig: Small fixes
> fig: upside-down and modify a little bit
* src/frsh-include
070907b ...
a25accf (2):
> Fixes for C++ compatibility
> Add frsh_destroy()
Michal Sojka [Fri, 18 Jun 2010 15:26:38 +0000 (17:26 +0200)]
wvtest: Add FRSH helpers
This adds a macro WVFRSH which passes if the argument is 0. Otherwise
it prints the FRSH error code as wvtest assertion result.
Michal Sojka [Fri, 18 Jun 2010 15:10:18 +0000 (17:10 +0200)]
Remove no longer valid comment (forb_destroy())
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:22:43 +0000 (16:22 +0200)]
wvtest: Allow printing the reason of the failure instead of plain "FAILED"
Michal Sojka [Fri, 18 Jun 2010 14:20:31 +0000 (16:20 +0200)]
Copy wvtest C++ support
Michal Sojka [Fri, 18 Jun 2010 14:16:25 +0000 (16:16 +0200)]
Fixes for C++ compatibility
Michal Sojka [Fri, 18 Jun 2010 14:16:06 +0000 (16:16 +0200)]
Add 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 [Fri, 18 Jun 2010 14:08:38 +0000 (16:08 +0200)]
Do not destroy forb automatically on exit
I do not know how to deregister the exit handler which is needed if
forb_destroy() is called manually. If the handler is not deregister
we get double free error.
Michal Sojka [Fri, 18 Jun 2010 11:37:01 +0000 (13:37 +0200)]
Add wvtest submodule
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:14:26 +0000 (15:14 +0200)]
Add RelNotes-0.1.1.txt
Michal Sojka [Mon, 31 May 2010 13:05:07 +0000 (15:05 +0200)]
Update submodules to the current version
Michal Sojka [Mon, 31 May 2010 13:04:21 +0000 (15:04 +0200)]
doc: Export figure with opaque background