@avibryant like inc, it commutes. Should be amenable to optimization.
-
-
-
@posco max has lots of interesting optimizations inc doesn't. For one thing, it's idempotent. -
@avibryant@posco I'm almost positive boom people (@palvaro@neil_conway@joe_hellerstein) have something to say about that. -
@squarecog@avibryant@posco@palvaro@neil_conway@joe_hellerstein the MaxLattice is one of the primitives in the Logic and Lattices paper -
@thisisfranklin@avibryant@posco@palvaro@neil_conway@joe_hellerstein which probably means riak does it? -
@squarecog@thisisfranklin@avibryant@posco@palvaro@neil_conway Max threshold (Max(x) > ...) is monotonic needs no atomicity. -
@squarecog@thisisfranklin@avibryant@posco@palvaro@neil_conway Reading the max (Max(x) == …) does require a seal/barrier/atomicity.
End of conversation
New conversation -
-
-
@avibryant cool idea. Build with 2 calls for now? Get. Get and set?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@avibryant atomic increments of monoids?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.