Anonymous user
Talk:Atomic updates: Difference between revisions
I don't see how it is unsafe.
(Why transfer?) |
(I don't see how it is unsafe.) |
||
Line 4:
:: Save = preserves object's integrity (invariant). E.g. sum of the bucket's values. Since a transfer of values cannot be implemented as an independent safe operation, it is unclear why it is required. My Ada solution provides atomic updates that preserve the object's invariant (sum). Can you explain why is it an incorrect solution? --[[User:Dmitry-kazakov|Dmitry-kazakov]] 15:36, 18 May 2009 (UTC)
:::I don't understand how it is unsafe. The transfer increases one bucket by the same amount it decreases another bucket, so it preserves the invariant. The Ada solution is incorrect because the data structure does not have a ''general'' transfer operation that could be used in other ways, just two special cases. (Of course, in the end this task is arbitrary -- feel free to argue that I should change the definition.) --[[User:Kevin Reid|Kevin Reid]] 16:52, 18 May 2009 (UTC)
| |||