Statistics
| Branch: | Tag: | Revision:

root @ 60c4dbb9

Name Size
  autotools
  daemons
  devel
  doc
  lib
  man
  qa
  src
  test
  tools
.ghci 21 Bytes
.gitignore 2.6 kB
COPYING 17.6 kB
INSTALL 10.5 kB
Makefile.am 76.4 kB
NEWS 132.5 kB
README 191 Bytes
UPGRADE 12.4 kB
autogen.sh 283 Bytes
configure.ac 25 kB
epydoc.conf.in 444 Bytes
pylintrc 2.9 kB
pylintrc-test 2.9 kB

Latest revisions

# Date Author Comment
60c4dbb9 04/09/2014 01:55 pm Klaus Aehlig

Add process id to lock-owner description

...so that we can notify owners when their pending request got granted.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>
2dcbfddb 04/09/2014 11:58 am Klaus Aehlig

Verify that some progress is made after lock releases

Add a basic sanity check for progress on pending requests. If a
request is pending and all owners it is blocked on release their
locks, there is at least one pending request that can be granted
(the said one). So verify that at least one owner gets notified...
bdb272a6 04/09/2014 11:58 am Klaus Aehlig

Verify that an owner gets notified

Add a basic sanity check on notification: if a request is blocked,
and all old pending owners and blockers give up their resources,
the owner gets notified of his lock being granted.

Signed-off-by: Klaus Aehlig <>...
3b907f06 04/09/2014 11:58 am Klaus Aehlig

Verify that pending requests get fulfilled eventually

Add a basic sanity check for the lock waiting mechanism. If a request
get added to pending, and all blockers and pending owners give up their
resources it is automatically handled.

Signed-off-by: Klaus Aehlig <>...
8eb56bdf 04/09/2014 11:58 am Klaus Aehlig

Export requestSucceeded

...so that this predicate can be used for testing the LockWaiting
structure as well.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>
b52bad34 04/09/2014 11:58 am Klaus Aehlig

Add a function to release all resources of an owner

Add a convenience function---definable from the exported
interface---to clean up all the resources of an owner. This
will be needed, e.g., if a job dies.

Signed-off-by: Klaus Aehlig <>...
89e605be 04/09/2014 11:58 am Klaus Aehlig

Add a function to remove a pending request

Add a function that allows an owner to remove a pending request
it might have. Besides useful for testing, this will also be
needed to clean up the resources for dead owners.

Signed-off-by: Klaus Aehlig <>...
62b2c6f3 04/09/2014 11:58 am Klaus Aehlig

Verify that unfulfilled requests lead to pending requests

Verify that an owner has a pending request after a waiting request
not fullfilled immediately.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>
3a79c389 04/09/2014 11:58 am Klaus Aehlig

Verify locks can't be updated while having a pending request

Add a verify first sanity check for lock waiting: a user that has a pending
request cannot modify his locks. This patch also brings in the necessary
infra structure for having arbitrary waiting structures....
644a050a 04/09/2014 11:58 am Klaus Aehlig

Export the test locks for testing

As lock waiting is also based on locking, export the
test lock/owner structure, so that the tests for lock
waiting can use them.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>

View all revisions | View revisions

Also available in: Atom