This commit is contained in:
Joey Hess 2015-10-07 11:25:55 -04:00
parent 23b8f6c1fe
commit f37c2c6a73

View file

@ -28,9 +28,9 @@ consider, for example:
A wants from drop from A B wants to drop from B A wants from drop from A B wants to drop from B
A locks it A locks it
A checks if B has it (succeeds) A checks if B has it (succeeds)
A drops it from A B locks it A drops it from A B locks it
B checks if A has it (fails) B checks if A has it (fails)
B fails to drop it B fails to drop it
Which is also ok. Which is also ok.
@ -39,7 +39,7 @@ A locks it
A checks if B has it (succeeds) A checks if B has it (succeeds)
B locks it B locks it
B checks if A has it B checks if A has it
(does, but locked, so fails) (does, but locked, so fails)
A drops it B fails to drop it A drops it B fails to drop it
Yay, still ok. Yay, still ok.