Clone
Jendrik Johannes
committed
on 16 Aug 17
Restart timer if the lock owner changes
If many processes fight and wait for the same lock, the timeout in one
process could be triggered, b… Show more
Restart timer if the lock owner changes

If many processes fight and wait for the same lock, the timeout in one

process could be triggered, because it is "last in line". All the times

others hold the lock are added up for the timeout.

This change resets the timeout as soon as the lock owner changes.

Show less

master + 505 more