From: Lucretia <laguest9000@googlemail.com>
Subject: Re: Reducing the cost of real-time software through a cyclic task abstraction for Ada
Date: Wed, 7 Feb 2018 13:25:51 -0800 (PST)
Date: 2018-02-07T13:25:51-08:00 [thread overview]
Message-ID: <4a85c6b1-b95b-4626-836c-39793afc39db@googlegroups.com> (raw)
In-Reply-To: <ea4b9c5c-14bb-4287-8bb1-83db131b4e2f@googlegroups.com>
On Wednesday, 7 February 2018 19:12:09 UTC, Shark8 wrote:
> 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.
He was asking for a tl;dr
> > 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.
prev parent reply other threads:[~2018-02-07 21:25 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
2018-02-07 21:25 ` Lucretia [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