From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.182.97.2 with SMTP id dw2mr7216366obb.0.1424936102199;
        Wed, 25 Feb 2015 23:35:02 -0800 (PST)
X-Received: by 10.140.95.177 with SMTP id i46mr5266qge.3.1424936102095; Wed,
 25 Feb 2015 23:35:02 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!hl2no31301284igb.0!news-out.google.com!n6ni189qar.0!nntp.google.com!i13no8014784qae.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 25 Feb 2015 23:35:01 -0800 (PST)
In-Reply-To: <lysidt3mp3.fsf@pushface.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=105.236.75.241;
 posting-account=orbgeAkAAADzWCTlruxuX_Ts4lIq8C5J
NNTP-Posting-Host: 105.236.75.241
References: <8e30f54c-81c4-4861-897c-bb6c563c76e8@googlegroups.com>
 <87wq37d12w.fsf@adaheads.sparre-andersen.dk>
 <7ae5ec06-f5e3-4c5f-ac95-58b4bf1256a0@googlegroups.com>
 <87egpfzapq.fsf@theworld.com>
 <99705630-02e3-4e43-9307-83e55336bc15@googlegroups.com>
 <lysidt3mp3.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <fcafdbca-be65-41ab-a437-7b616cbc1279@googlegroups.com>
Subject: Re: silly ravenscar question
From: jan.de.kruyf@gmail.com
Injection-Date: Thu, 26 Feb 2015 07:35:02 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:25041
Date: 2015-02-25T23:35:01-08:00
List-Id: <comp.lang.ada>

On Wednesday, February 25, 2015 at 7:50:17 PM UTC+2, Simon Wright wrote:

> 
> In fairness, you did say that there is *no* "No_Unchecked_Deallocation"!
> 

Thats what I love about programming in Ada. Its full of sh*t, but ultimately it _is_ fair. (; 

Was it you that had read the Gnat spec for the STM34 x-compiler? About memory allocation and that? cause I did not find it.

I had a first look at the zfp package. Do you know what would be missing in the language there?
Because the interrupt latencies in the Ravenscar implementation are NOT pleasant. Adacore has long and involved things before we get to the handler.

cheers,
j.