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.42.101.82 with SMTP id d18mr18486591ico.0.1432915031867;
        Fri, 29 May 2015 08:57:11 -0700 (PDT)
X-Received: by 10.140.33.76 with SMTP id i70mr943qgi.14.1432915031727; Fri, 29
 May 2015 08:57:11 -0700 (PDT)
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!h15no284233igd.0!news-out.google.com!k20ni45007qgd.0!nntp.google.com!z60no4497556qgd.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 29 May 2015 08:57:11 -0700 (PDT)
In-Reply-To: <ly7frr9z7o.fsf@pushface.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=105.237.62.132;
 posting-account=orbgeAkAAADzWCTlruxuX_Ts4lIq8C5J
NNTP-Posting-Host: 105.237.62.132
References: <mjlale$dpk$1@speranza.aioe.org>
 <127b004d-2163-477b-9209-49d30d2da5e1@googlegroups.com>
 <mjn90s$9av$1@dont-email.me>
 <f89a678a-f4a3-4a1c-91d7-d465177bbb1d@googlegroups.com>
 <mjnieh$ejn$1@dont-email.me>
 <ad8483c7-8f3c-4469-9079-a97ca3abaf27@googlegroups.com>
 <mjnpkt$b6j$1@dont-email.me>
 <59a4ee45-23fb-4b0e-905c-cc16ce46b5f6@googlegroups.com>
 <mjo0mk$7qu$1@dont-email.me>
 <46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com>
 <mjpsdi$6cq$1@dont-email.me>
 <ac78c8c6-de94-4f92-afcb-c1ae78523245@googlegroups.com>
 <mk85s3$uee$1@loke.gir.dk>
 <b0375ca4-43bd-4b70-b7df-9701f7a36ed3@googlegroups.com>
 <lylhg7ag2u.fsf@pushface.org> <ly7frr9z7o.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <a92ea7d5-bc2a-4acd-92f8-60773a1a770c@googlegroups.com>
Subject: Re: Build language with weak typing, then add scaffolding later to
 strengthen it?
From: jan.de.kruyf@gmail.com
Injection-Date: Fri, 29 May 2015 15:57:11 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:26070
Date: 2015-05-29T08:57:11-07:00
List-Id: <comp.lang.ada>

On Friday, May 29, 2015 at 5:32:13 PM UTC+2, Simon Wright wrote:

> 
> > I should add, the RTS that I timed is based on FreeRTOS. Guess I
> > should do the same timing with AdaCore's RTS.
> 
> OK: same setup (at least as far as this exercise is concerned), compiled
> with -O2: 890 cycles, 5 us (on the 180 MHz STM32F429I-DISCO).

Thank you Simon.
So on a 407 it will be like 5.6 usecs.

So we must not assume, but rather measure.

Have a nice weekend.

j.