« Previous | Next » 

Revision 1d49428b

ID1d49428b870719ce9a2c187939e5ebc7688e59a4

Added by Klaus Aehlig almost 7 years ago

Verify atomicity of lock updates

Add a test verifying the atomicity of an update, i.e., if an update
succeeds, then all requests must be satisfied in the final state, and
if it fails, the state must be unchanged.

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences