From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: tuhs-bounces@minnie.tuhs.org X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.1 Received: from minnie.tuhs.org (minnie.tuhs.org [45.79.103.53]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 6e69c019 for ; Wed, 27 Jun 2018 11:27:21 +0000 (UTC) Received: by minnie.tuhs.org (Postfix, from userid 112) id A860DA189C; Wed, 27 Jun 2018 21:27:20 +1000 (AEST) Received: from minnie.tuhs.org (localhost [127.0.0.1]) by minnie.tuhs.org (Postfix) with ESMTP id 03401A181A; Wed, 27 Jun 2018 21:26:33 +1000 (AEST) Received: by minnie.tuhs.org (Postfix, from userid 112) id 00BB2A181A; Wed, 27 Jun 2018 21:26:31 +1000 (AEST) Received: from ppsw-32.csi.cam.ac.uk (ppsw-32.csi.cam.ac.uk [131.111.8.132]) by minnie.tuhs.org (Postfix) with ESMTPS id 4E88D9EDF1 for ; Wed, 27 Jun 2018 21:26:30 +1000 (AEST) X-Cam-AntiVirus: no malware found X-Cam-ScannerInfo: http://help.uis.cam.ac.uk/email-scanner-virus Received: from grey.csi.cam.ac.uk ([131.111.57.57]:59600) by ppsw-32.csi.cam.ac.uk (ppsw.cam.ac.uk [131.111.8.138]:25) with esmtps (TLSv1:ECDHE-RSA-AES256-SHA:256) id 1fY8ag-000ZJl-2L (Exim 4.91) (return-path ); Wed, 27 Jun 2018 12:26:26 +0100 Date: Wed, 27 Jun 2018 12:26:26 +0100 From: Tony Finch To: Ronald Natalie In-Reply-To: Message-ID: References: <1f8043fd-e8d6-a5e6-5849-022d1a41f5bf@kilonet.net> <20180626215012.GE8150@mcvoy.com> User-Agent: Alpine 2.11 (DEB 23 2013-08-11) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="1870870841-1391906552-1530098240=:916" Content-ID: Subject: Re: [TUHS] PDP-11 legacy, C, and modern architectures X-BeenThere: tuhs@minnie.tuhs.org X-Mailman-Version: 2.1.20 Precedence: list List-Id: The Unix Heritage Society mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: tuhs@minnie.tuhs.org Errors-To: tuhs-bounces@minnie.tuhs.org Sender: "TUHS" This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --1870870841-1391906552-1530098240=:916 Content-Type: TEXT/PLAIN; CHARSET=UTF-8 Content-Transfer-Encoding: QUOTED-PRINTABLE Content-ID: Ronald Natalie wrote: > C is often a =E2=80=9CYou asked for it, you got it=E2=80=9D type paradigm= / Sadly these days it's more like, you asked for a VAX, you got a Deathstation 9000. (Sadly the classic DS9000 web page has disappeared and it was never saved by archive.org.) http://wikibin.org/articles/deathstation-9000.html It's worth reading Chisnall's other paper (cited by the CACM article) on formalizing de-facto C. The background for all this is that Robert Watson's team in Cambridge's Computer Lab has been working on a capability-secure RISC processor for a number of years, with the goal of being able to retro-fit hardware accelerated memory security to existing software. Which means running C on hardware that doesn't look much like a VAX. So it's helpful to get a better idea of exactly how far you can deviate from the gcc/clang model of DS9000. https://dl.acm.org/citation.cfm?id=3D2908081 Tony. --=20 f.anthony.n.finch http://dotat.at/ Southeast Iceland: Variable 3 or 4. Slight or moderate. Fog patches, occasional rain at first. Moderate or good, occasionally very poor. --1870870841-1391906552-1530098240=:916--