Re:Pony is an open-source, actor-model, high performance pro...
by 0cachecoherency on Thursday January 14, 2016 @02:43PM
(#10903876)
Pony prevents you from writing that code. All communication between actors is by message passing, and there are no global variables. Check out reference capabilities.
[ Parent
| on HN ]
Re:Pony is an open-source, actor-model, high performance pro...
by m0th87 on Thursday January 14, 2016 @03:26PM
(#10904186)
You can deadlock in purely message passing code, even if there are no blocking sends. See an example in Erlang: http://james-iry.blogspot.com/2009/04/erlang-style-actors-ar...
Re:Pony is an open-source, actor-model, high performance pro...
by 0cachecoherency on Friday January 15, 2016 @04:22AM
(#10908135)
That anti-pattern isn't possible in Pony, because Pony has no blocking receive call.
Re:Pony is an open-source, actor-model, high performance pro...
by dozzie on Friday January 15, 2016 @06:07AM
(#10908493)
Of course, and Pony prevents programmer from writing code that waits for anything else. Sure. We're supposed to believe this?
Re:Pony is an open-source, actor-model, high performance pro...
by ggchappell on Thursday January 14, 2016 @02:49PM
(#10903915)
Wow, so maybe the no-deadlock guarantee really does say something nontrivial. Thanks for the heads up.