[erlang-questions] erlang-questions Digest, Vol 12, Issue 102

Prakash Manghwani <>
Sat May 31 00:35:18 CEST 2008


Hello,

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.

Prakash

> Message: 10
> Date: Fri, 30 May 2008 14:33:49 -0700
> From: "Raoul Duke" <>
> Subject: Re: [erlang-questions] finding deadlocks (Re: eep: multiple
>        patterns)
> To: "Ulf Wiger (TN/EAB)" <>
> Cc: Erlang mailing list <>
> Message-ID:
>        <>
> Content-Type: text/plain; charset=ISO-8859-1
>
> hi,
>
>> 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.
>
> sincerely.
>
>
> ------------------------------



More information about the erlang-questions mailing list