From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-91-241.ec2.internal X-Spam-Level: X-Spam-Status: No, score=0.0 required=3.0 tests=none autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!news.eternal-september.org!news.gegeweb.eu!gegeweb.org!pasdenom.info!.POSTED.2a01:e0a:472:70f0:959e:839e:9b8:b64!not-for-mail From: DrPi <314@drpi.fr> Newsgroups: comp.lang.ada Subject: Re: Should light runtimes get more consideration? Date: Fri, 29 Sep 2023 15:44:31 +0200 Organization: Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 29 Sep 2023 13:44:34 -0000 (UTC) Injection-Info: rasp.pasdenom.info; posting-account="314@usenet"; posting-host="2a01:e0a:472:70f0:959e:839e:9b8:b64"; logging-data="5101"; mail-complaints-to="abuse@pasdenom.info" User-Agent: Mozilla Thunderbird Cancel-Lock: sha256:icu6lDSkL/Gp4IBqRQ+ZddYANcRymGun8Zz24W6q3Ak= In-Reply-To: Content-Language: en-US Xref: news.eternal-september.org comp.lang.ada:65752 List-Id: Le 29/09/2023 à 12:42, Chris Townley a écrit : > On 29/09/2023 10:59, Kevin Chadwick wrote: >> >>>>>> Tasking is very limited. For example you can't use >>>>>> timeouts. Never. They propose a workaround but it is complex and not >>>>>> equivalent to a real timeout management. >>>>> >>>>> Not sure what a "real timeout management" would look like? >>>>> >>>>>> I'd like to have a full Ada RTS for embedded targets, like on >>>>>> desktop. >>>>> >>>>> Have you considered using something like a Raspberry Pi? >>>> A RaspberryPi is a computer (based on a microprocessor with an OS), >>>> not an micro-controller. It consumes a lot of electrical power. The >>>> OS (linux) is not real time. It uses a lot of board space. The >>>> processor is a proprietary black box... >>>> >>> >>> Plenty use the Raspberry Pi as a microcontroller >> >> I think Simons point was that Arm/Linux has a working full runtime. I >> guess >> bare raspberry pie would not and I guess it would be a rather large >> module >> or board or single board computer depending on the model. >> >> WRT energy use. I use a low power run feature on the STM32L4 which >> means the >> system clock speed can change at any time. That seems to be incompatible >> with any runtime that I have seen except the minimal light-cortex-m4 >> one. I >> assume working with clocks is more scalable than working with runtimes >> but >> I do not know for sure. >> > > Agreed, but in addition to the mainline Pis there is the zero, and the > pico, which has a 'RP2040' made by Raspberry Pi and is a dual-core ARM > Cortex M0+ processor, with a flexible clock running up to 133MHz > A runtime for the RP2040 already exist. It is based on the Adacore ARM runtimes so has the same limitations.