Revision 94285814
ID | 94285814e6e28197513cc800efff2d475f24b2a9 |
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