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!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!buffer1.nntp.dca1.giganews.com!buffer2.nntp.dca1.giganews.com!nntp.earthlink.com!news.earthlink.com.POSTED!not-for-mail NNTP-Posting-Date: Tue, 06 Dec 2016 19:08:26 -0600 From: Dennis Lee Bieber Newsgroups: comp.lang.ada Subject: Re: Ada 2012 Constraints (WRT an Ada IR) Date: Tue, 06 Dec 2016 20:08:25 -0500 Organization: IISS Elusive Unicorn Message-ID: <84oe4cdv010g9fba0jrjv2os7c0halucd0@4ax.com> References: <47366b42-c0a3-41bf-a44a-5241c109d60f@googlegroups.com> <58f477d2-8b01-4001-bad8-47ea73424f4c@googlegroups.com> <6e206c3b-d4a8-44ab-9e0e-adb0924983ef@googlegroups.com> <10e8cb52-1cbd-40ed-ba11-f474c2263ced@googlegroups.com> 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.76 X-Trace: sv3-hZtTn3u2v9oRWSmAz1Z5z31wd1sgAcyT6yKUpk3An3Qa5w9yLrRa4NpaKby+ZHSMfVQ7ieZSXEB56qo!Bb4qWsfv1PInh1qZg0MOfi1NEHA6A1uxe379E853WrBc0+cRXSbm+CdXcRKOXuBdKCQeToIaZrYk!YJKFEuOBdhgrJHqfEXXjY5BbKPo= 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: 2290 Xref: news.eternal-september.org comp.lang.ada:32646 Date: 2016-12-06T20:08:25-05:00 List-Id: On Tue, 6 Dec 2016 13:44:27 -0800 (PST), Shark8 declaimed the following: > >One reason that an IR could be handy is as an execution model -- like how Intel's iAPX 432 was designed for Ada's feature-set -- having a generalized form for constraints/violations would mean that the the chip would only have to handle one kind of constraint-type instead of having to have specialized forms for P3 and P0. > With modern processor silicon, the iAPX432 might almost run fast enough to be usable. (Was a nice idea -- but the overhead of all the protection handling bogged it down too much to get a foot-hold, or even a hand-hold ) -- Wulfraed Dennis Lee Bieber AF6VN wlfraed@ix.netcom.com HTTP://wlfraed.home.netcom.com/