« Previous | Next » 

Revision 11a498d5

ID11a498d51ca2570983d51442f9f29a737b70a730
Parent 016a5501
Child 58e173a5

Added by Klaus Aehlig almost 10 years ago

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 <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences