http://dev.clojure.org/jira This file is an XML representation of an issue en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/CLJ-213 Clojure <p>(ticket requested here <a href="http://groups.google.com/group/clojure/browse_thread/thread/119311e89fa46806/4903ce25ff6deaa6#4903ce25ff6deaa6">http://groups.google.com/group/clojure/browse_thread/thread/119311e89fa46806/4903ce25ff6deaa6#4903ce25ff6deaa6</a>)</p> <p>The general idea is to declare invariants inside a transaction and, when at commit time an invariant doesn't hold anymore, the transaction retries.<br/> So it can both act as a kind of soft ensure or to specify actions that "partially commute".<br/> Thus it would enable coarser refs.</p> <p>See the attached file for quick prototype.</p> <p>User code would looks like:</p> <div class="code panel" style="border-width: 1px;"><div class="codeContent panelContent"> <pre class="code-java">(invariant (@world :key)) (commute world update-in [:key] val-transform-fn)</pre> </div></div> <p>This means the commute will occur only if (@world :key) returns the same value in-transaction and at commit point.</p> CLJ-213

Invariants and the STM

Enhancement Open Unresolved Unassigned None Tue, 1 Dec 2009 06:29:00 -0600 Tue, 24 Aug 2010 07:23:00 -0500 Backlog 0 0 <p>Converted from <a href="http://www.assembla.com/spaces/clojure/tickets/213">http://www.assembla.com/spaces/clojure/tickets/213</a><br/> Attachments:<br/> invariants.patch - <a href="https://www.assembla.com/spaces/clojure/documents/dd4kUS3MWr3QvMeJe5aVNr/download/dd4kUS3MWr3QvMeJe5aVNr">https://www.assembla.com/spaces/clojure/documents/dd4kUS3MWr3QvMeJe5aVNr/download/dd4kUS3MWr3QvMeJe5aVNr</a></p> Global Rank