]> rtime.felk.cvut.cz Git - frescor/frsh-forb.git/log
frescor/frsh-forb.git
13 years agoUpdate transaction API
Michal Sojka [Fri, 25 Jun 2010 23:16:14 +0000 (01:16 +0200)]
Update transaction API

13 years agoLog time
Michal Sojka [Fri, 25 Jun 2010 22:54:47 +0000 (00:54 +0200)]
Log time

13 years agoAllow specifying loglevels in environment
Michal Sojka [Fri, 25 Jun 2010 22:54:17 +0000 (00:54 +0200)]
Allow specifying loglevels in environment

13 years agoAdd ul_log to executor
Michal Sojka [Fri, 25 Jun 2010 22:51:35 +0000 (00:51 +0200)]
Add ul_log to executor

13 years agofcb: Do not allow multiple allocations of the same VRES (within a transaction)
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)

13 years agofcb: Reject direct contract manipulation in transactions
Michal Sojka [Fri, 25 Jun 2010 21:29:23 +0000 (23:29 +0200)]
fcb: Reject direct contract manipulation in transactions

13 years agofrsh_transaction_alloc_vres works
Michal Sojka [Fri, 25 Jun 2010 21:05:10 +0000 (23:05 +0200)]
frsh_transaction_alloc_vres works

13 years agogui: Fix compile error caused by change in fres_contract.h
Michal Sojka [Fri, 25 Jun 2010 20:12:09 +0000 (22:12 +0200)]
gui: Fix compile error caused by change in fres_contract.h

13 years agoStarted implementation of frsh_transaction_alloc_vres()
Michal Sojka [Fri, 25 Jun 2010 14:41:17 +0000 (16:41 +0200)]
Started implementation of frsh_transaction_alloc_vres()

13 years agofcb: Handle transaction cancelation - not tested
Michal Sojka [Fri, 25 Jun 2010 14:18:34 +0000 (16:18 +0200)]
fcb: Handle transaction cancelation - not tested

13 years agonegotiate_transaction() hopefully completed
Michal Sojka [Fri, 25 Jun 2010 12:38:08 +0000 (14:38 +0200)]
negotiate_transaction() hopefully completed

13 years agoAdd fcb_remember_contracts() to simplify the code
Michal Sojka [Fri, 25 Jun 2010 08:47:01 +0000 (10:47 +0200)]
Add fcb_remember_contracts() to simplify the code

13 years agoSuppress warning in fres_contract_id_to_string() on 64 bit system
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

13 years agofcb: Deallocate res_array properly
Michal Sojka [Fri, 25 Jun 2010 07:44:34 +0000 (09:44 +0200)]
fcb: Deallocate res_array properly

13 years agoProgress on transaction negotiation
Michal Sojka [Thu, 24 Jun 2010 22:53:17 +0000 (00:53 +0200)]
Progress on transaction negotiation

13 years agoDo not use random contract IDs
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.

13 years agofcb: Correct bug to pass the test suite
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.

13 years agoGet compilable output for sequences of a typedeffed type
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.

13 years agofcb: Add reserve_resource helper function
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!

13 years agofcb: Refactor resource reserve/commit
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.

13 years agofcb: Work on transaction support continues
Michal Sojka [Wed, 23 Jun 2010 23:23:00 +0000 (01:23 +0200)]
fcb: Work on transaction support continues

13 years agoSmall fixes
Michal Sojka [Wed, 23 Jun 2010 21:56:37 +0000 (23:56 +0200)]
Small fixes

13 years agofcb: Refactor prepare_fcb_contracts()
Michal Sojka [Wed, 23 Jun 2010 21:56:10 +0000 (23:56 +0200)]
fcb: Refactor prepare_fcb_contracts()

13 years agoFix contract test
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.

13 years agoTransaction support - part 1
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

13 years agoAdd FRSH API for transactions
Michal Sojka [Wed, 23 Jun 2010 15:38:09 +0000 (17:38 +0200)]
Add FRSH API for transactions

13 years agoStart of transaction implementation and tests
Michal Sojka [Wed, 23 Jun 2010 15:37:49 +0000 (17:37 +0200)]
Start of transaction implementation and tests

13 years agoRename fres test binaries to have more unique names
Michal Sojka [Wed, 23 Jun 2010 15:33:44 +0000 (17:33 +0200)]
Rename fres test binaries to have more unique names

13 years agoUpdate fres_transaction API
Michal Sojka [Wed, 23 Jun 2010 15:32:26 +0000 (17:32 +0200)]
Update fres_transaction API

13 years agofcb: Add skeleton of transaction handling
Michal Sojka [Wed, 23 Jun 2010 15:31:33 +0000 (17:31 +0200)]
fcb: Add skeleton of transaction handling

13 years agotest: Sequence is initilized to zero
Michal Sojka [Wed, 23 Jun 2010 11:16:28 +0000 (13:16 +0200)]
test: Sequence is initilized to zero

13 years agoBeginning of transaction support
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

13 years agoAdd test for frsh_transaction_negotiate()
Michal Sojka [Tue, 22 Jun 2010 15:30:45 +0000 (17:30 +0200)]
Add test for frsh_transaction_negotiate()

13 years agoAdd forb_sequence_ensure_allocated()
Michal Sojka [Tue, 22 Jun 2010 15:30:19 +0000 (17:30 +0200)]
Add forb_sequence_ensure_allocated()

13 years agoAdd frsh_transaction.h
Michal Sojka [Tue, 22 Jun 2010 15:28:56 +0000 (17:28 +0200)]
Add frsh_transaction.h

13 years agowvtest: Do not check open fds at the end
Michal Sojka [Tue, 22 Jun 2010 14:55:17 +0000 (16:55 +0200)]
wvtest: Do not check open fds at the end

13 years agoAdd the beginning of transaction negotiation test
Michal Sojka [Tue, 22 Jun 2010 14:53:27 +0000 (16:53 +0200)]
Add the beginning of transaction negotiation test

13 years agodummy: Enable use of multiple dummy resources
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.

13 years agoAdd transaction manipulation functions (and tests)
Michal Sojka [Tue, 22 Jun 2010 13:23:16 +0000 (15:23 +0200)]
Add transaction manipulation functions (and tests)

13 years agowvtestrun: Do not use colors on dumb terminals
Michal Sojka [Tue, 22 Jun 2010 11:21:29 +0000 (13:21 +0200)]
wvtestrun: Do not use colors on dumb terminals

13 years agoUnify parameters of forb_sequence_*()
Michal Sojka [Tue, 22 Jun 2010 11:05:42 +0000 (13:05 +0200)]
Unify parameters of forb_sequence_*()

13 years agoUnify parameters of forb_sequence_*()
Michal Sojka [Tue, 22 Jun 2010 11:05:18 +0000 (13:05 +0200)]
Unify parameters of forb_sequence_*()

13 years agoUnify 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.

13 years agoUse up-to-date kernelcfg2mk
Michal Sojka [Tue, 22 Jun 2010 11:03:18 +0000 (13:03 +0200)]
Use up-to-date kernelcfg2mk

13 years agoConvert contract test to wvtest
Michal Sojka [Tue, 22 Jun 2010 09:08:06 +0000 (11:08 +0200)]
Convert contract test to wvtest

13 years agoUpdate submodules
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

13 years agoAdd sequence tests
Michal Sojka [Mon, 21 Jun 2010 16:45:04 +0000 (18:45 +0200)]
Add sequence tests

13 years agoAdd more sequence helper macros
Michal Sojka [Mon, 21 Jun 2010 16:44:46 +0000 (18:44 +0200)]
Add more sequence helper macros

13 years agoUpdate Makefile.rules
Michal Sojka [Mon, 21 Jun 2010 16:19:33 +0000 (18:19 +0200)]
Update Makefile.rules

13 years agowvtest: Move FRSH specific code to a separate file
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.

13 years agoAdd distributed transaction manager (dtm) header
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

13 years agoFinish testing of spare capacity
Michal Sojka [Sun, 20 Jun 2010 15:05:24 +0000 (17:05 +0200)]
Finish testing of spare capacity

13 years agoTests that VRES has the negotiated parameters
Michal Sojka [Sun, 20 Jun 2010 14:48:15 +0000 (16:48 +0200)]
Tests that VRES has the negotiated parameters

13 years agoAdd convenient functions to get contract budget and period
Michal Sojka [Sun, 20 Jun 2010 14:47:40 +0000 (16:47 +0200)]
Add convenient functions to get contract budget and period

13 years agoUpdate submodules
Michal Sojka [Sun, 20 Jun 2010 13:12:30 +0000 (15:12 +0200)]
Update submodules

13 years agotest: Convert spare capacity test to wvtest
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.

13 years agowvtest: Implement C API
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).

13 years agotest: Convert test to C (from C++)
Michal Sojka [Sun, 20 Jun 2010 12:15:46 +0000 (14:15 +0200)]
test: Convert test to C (from C++)

13 years agotests: Update negotiation test and fix problems
Michal Sojka [Sun, 20 Jun 2010 10:31:16 +0000 (12:31 +0200)]
tests: Update negotiation test and fix problems

13 years agowvtest: Correct setting of PATH to _compiled/bin*
Michal Sojka [Sun, 20 Jun 2010 10:08:47 +0000 (12:08 +0200)]
wvtest: Correct setting of PATH to _compiled/bin*

13 years agoMove tests back to submodules
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.

13 years agoMove wvtest tests to the previous place
Michal Sojka [Sun, 20 Jun 2010 09:49:51 +0000 (11:49 +0200)]
Move wvtest tests to the previous place

13 years agoIntegrate wvtest with its support in OMK
Michal Sojka [Sun, 20 Jun 2010 09:37:42 +0000 (11:37 +0200)]
Integrate wvtest with its support in OMK

13 years agoDocument forb_daemon_ready()
Michal Sojka [Sun, 20 Jun 2010 08:45:14 +0000 (10:45 +0200)]
Document forb_daemon_ready()

13 years agotest: Split test to subtests
Michal Sojka [Sat, 19 Jun 2010 07:30:35 +0000 (09:30 +0200)]
test: Split test to subtests

13 years agoOptionally daemonize FRSH components (used in tests)
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.

13 years agoAdd options to daemonize FCB and FRM_DUMMY
Michal Sojka [Fri, 18 Jun 2010 23:39:07 +0000 (01:39 +0200)]
Add options to daemonize FCB and FRM_DUMMY

13 years agoAdd helper functions for daemonizing servers
Michal Sojka [Fri, 18 Jun 2010 23:37:51 +0000 (01:37 +0200)]
Add helper functions for daemonizing servers

13 years agoAdd .gitignore
Michal Sojka [Fri, 18 Jun 2010 21:49:27 +0000 (23:49 +0200)]
Add .gitignore

13 years agoStart of automated test suite
Michal Sojka [Fri, 18 Jun 2010 21:48:18 +0000 (23:48 +0200)]
Start of automated test suite

Run make test in tests directory

13 years agoUpdate submodules
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()

13 years agowvtest: Add FRSH helpers
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.

13 years agoRemove no longer valid comment (forb_destroy())
Michal Sojka [Fri, 18 Jun 2010 15:10:18 +0000 (17:10 +0200)]
Remove no longer valid comment (forb_destroy())

13 years agoMute a warning
Michal Sojka [Fri, 18 Jun 2010 15:08:26 +0000 (17:08 +0200)]
Mute a warning

13 years agoDestroy FORB executors thread running allocators in frsh_destroy()
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()

13 years agowvtest: Allow printing the reason of the failure instead of plain "FAILED"
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"

13 years agoCopy wvtest C++ support
Michal Sojka [Fri, 18 Jun 2010 14:20:31 +0000 (16:20 +0200)]
Copy wvtest C++ support

13 years agoFixes for C++ compatibility
Michal Sojka [Fri, 18 Jun 2010 14:16:25 +0000 (16:16 +0200)]
Fixes for C++ compatibility

13 years agoAdd frsh_destroy()
Michal Sojka [Fri, 18 Jun 2010 14:16:06 +0000 (16:16 +0200)]
Add frsh_destroy()

13 years agoImplement 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.

13 years agoC++ fixes
Michal Sojka [Fri, 18 Jun 2010 14:14:23 +0000 (16:14 +0200)]
C++ fixes

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

13 years agoDo not destroy forb automatically on exit
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.

13 years agoAdd wvtest submodule
Michal Sojka [Fri, 18 Jun 2010 11:37:01 +0000 (13:37 +0200)]
Add wvtest submodule

14 years agofig: Change font
Michal Sojka [Tue, 8 Jun 2010 11:36:22 +0000 (13:36 +0200)]
fig: Change font

14 years agofig: fix alignment
Michal Sojka [Fri, 4 Jun 2010 08:14:37 +0000 (10:14 +0200)]
fig: fix alignment

14 years agoresource dependent -> resource-specific
Michal Sojka [Fri, 4 Jun 2010 08:10:15 +0000 (10:10 +0200)]
resource dependent -> resource-specific

14 years agoOS Kernel/Schedulers -> OS Kernel/Resource Schedulers
Michal Sojka [Fri, 4 Jun 2010 07:59:14 +0000 (09:59 +0200)]
OS Kernel/Schedulers -> OS Kernel/Resource Schedulers

14 years agofig: Further updates
Michal Sojka [Thu, 3 Jun 2010 14:15:37 +0000 (16:15 +0200)]
fig: Further updates

14 years agofig: Further changes
Michal Sojka [Thu, 3 Jun 2010 13:36:58 +0000 (15:36 +0200)]
fig: Further changes

- three levels
- cmr10 font

14 years agofig: Small fixes
Michal Sojka [Thu, 3 Jun 2010 13:10:16 +0000 (15:10 +0200)]
fig: Small fixes

14 years agofig: upside-down and modify a little bit
Michal Sojka [Thu, 3 Jun 2010 13:10:04 +0000 (15:10 +0200)]
fig: upside-down and modify a little bit

14 years agoAdd RelNotes-0.1.1.txt
Michal Sojka [Mon, 31 May 2010 13:14:26 +0000 (15:14 +0200)]
Add RelNotes-0.1.1.txt

14 years agoUpdate submodules to the current version
Michal Sojka [Mon, 31 May 2010 13:05:07 +0000 (15:05 +0200)]
Update submodules to the current version

14 years agodoc: Export figure with opaque background
Michal Sojka [Mon, 31 May 2010 13:04:21 +0000 (15:04 +0200)]
doc: Export figure with opaque background

14 years agofrm: Handle utilization overflow
Michal Sojka [Fri, 21 May 2010 15:42:49 +0000 (17:42 +0200)]
frm: Handle utilization overflow

14 years agofwp_mgr: Log utilization when accepting/rejecting contracts
Michal Sojka [Fri, 21 May 2010 15:32:41 +0000 (17:32 +0200)]
fwp_mgr: Log utilization when accepting/rejecting contracts

14 years agoDocument ul_log_domain_arg2levels()
Michal Sojka [Fri, 21 May 2010 14:47:26 +0000 (16:47 +0200)]
Document ul_log_domain_arg2levels()

14 years agoUpdate submodules to the current version
Michal Sojka [Thu, 20 May 2010 13:07:10 +0000 (15:07 +0200)]
Update submodules to the current version

Submodule src/forb 8ca1f9e..b9fa3cf:
  > Do not export config.h
Submodule src/frsh 3a208af..0365afe:
  > Allow specification of the local CPU ID using environment variable
  > frm_cgcpu: Fix segmentation fault
  > disk_bfq: Use highest priority in BE class
  > disk_bfq: Set ioprio directly without regard to the contract
  > Add Doxyfile
  > disk_bfq: Report ioprio() errors
  > disk_bfq: Use ulut logging
  > frm_gui: Compilation fixes
Submodule src/frsh-include d188ee7..070907b:
  > Add frsh_get_local_cpu_id()

14 years agoAdd frsh_get_local_cpu_id()
Michal Sojka [Thu, 20 May 2010 13:05:58 +0000 (15:05 +0200)]
Add frsh_get_local_cpu_id()

14 years agoAllow specification of the local CPU ID using environment variable
Michal Sojka [Thu, 20 May 2010 13:05:28 +0000 (15:05 +0200)]
Allow specification of the local CPU ID using environment variable