From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.5-pre1
X-Received: by 2002:ac8:6d32:: with SMTP id r18mr2925631qtu.246.1601316336932; Mon, 28 Sep 2020 11:05:36 -0700 (PDT)
X-Received: by 2002:a37:7c6:: with SMTP id 189mr666007qkh.275.1601316336675; Mon, 28 Sep 2020 11:05:36 -0700 (PDT)
Path: eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!aioe.org!peer01.ams4!peer.am4.highwinds-media.com!news.highwinds-media.com!tr2.eu1.usenetexpress.com!feeder.usenetexpress.com!tr1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 28 Sep 2020 11:05:36 -0700 (PDT)
In-Reply-To: <f3ea49ed-9f25-4590-91f0-638c18f5af6cn@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: google-groups.googlegroups.com; posting-host=208.114.128.70; posting-account=MRPdDAoAAADUJmZVjnYaoafXFMadSeY1
NNTP-Posting-Host: 208.114.128.70
References: <e3c51e65-b71e-4623-bd58-c94cdbcc3ba6o@googlegroups.com> <00cd3aaa-d518-43a2-b321-58d6fae70aebo@googlegroups.com> <db65f550-c1d9-4ddb-b128-7e4e9c1f818bn@googlegroups.com> <57eb7a65-51ea-4624-b9dc-9c4dda0fee59n@googlegroups.com> <rkq9gr$s0u$1@gioia.aioe.org> <5f70fd3b$0$13541$426a74cc@news.free.fr> <rks433$ndr$1@gioia.aioe.org> <daa04c57-0dfa-4c95-84ef-0e90f3c1732cn@googlegroups.com> <5f721782$0$3256$426a74cc@news.free.fr> <f3ea49ed-9f25-4590-91f0-638c18f5af6cn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <82c93c62-4ab2-415d-9f81-9b34437d3a3an@googlegroups.com>
Subject: Re: is there a version of unix written in Ada
From: Olivier Henley <olivier.henley@gmail.com>
Injection-Date: Mon, 28 Sep 2020 18:05:36 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2665
X-Received-Body-CRC: 3221111069
Xref: reader02.eternal-september.org comp.lang.ada:60320
List-Id: <comp.lang.ada>


> Landed on that, interesting read: (Modular Performance Analysis and Inter=
face-Based Design for Embedded Real-Time Systems)=20
> https://tik-old.ee.ethz.ch/file/2b9491dbe13085961038e4a53f7792e6/diss_wan=
deler.pdf

If I get this right, the idea is to have a stream of 'described compute tas=
k units' and a stream of 'described compute availability/capability'. There=
fore the system becomes 'dynamically adaptable' (you plug in a new faster C=
PU and boom, compute units burden start to be processed at the new rate) an=
d time decidable (because all capabilities can de derived for a compute uni=
t type for every specific hardware compute device, we can compute the possi=
ble deadline)?

Would it need some modifications at the hardware level... eg. to have prope=
r information about device compute capabilities?

I am not sure we are talking about the same thing, but the paper is about w=
hat I summarize and is, again, a very interesting read.