Re: Ravenscar and context switching for Cortex-M4

["G.B." <bauhaus@futureapps.invalid>]

On 12.02.15 22:28, Niklas Holsti wrote:
> On 15-02-12 22:25 , Patrick Noffke wrote:

>> According to
>> http://docs.adacore.com/gnathie_ug-docs/html/gnathie_ug/gnathie_ug/the_predefined_profiles.html#ada-restrictions-in-the-ravenscar-profiles,
>>
>> at most one task may be queued on an entry.  I take this to mean *on
>> a single entry* and that two tasks may be simultaneously queued on
>> separate entries.  Is that correct?
>
> Definitely correct.

Are you sure this is correct? The profile includes

                    Simple_Barriers,
                    Max_Entry_Queue_Length => 1,
                    Max_Protected_Entries => 1,
                    Max_Task_Entries => 0,

I thought "essentially no queuing" (hence no more than one
simple entry per object) is a good rule of thumb for Ravenscar
profile based programming.