From: "Martin Dowie" <martin.dowie@btopenworld.com>
Subject: Re: Deadlock resolution
Date: Tue, 27 Jul 2004 17:53:07 +0000 (UTC)
Date: 2004-07-27T17:53:07+00:00 [thread overview]
Message-ID: <ce64q3$sn9$1@titan.btinternet.com> (raw)
In-Reply-To: opsbp6g9xzp4pfvb@bram-2
"Nick Roberts" <nick.roberts@acm.org> wrote in message
news:opsbp6g9xzp4pfvb@bram-2...
> I would appreciate answers from people who have experience
> of real life multi-tasking software written in Ada.
[snip]
> I would appreciate brief descriptions of how deadlock
> detection and/or resolution is performed in real Ada
> programs (where it is performed in Ada).
You could use a tool like "Quasar" to try and detect them, see
http://quasar.cnam.fr/
Also, you could use a tradition FPGA watchdog which the s/w occasionaly has
to 'kick' to prove it is alive. If the 'kick' fails to happen a counter
eventually hits zero and the board/box/system is reset.
Cheers
-- Martin
prev parent reply other threads:[~2004-07-27 17:53 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2004-07-26 3:25 Deadlock resolution Nick Roberts
2004-07-26 7:46 ` Mark Lorenzen
2004-07-27 15:31 ` Nick Roberts
2004-07-28 9:34 ` Mark Lorenzen
2004-07-28 13:53 ` Nick Roberts
2004-07-28 14:21 ` Dmitry A. Kazakov
2004-08-02 11:00 ` Ole-Hjalmar Kristensen
2004-07-26 7:48 ` Jano
2004-07-27 15:33 ` Nick Roberts
2004-07-27 16:52 ` Jano
2004-07-28 14:14 ` Nick Roberts
2004-07-29 1:04 ` Randy Brukardt
2004-07-26 14:05 ` Marc A. Criley
2004-07-27 15:50 ` Nick Roberts
2004-07-27 17:31 ` Marc A. Criley
2004-07-27 21:29 ` Robert I. Eachus
2004-07-28 14:29 ` Nick Roberts
2004-07-27 17:53 ` Martin Dowie [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox