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.107.162.142 with SMTP id l136mr2805961ioe.16.1513095119977; Tue, 12 Dec 2017 08:11:59 -0800 (PST) X-Received: by 10.157.11.207 with SMTP id 73mr184556oth.2.1513095119751; Tue, 12 Dec 2017 08:11:59 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!193no2173790itr.0!news-out.google.com!s63ni5308itb.0!nntp.google.com!193no2173789itr.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 12 Dec 2017 08:11:59 -0800 (PST) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=2003:c7:83cd:caca:f0c7:348f:d61a:d6a1; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 2003:c7:83cd:caca:f0c7:348f:d61a:d6a1 References: <4db43571-7f86-4e73-8849-c41160927703@googlegroups.com> <6496a10f-c97e-4e42-b295-2478ad464b2f@googlegroups.com> <6106dfe6-c614-4fc1-aace-74bf8d7435e3@googlegroups.com> <24767ee5-cda8-45e4-98d1-7da44757bd40@googlegroups.com> <037e7f02-9149-4648-b7c5-91f67c1c1961@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <9cd54776-db55-48ca-a196-8168974e8a88@googlegroups.com> Subject: Re: Extending a third party tagged type while adding finalization From: AdaMagica Injection-Date: Tue, 12 Dec 2017 16:11:59 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Body-CRC: 3875706450 X-Received-Bytes: 3524 Xref: reader02.eternal-september.org comp.lang.ada:49452 Date: 2017-12-12T08:11:59-08:00 List-Id: Am Montag, 11. Dezember 2017 23:42:03 UTC+1 schrieb Randy Brukardt: > And no one else seems to be reading this... That's not true, I'm following with awe your endless discussions (not only = this one) which never lead to a conclusion. I often have problems following= Dmitry's posts when he uses non-Ada terms or Ada terms with another meanin= g. Now for ADTs. I'm thinking of the millions lines of code embedded helicopter code that I = rehosted for a flight simulator. (Btw - only very few lines of code had to = be touched because of hardware dependence, mostly little vs. big endian, an= d because of compiler dependence, all ill-used Ada code). How could the main subprogram have been an ADT? It was an infinite loop run= ning with 20 ms cycle time of which it could use only 5 ms, reading and han= dling the different simulator states (there were many: init, running, freez= e, repositioning, snapshot reload etc.) manipulated by the flight instructo= r. External power supply (starting avionics elaboration and tasks, terminating= and restarting with power loss) was an ADT, but to my dismay developed int= o chaos because of the many different simulator states. Another ADT was the tasking management (Ada's preemptive scheduling had to = be adapted to the above 5 ms and 15 ms sleeping with only faint intrusion i= nto the original tasks). This indeed was a very nice small ADT I'm still fo= nd of. There were a lot of other ADTs and non-ADTs. So I'm more on Randy's side.