From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Reducing the cost of real-time software through a cyclic task abstraction for Ada
Date: Wed, 7 Feb 2018 11:12:07 -0800 (PST)
Date: 2018-02-07T11:12:07-08:00 [thread overview]
Message-ID: <ea4b9c5c-14bb-4287-8bb1-83db131b4e2f@googlegroups.com> (raw)
In-Reply-To: <1f892095-01a6-47f2-97aa-24c45e6dc306@googlegroups.com>
On Wednesday, February 7, 2018 at 11:25:48 AM UTC-7, Lucretia wrote:
> Well, I was going to reply to the deleted message.
I didn't even see the deleted message.
>
> I scanned down this massive doc, this looks like a callback mechanism from an anonymous task.
Hm, I don't think that's nearly what's going on here (I've read most of it) because there's refinements which allow better worst-case analysis AND open up the possibility for more varied scheduling in SPARK.
next prev parent reply other threads:[~2018-02-07 19:12 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-05 0:27 Reducing the cost of real-time software through a cyclic task abstraction for Ada Shark8
2018-02-06 14:13 ` guyclaude.burger
2018-02-07 22:04 ` Simon Wright
2018-02-08 10:25 ` Mark Lorenzen
2018-02-09 21:03 ` Shark8
2018-02-07 18:25 ` Lucretia
2018-02-07 19:12 ` Shark8 [this message]
2018-02-07 21:25 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox