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
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Tue, 08 May 2018 18:20:35 -0700
Organization: A noiseless patient Spider
Message-ID: <87in7x62vw.fsf@nightsong.com>
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
	<cd866ee8-ad4d-489e-a38b-d8e5f5d4af00@googlegroups.com>
	<87efiuope8.fsf@nightsong.com> <pcdagp$7pn$1@franka.jacob-sparre.dk>
	<87lgd1heva.fsf@nightsong.com> <pcg54t$gul$1@franka.jacob-sparre.dk>
	<87zi1gz3kl.fsf@nightsong.com> <pciqcd$ou1$1@franka.jacob-sparre.dk>
	<878t8x7k1j.fsf@nightsong.com> <fl7t0uF410rU1@mid.individual.net>
	<pcmjao$1soj$1@gioia.aioe.org> <fl8lgcF9dqgU1@mid.individual.net>
	<pcnem2$19mn$1@gioia.aioe.org> <fl938cFchk8U1@mid.individual.net>
	<pcnqgm$1tb4$1@gioia.aioe.org> <87k1sg2qux.fsf@nightsong.com>
	<pcov1b$1cvt$1@gioia.aioe.org> <87h8njmk4r.fsf@nightsong.com>
	<pcq81a$1n85$1@gioia.aioe.org> <87po27fbv9.fsf@nightsong.com>
	<flemg6FkatpU1@mid.individual.net>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="a15f8e13c869a4517dec92123a650d01";
	logging-data="948"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+w9EjCMgieJV+shsBMjXeO"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux)
Cancel-Lock: sha1:wnHJlpUgPlscvoUY79w4GSK4oJU=
	sha1:eJyO9QRk7ptSFP/LTKCRUPD9VlM=
Xref: reader02.eternal-september.org comp.lang.ada:52142
Date: 2018-05-08T18:20:35-07:00
List-Id: <comp.lang.ada>

Niklas Holsti <niklas.holsti@tidorum.invalid> writes:
> Some kind of WCET analysis is very often needed in real-time systems
> whatever kind of memory management is used.

I'd say this is a niche area for which I'm surprised the methods we're
discussing are ever viable.  Remember that even traditional imperative
data structures like hash tables have terrible enough WCET that they
can't be used in realtime systems.  So these systems have to be
programmed in special ways that are not very relevant to what's best for
the mainstream.

> https://en.wikipedia.org/wiki/Hume_(programming_language).

Interesting!

> Real-time systems with reference counting often use special "heaps" or

I'd still like to know if there is careful analysis about max structure
depth and WCET, particularly formal analysis.