From: Simon Wright <simon@pushface.org>
Subject: Re: Ravenscar - release multiple tasks when an event occurs
Date: Tue, 05 May 2020 17:12:47 +0100
Date: 2020-05-05T17:12:47+01:00 [thread overview]
Message-ID: <lya72mfji8.fsf@pushface.org> (raw)
In-Reply-To: r8mn2k$j16$1@dont-email.me
"Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org> writes:
> 4. Don't try to prove anything about the concurrency of the system and
> use Ada's full tasking
A thought! but not an option for code running on an STM32F4 processor.
next prev parent reply other threads:[~2020-05-05 16:12 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-03 10:43 Ravenscar - release multiple tasks when an event occurs Simon Wright
2020-05-03 11:50 ` Niklas Holsti
2020-05-05 16:02 ` Simon Wright
2020-05-05 16:16 ` Niklas Holsti
2020-05-03 14:45 ` Jere
2020-05-05 16:05 ` Simon Wright
2020-05-03 15:09 ` J-P. Rosen
2020-05-05 16:11 ` Simon Wright
2020-05-05 17:02 ` Niklas Holsti
2020-05-03 15:13 ` Jeffrey R. Carter
2020-05-05 16:12 ` Simon Wright [this message]
2020-05-05 16:22 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox