« Previous | Next » 

Revision 94285814

Parent 40dacb4d
Child e2fe6369

Added by Guido Trotter about 15 years ago

SharedLock: restrict assertion condition

When we release a shared lock if there are no exclusive waiter then the number
of shared waiters must be exactly equal to the ones scheduled to pass.

Reviewed-by: iustinp


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences