comp.lang.ada
 help / color / mirror / Atom feed
From: Dennis Lee Bieber <wlfraed@ix.netcom.com>
Subject: Re: Advice, tasking and hardware
Date: Tue, 07 Jun 2016 20:19:02 -0400
Date: 2016-06-07T20:19:02-04:00	[thread overview]
Message-ID: <aroelb1t82vijpitkctc3ccrfj3pvujrh6@4ax.com> (raw)
In-Reply-To: 8ada2408-b58b-4a32-bc95-f90689d5a8e4@googlegroups.com

On Tue, 7 Jun 2016 09:53:37 -0700 (PDT), rieachus@comcast.net declaimed the
following:

>On Monday, June 6, 2016 at 3:19:20 AM UTC-4, Dmitry A. Kazakov wrote:
> 
>> As questionable aborting task is, if do, that is unrelated to any 
>> protected objects. They block nothing unless erroneous, e.g. when you 
>> run an infinite loop within a protected action. If you do you would not 
>> be able to abort the task stuck in the action, it is abort-deferred.
> 
>Sigh!  This is the one instance where aborting a task is not just appropriate, but sometimes necessary.  I have no control over, for example, bit flipping by cosmic rays.  If the deadman timer runs out, there is a serious problem and the airplane (or launch vehicle) is falling out of the sky.  For tasks which close as expected, my code does not abort them.  For tasks that keep running, abort may clear the issue.  If it doesn't?  You have a very expensive pile of wreckage to analyze.  If a task got stuck in a loop but not in an abort deferred area, the abort works, and if the times are set right, you may recover the system.

	Based on the systems I've seen at my current employer... If, for
example, a deadman timer does go off... The entire system is restarted --
recreating ALL tasks -- but attempting to save the data state (a cold start
does destructive RAM tests, a warm start skips those).

	No attempt is made to abort pieces of the system or restart them. All
tasks are created during the initialization phase, before the system is
"active".
-- 
	Wulfraed                 Dennis Lee Bieber         AF6VN
    wlfraed@ix.netcom.com    HTTP://wlfraed.home.netcom.com/

      parent reply	other threads:[~2016-06-08  0:19 UTC|newest]

Thread overview: 33+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2016-05-25 21:24 Advice, tasking and hardware patrick
2016-05-26  1:09 ` Jeffrey R. Carter
2016-05-26  8:13   ` Simon Wright
2016-05-26  7:26 ` Dmitry A. Kazakov
2016-05-26 16:41   ` patrick
2016-05-26 17:56     ` Dmitry A. Kazakov
2016-05-26 20:35     ` Jeffrey R. Carter
2016-05-26 19:35   ` Jeffrey R. Carter
2016-05-26 20:51     ` patrick
2016-05-27  7:50     ` Dmitry A. Kazakov
2016-05-27 18:00       ` Simon Wright
2016-05-27 19:06       ` Jeffrey R. Carter
2016-05-27 22:05         ` Randy Brukardt
2016-05-27 23:09           ` Jeffrey R. Carter
2016-05-27 19:13       ` Shark8
2016-05-27 20:27         ` Dmitry A. Kazakov
2016-05-27 22:27           ` Randy Brukardt
2016-05-28  6:49             ` Dmitry A. Kazakov
2016-05-28 14:38           ` Shark8
2016-05-28 15:45             ` Dmitry A. Kazakov
2016-05-28  0:25 ` rieachus
2016-05-28  1:57   ` patrick
2016-05-28  4:13   ` Jeffrey R. Carter
2016-06-01 14:37     ` rieachus
2016-06-01 19:09       ` Dmitry A. Kazakov
2016-06-06  3:33         ` rieachus
2016-06-06  7:18           ` Dmitry A. Kazakov
2016-06-07 16:53             ` rieachus
2016-06-07 20:21               ` Dmitry A. Kazakov
2016-06-08  4:06                 ` rieachus
2016-06-08  7:29                   ` Dmitry A. Kazakov
2016-06-08 12:56                     ` rieachus
2016-06-08  0:19               ` Dennis Lee Bieber [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