Feature suggestion: different task schedules

[Victor Porton <porton@narod.ru>]

I propose for Ada 2020 to add the following pragmas (and corresponding 
aspects) for tasks and task types:

pragma Schedule=>Thread;

the regular task.

pragma Schedule=>Manual;

the task runs only when a protected entry is called and stops at the next 
accept statement.

This is usually the fastest mode in the case of one-core system.

pragma Schedule=>Sometimes;

the task run in either of two above modes (with tasks of a task type not 
necessarily scheduled in the same way (some may be Thread and some Manual)).

The schedule mode may be chosen dependently on free CPU cores availability 
to make it the fastest.

pragma Schedule=>Dynamic;

a task with this schedule may switch between Thread and Manual mode at any 
moment of time. This is useful to use CPU cores effectively.

What do you think?

-- 
Victor Porton - http://portonvictor.org