From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5dc0152fc17e5f2c X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!newsfeed00.sul.t-online.de!t-online.de!inka.de!rz.uni-karlsruhe.de!news.uni-stuttgart.de!carbon.eu.sun.com!btnet-feed5!btnet!news.btopenworld.com!not-for-mail From: "Martin Dowie" Newsgroups: comp.lang.ada Subject: Re: Deadlock resolution Date: Tue, 27 Jul 2004 17:53:07 +0000 (UTC) Organization: BT Openworld Message-ID: References: NNTP-Posting-Host: host81-154-188-87.range81-154.btcentralplus.com X-Trace: titan.btinternet.com 1090950787 29417 81.154.188.87 (27 Jul 2004 17:53:07 GMT) X-Complaints-To: news-complaints@lists.btinternet.com NNTP-Posting-Date: Tue, 27 Jul 2004 17:53:07 +0000 (UTC) X-Newsreader: Microsoft Outlook Express 6.00.2800.1437 X-MSMail-Priority: Normal X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1441 Xref: g2news1.google.com comp.lang.ada:2422 Date: 2004-07-27T17:53:07+00:00 List-Id: "Nick Roberts" 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