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!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!Xl.tags.giganews.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Sat, 04 Apr 2015 09:46:52 -0500 From: Dennis Lee Bieber Newsgroups: comp.lang.ada Subject: Re: Languages don't matter. A mathematical refutation Date: Sat, 04 Apr 2015 10:46:53 -0400 Organization: IISS Elusive Unicorn Message-ID: References: <87h9t95cly.fsf@jester.gateway.sonic.net> <04f0759d-0377-4408-a141-6ad178f055ed@googlegroups.com> <871tk1z62n.fsf@theworld.com> <87oan56rpn.fsf@jester.gateway.sonic.net> <877fts7fvm.fsf@jester.gateway.sonic.net> X-Newsreader: Forte Agent 6.00/32.1186 X-No-Archive: YES MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Usenet-Provider: http://www.giganews.com NNTP-Posting-Host: 108.68.178.130 X-Trace: sv3-FFAtcLDQ26Id10CNl7VTPQN7FgrHmB0Qx8EKlE+nHf0GSuLCRaiHUCo+l/Wu2fLGSdmLqX8zsEszDcF!2CAbaF47l6balqDJNw2jiRcVcK7vhKGqFv731UFKl4CrIchJPeRueYjIlrOZnWdLR3dDHsWSsA5j!Upqs85gsjGuJFcKd4Mh8zplc+C+o X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2554 X-Received-Bytes: 2666 X-Received-Body-CRC: 4014661277 Xref: news.eternal-september.org comp.lang.ada:25417 Date: 2015-04-04T10:46:53-04:00 List-Id: On Fri, 03 Apr 2015 20:05:01 -0700, Paul Rubin declaimed the following: >Dennis Lee Bieber writes: >> Yet that is also the feature that tends to keep it from the realms I'm >> currently working in... Avionics tend to use a scheme in which all heap >> allocation is done during an initialization phase (pre-allocating queue >> entries, for example), and NO memory allocation/freeing is performed once >> the system transitions to "operational". > >How big and complicated do those programs tend to be, if you don't mind >my asking? Do they have a lot of complex decision paths? > It's not decision paths so much as deterministic timing... If there is a possibility of an operation triggering an arbitrary garbage collection (even if it is nothing more than combining adjacent free block into a single available block) then the operation is not permitted, on the simple basis that it makes the timing uncertain. -- Wulfraed Dennis Lee Bieber AF6VN wlfraed@ix.netcom.com HTTP://wlfraed.home.netcom.com/