Statistics
| Branch: | Tag: | Revision:

root / test / hs @ 76b4ac58

Name Size
  Test
  shelltests
cli-tests-defs.sh 1.3 kB
hpc-htools.hs 19 Bytes
hpc-mon-collector.hs 26 Bytes
htest.hs 4.5 kB
live-test.sh 5 kB
offline-test.sh 3.9 kB

Latest revisions

# Date Author Comment
76b4ac58 04/17/2014 06:59 pm Petr Pudlak

Add optional fields for job livelocks and process IDs

This will allow to check if a particular job is alive, and send signals
to it when it's running.

The fields aren't serialized, if missing, for backwards compatibility.

Signed-off-by: Petr Pudlak <>...
d890439b 04/11/2014 05:02 pm Klaus Aehlig

Clean up from LockAllocation what is no longer used

With the change from LockAllocations to LockWaitings, several
manipulation operations had to be implemented for LockWaitings
and became unused in LockAllocation. Remove these functions that
are no longer used....
58e173a5 04/11/2014 05:02 pm Klaus Aehlig

Verify the answer of opportunistic lock union

Verify that the result set of the opportunistic lock
union is correct.
- If a lock is mentioned in the result set, the request
must have been granted.
- If it is not mentioned, the owner state must be unchanged....
11a498d5 04/11/2014 05:02 pm Klaus Aehlig

Verify that opportunistic lock union is monotone

Verify that a request to opportunistically allocate locks never
reduces the amount of locks held.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>
016a5501 04/11/2014 05:02 pm Klaus Aehlig

Use intersection and union for arbitrary waitings

Allow intersection and opportunistic lock union in the construction
of the arbitrary element of a lock waiting. While definable from
updateLocks, they are typical interface functions and can help
get a more natural distribution in arbitrary....
3cb014b3 04/10/2014 03:18 pm Klaus Aehlig

Verify: liftM extRepr . readJSON . showJSON = Ok . extRepr

In other words, verify that for LockWaiting, the JSON encoding
can be decoded correctly up to observable indistinguishability.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>
2fb7557f 04/10/2014 03:18 pm Klaus Aehlig

Verify readJSON . showJSON = Ok for LockRequest

Verify that the JSON encoding of a LockRequest can correctly
be decoded.

Signed-off-by: Klaus Aehlig <>
Reviewed-by: Petr Pudlak <>
f8d6da22 04/10/2014 03:18 pm Klaus Aehlig

Verify extRepr-equal states are equal on updateLocksWaiting

Add a test that verifies that extRepr-equal states cannot be
distinguished by updateLocksWaiting-transitions. To obtain
extRepr-equal states, we compare each state to the one computed
from its extensional representation....
0d3308c2 04/10/2014 03:18 pm Klaus Aehlig

Verify that extRepr-equal states behave equal on updateLocks

Add a test that verifies that extRepr-equal states cannot be
distinguished by updateLocks-transitions. To obtain extRepr-equal
states, we compare each state to the one computed from its
extensional representation....
1c362c1a 04/10/2014 03:18 pm Klaus Aehlig

Verify decoding from extensional representation is sound

Verify that, on the image of extRepr, it holds extRepr . fromExtrRepr = id.
In other words, verify that when obtain a lock waiting from an extensional
representation, it has the same extensional representation....

View revisions

Also available in: Atom