Re: Ichbiah 2022 compiler mode

Liste des GroupesRevenir à cl ada 
Sujet : Re: Ichbiah 2022 compiler mode
De : rosen (at) *nospam* adalog.fr (J-P. Rosen)
Groupes : comp.lang.ada
Date : 12. Sep 2024, 11:04:58
Autres entêtes
Organisation : Adalog
Message-ID : <vbuarq$64hr$1@dont-email.me>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
Le 12/09/2024 à 06:46, Randy Brukardt a écrit :
I was (of course) presuming that "tasklets" would get those capabilities if
they were to replace tasks. That's what I meant about "suspension", which is
not currently allowed for threads in Ada (parallel code is not allowed to
call potentially blocking operations). If that was changed, then all forms
of existing task communication would be allowed.
Well, tasks are not only for speeding up code. They can be a very useful design tool (active objects, independant activities). I think the Ada model is clean and simple, I would hate to see it disappear.

I'm less certain about the value of priorities, most of the time, they don't
help writing correct Ada code. (You still need all of the protections
against race conditions and the like.) I do realize that they are a natural
way to express constraints on a program. So I admit I don't know in this
area, in particular if there are things that priorities are truly required
for.
If you had as many cores as tasks, you would not need priorities. Priorities are just optimization on how to manage cores when there are not enough of them.
I know that people use priorities to guarantee mutual exclusion, and other properties. All these algorithms were designed at the time of mono-CPU machines, but they fail on multi-cores. Nowadays, relying on priorities for anything else than optimization is bad -and dangerous- design.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
https://www.adalog.fr https://www.adacontrol.fr

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