[erlang-questions] erlang-questions Digest, Vol 12, Issue 102
Sat May 31 00:35:18 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.
> Message: 10
> Date: Fri, 30 May 2008 14:33:49 -0700
> From: "Raoul Duke" <>
> Subject: Re: [erlang-questions] finding deadlocks (Re: eep: multiple
> To: "Ulf Wiger (TN/EAB)" <>
> Cc: Erlang mailing list <>
> Content-Type: text/plain; charset=ISO-8859-1
>> a bit messy.
> Many thanks for the note.
> Are there any tools folks do/might use in the Erlang field for
> deadlock type issues e.g. state machine models + checking? I guess
> there's the classic/holy-grail issue of having something where the
> code + model are somehow magically kept in sync as changes are made to
> either one.
More information about the erlang-questions