Re: Reducing the cost of real-time software through a cyclic task abstraction for Ada

[Shark8 <onewingedshark@gmail.com>]

On Thursday, February 8, 2018 at 3:25:45 AM UTC-7, Mark Lorenzen wrote:
> On Wednesday, February 7, 2018 at 11:04:33 PM UTC+1, Simon Wright wrote:
> 
> > I ws interested to see the claim that AdaCore BB RTS won't allow an MCU
> > to enter a low-power mode. I've not had occasion to try it out, but
> > FreeRTOS (which my Cortex GNAT RTS[1] runs on) does support this.
> 
> Yes this claim seems rubbish to me. It is true that the AdaCore BB run-time idle loop is a busy loop which doesn't enter low-power mode, but this can be implemented by a lowest-priority task with an infinite loop entering low-power mode.
> 
> On a LEON3 platform we assigned the lowest priority to the environment task and implemented such an infinite loop in the main program. It works very well.

Interesting, but I think the pertinent parts in the paper are the better WCET analysis. (And, since he *was* in touch with AdaCore it's entirely possible that they were alerted to the problem and made a fix like yours / that allowed yours.)