« Previous | Next » 

Revision 94285814

ID94285814e6e28197513cc800efff2d475f24b2a9

Added by Guido Trotter over 14 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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences