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

[Prakash Manghwani]

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" <raould@REDACTED>
> Subject: Re: [erlang-questions] finding deadlocks (Re: eep: multiple
>        patterns)
> To: "Ulf Wiger (TN/EAB)" <ulf.wiger@REDACTED>
> Cc: Erlang mailing list <erlang-questions@REDACTED>
> Message-ID:
>        <91a2ba3e0805301433v1b36bcb1yaa016e5ac59f60b0@REDACTED>
> 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.
>
>
> ------------------------------