Re: Ichbiah 2022 compiler mode

Liste des GroupesRevenir à cl ada 
Sujet : Re: Ichbiah 2022 compiler mode
De : niklas.holsti (at) *nospam* tidorum.invalid (Niklas Holsti)
Groupes : comp.lang.ada
Date : 12. Sep 2024, 17:43:45
Autres entêtes
Organisation : Tidorum Ltd
Message-ID : <lkgghhF1tp6U2@mid.individual.net>
References : 1 2 3 4 5 6 7
User-Agent : Mozilla Thunderbird
On 2024-09-12 15:36, Kevin Chadwick wrote:
 
If Ada did not have tasks with priorities, most of the Ada applications I have worked on in my life would have had to avoid Ada tasking and retreat to using some other real-time kernel, with ad-hoc mapping of the kernels's threads to Ada procedures.
>
 Counter intuitively it is possible that this is holding Ada back. A lot of
Ada code cannot run without some fairly complex runtime support due to
tasks, protected objects, finalization etc.. Runtimes have to be developed
for each chip instead of each cpu.
True, however an Ada RTS can implement many of the tasking features with moderate effort on top of non-Ada real-time kernels such as FreeRTOS, VxWorks, etc., as AdaCore have done for some kernels. At least for the Ravenscar and Jorvik profiles. AIUI, the processor-specific stuff is then mainly in the kernel, not in the RTS.

If you need advanced multi core support then using an OS seems like a more
suitable situation to be in to me.
Using a large OS like Linux would not be acceptable for many embedded systems. Fortunately the smaller real-time kernels are adding multi-core support too.
The great advantage of using the standard Ada tasking feature, special syntax and all, is that your embedded Ada program can then be executed on a PC or other non-embedded computer, for testing or other purposes, tasking and all. It can also be analysed by static-analysis tools such as AdaControl for race conditions and other tasking-sensitive issues.

Date Sujet#  Auteur
5 Sep 24 * Ichbiah 2022 compiler mode30Kevin Chadwick
5 Sep 24 +* Re: Ichbiah 2022 compiler mode6Jeffrey R.Carter
5 Sep 24 i+* Re: Ichbiah 2022 compiler mode2Bill Findlay
5 Sep 24 ii`- Re: Ichbiah 2022 compiler mode1Jeffrey R.Carter
5 Sep 24 i+- Re: Ichbiah 2022 compiler mode1Kevin Chadwick
5 Sep 24 i`* Re: Ichbiah 2022 compiler mode2Kevin Chadwick
5 Sep 24 i `- Re: Ichbiah 2022 compiler mode1Jeffrey R.Carter
6 Sep 24 +* Re: Ichbiah 2022 compiler mode21Randy Brukardt
6 Sep 24 i+* Re: Ichbiah 2022 compiler mode5Lawrence D'Oliveiro
12 Sep 24 ii`* Re: Ichbiah 2022 compiler mode4Randy Brukardt
13 Sep 24 ii `* Re: Ichbiah 2022 compiler mode3Lawrence D'Oliveiro
14 Sep 24 ii  `* Re: Ichbiah 2022 compiler mode2Randy Brukardt
14 Sep 24 ii   `- Re: Ichbiah 2022 compiler mode1Lawrence D'Oliveiro
6 Sep 24 i`* Re: Ichbiah 2022 compiler mode15Simon Wright
7 Sep 24 i `* Re: Ichbiah 2022 compiler mode14Niklas Holsti
7 Sep 24 i  +- Re: Ichbiah 2022 compiler mode1Nioclás Pól Caileán de Ghloucester
12 Sep 24 i  `* Re: Ichbiah 2022 compiler mode12Randy Brukardt
12 Sep 24 i   +* Re: Ichbiah 2022 compiler mode5Niklas Holsti
12 Sep 24 i   i+- Re: Ichbiah 2022 compiler mode1Dmitry A. Kazakov
12 Sep 24 i   i`* Re: Ichbiah 2022 compiler mode3Kevin Chadwick
12 Sep 24 i   i +- Re: Ichbiah 2022 compiler mode1Niklas Holsti
13 Sep 24 i   i `- Re: Ichbiah 2022 compiler mode1Nioclás Pól Caileán de Ghloucester
12 Sep 24 i   `* Re: Ichbiah 2022 compiler mode6J-P. Rosen
12 Sep 24 i    `* Re: Ichbiah 2022 compiler mode5Niklas Holsti
14 Sep 24 i     `* Re: Ichbiah 2022 compiler mode4Randy Brukardt
14 Sep 24 i      +- Re: Ichbiah 2022 compiler mode1Dmitry A. Kazakov
14 Sep 24 i      +- Re: Ichbiah 2022 compiler mode1Lawrence D'Oliveiro
14 Sep 24 i      `- Re: Ichbiah 2022 compiler mode1Niklas Holsti
6 Sep 24 `* Re: Ichbiah 2022 compiler mode2Jeffrey R.Carter
6 Sep 24  `- Re: Ichbiah 2022 compiler mode1Nioclás Pól Caileán de Ghloucester

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal