Harshavardhana 6de410a0aa fix: possiblity of double write lockers on same resource (#9616) ...

To avoid this issue with refCounter refactor the code
such that

- locker() always increases refCount upon success
- unlocker() always decrements refCount upon success
  (as a special case removes the resource if the
  refCount is zero)

By these two assumptions we are able to see that we
are never granted two write lockers in any situation.

Thanks to @vcabbage for writing a nice reproducer.

2020-05-18 17:33:35 -07:00

2.9 KiB

Raw Blame History

View Raw