[erlang-questions] erlang-questions Digest, Vol 12, Issue 102
Sat May 31 00:44:14 CEST 2008
> With respect to avoiding deadlocks or ensuring there are none, I would
> design my system based on CSP (Communicating sequential processes)
> concepts. i.e Independent processes communicating via a pipe without
> any shared memory.
I believe that's sort of what Erlang does by nature ;-) so it is then
a question of what modeling tools exist and how well they work. It
isn't enough to design with CSP, you can still create deadlocks in it
- you have to run a checker over it to try to prove there isn't any.
More information about the erlang-questions